check flags: -
building check-recursive
-
Making check in .
-
make[1]: Entering directory `/tmp/nix-19904-5/svn-export'
-
make[1]: Nothing to be done for `check-am'.
-
make[1]: Leaving directory `/tmp/nix-19904-5/svn-export'
-
Making check in news-archive
-
make[1]: Entering directory `/tmp/nix-19904-5/svn-export/news-archive'
-
make[1]: Nothing to be done for `check'.
-
make[1]: Leaving directory `/tmp/nix-19904-5/svn-export/news-archive'
-
Making check in manpages
-
make[1]: Entering directory `/tmp/nix-19904-5/svn-export/manpages'
-
make[1]: Nothing to be done for `check'.
-
make[1]: Leaving directory `/tmp/nix-19904-5/svn-export/manpages'
-
Making check in autoxt
-
make[1]: Entering directory `/tmp/nix-19904-5/svn-export/autoxt'
-
make[1]: Nothing to be done for `check'.
-
make[1]: Leaving directory `/tmp/nix-19904-5/svn-export/autoxt'
-
Making check in xtc
-
make[1]: Entering directory `/tmp/nix-19904-5/svn-export/xtc'
-
building check-recursive
-
Making check in src
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/xtc/src'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: xtc
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: xtc-lib.str xtc-dir.str
-
building check-am
-
make test1 test2 test3
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/xtc/src'
-
building test1.c
-
/...-strategoxt/bin/strc --main test1 -I . -I /...-strategoxt/share -i test1.str -o test1.c -c
-
[ strc | info ] Compiling 'test1.str'
-
[ strc | info ] Front-end succeeded : [user/system] = [0.70s/0.03s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.13s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.83s/0.03s]
-
building test1.o-
gcc -DPACKAGE_NAME=\"xtc\" -DPACKAGE_TARNAME=\"xtc\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"xtc\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"xtc\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I. -I/...-strategoxt/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -c test1.c
-
building test1
-
/bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -o test1 test1.o -L/...-strategoxt/lib -lstratego-xtc -L/...-aterm-2.5pre21238-l2q7rg38/lib -lATerm -lm -L/...-strategoxt/lib -lstratego-xtc -L/...-strategoxt/lib -lstratego-lib -lstratego-lib-native -lm -L/...-strategoxt/lib -lstratego-runtime -lm -L/...-aterm-2.5pre21238-l2q7rg38/lib -lATerm -lm
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY=\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\" -g -O2 -o test1 test1.o -L/...-strategoxt/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /...-strategoxt/lib/libstratego-xtc.so /...-strategoxt/lib/libstratego-lib.so /...-strategoxt/lib/libstratego-lib-native.so /...-strategoxt/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test2.c
-
/...-strategoxt/bin/strc --main test2 -I . -I /...-strategoxt/share -i test2.str -o test2.c -c
-
[ strc | info ] Compiling 'test2.str'
-
[ strc | info ] Front-end succeeded : [user/system] = [0.78s/0.02s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.13s/0.01s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.91s/0.03s]
-
building test2.o-
gcc -DPACKAGE_NAME=\"xtc\" -DPACKAGE_TARNAME=\"xtc\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"xtc\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"xtc\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I. -I/...-strategoxt/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -c test2.c
-
building test2
-
/bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -o test2 test2.o -L/...-strategoxt/lib -lstratego-xtc -L/...-aterm-2.5pre21238-l2q7rg38/lib -lATerm -lm -L/...-strategoxt/lib -lstratego-xtc -L/...-strategoxt/lib -lstratego-lib -lstratego-lib-native -lm -L/...-strategoxt/lib -lstratego-runtime -lm -L/...-aterm-2.5pre21238-l2q7rg38/lib -lATerm -lm
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY=\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\" -g -O2 -o test2 test2.o -L/...-strategoxt/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /...-strategoxt/lib/libstratego-xtc.so /...-strategoxt/lib/libstratego-lib.so /...-strategoxt/lib/libstratego-lib-native.so /...-strategoxt/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test3.c
-
/...-strategoxt/bin/strc --main test3 -I . -I /...-strategoxt/share -i test3.str -o test3.c -c
-
[ strc | info ] Compiling 'test3.str'
-
[ strc | info ] Front-end succeeded : [user/system] = [0.72s/0.03s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.01s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.10s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.84s/0.03s]
-
building test3.o-
gcc -DPACKAGE_NAME=\"xtc\" -DPACKAGE_TARNAME=\"xtc\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"xtc\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"xtc\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I. -I/...-strategoxt/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -c test3.c
-
building test3
-
/bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -o test3 test3.o -L/...-strategoxt/lib -lstratego-xtc -L/...-aterm-2.5pre21238-l2q7rg38/lib -lATerm -lm -L/...-strategoxt/lib -lstratego-xtc -L/...-strategoxt/lib -lstratego-lib -lstratego-lib-native -lm -L/...-strategoxt/lib -lstratego-runtime -lm -L/...-aterm-2.5pre21238-l2q7rg38/lib -lATerm -lm
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY=\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\" -g -O2 -o test3 test3.o -L/...-strategoxt/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /...-strategoxt/lib/libstratego-xtc.so /...-strategoxt/lib/libstratego-lib.so /...-strategoxt/lib/libstratego-lib-native.so /...-strategoxt/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/xtc/src'
-
building check1
-
./xtc -r TEST_REPOSITORY register -t test1 -t test2 -t test3 \� -V 0.17 -l `pwd` --verbose 10
-
[ xtc | notice ] Using repository TEST_REPOSITORY
-
[ xtc | vomit ] Reading repository TEST_REPOSITORY
-
[ xtc | vomit ] Read repository TEST_REPOSITORY
-
[ xtc | vomit ] Repository stored in table
-
[ xtc | vomit ] Registered repository as imported
-
[ xtc | debug ] Tools : test3, test2, test1
-
[ xtc | debug ] Version : 0.17
-
[ xtc | debug ] Location : /tmp/nix-19904-5/svn-export/xtc/src
-
[ xtc | vomit ] Loading repository
-
[ xtc | vomit ] Loaded repository
-
[ xtc | vomit ] Loading repository
-
[ xtc | vomit ] Loaded repository
-
[ xtc | vomit ] Loading repository
-
[ xtc | vomit ] Loaded repository
-
[ xtc | vomit ] Saving repository
-
echo "A" > test1.inp
-
echo "(((A,A),(A,A)),((A,A),(A,A)))" > test1.exp
-
XTC_REPOSITORY=TEST_REPOSITORY ./test1 -i test1.inp -o test1.bo
-
/...-aterm-2.5pre21238-l2q7rg38/bin/baffle -wt -i test1.bo -o test1.out
-
diff test1.exp test1.out
-
building check2
-
./xtc -r TEST_REPOSITORY2 import /tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC
-
[ xtc | error ] repository TEST_REPOSITORY2 does not exist
-
./xtc -r TEST_REPOSITORY2 query -t sglr
-
sglr (3.11) : /...-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sglr
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/xtc/src'
-
Making check in tools
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/xtc/tools'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: stratego-xt-xtc-tools.str strategoxt-xtc-tools.str
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/xtc/tools'
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/xtc'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/xtc'
-
make[1]: Leaving directory `/tmp/nix-19904-5/svn-export/xtc'
-
Making check in stratego-front
-
make[1]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front'
-
building check-recursive
-
Making check in .
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
building all-local
-
mkdir -p `dirname /tmp/nix-19904-5/svn-export/BUILDTIME_XTC`
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t sglr -l /...-sdf2-bundle-2.4pre212034-2nspl1xc/bin -V 3.11
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t sdf2table -l /...-sdf2-bundle-2.4pre212034-2nspl1xc/bin -V 2.1
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t Sdf2.baf -l /...-sdf2-bundle-2.4pre212034-2nspl1xc/share/pgen -V 2.1
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t implodePT -l /...-sdf2-bundle-2.4pre212034-2nspl1xc/bin -V 1.1
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t flattenPT -l /...-sdf2-bundle-2.4pre212034-2nspl1xc/bin -V 1.1
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t unparsePT -l /...-sdf2-bundle-2.4pre212034-2nspl1xc/bin -V 1.1
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t addPosInfo -l /...-sdf2-bundle-2.4pre212034-2nspl1xc/bin -V 1.1
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t ambtracker -l /...-sdf2-bundle-2.4pre212034-2nspl1xc/bin -V 1.1
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t baffle -l /...-aterm-2.5pre21238-l2q7rg38/bin -V X
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t ATERM -l /...-aterm-2.5pre21238-l2q7rg38 -V X
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t libATerm.la -l /...-aterm-2.5pre21238-l2q7rg38/lib -V X
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t SRTS-include -l `pwd`/srts/src -V X
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t stratego-lib-include -l foo -V X
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t cc -p gcc -V X
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t strategoxt-datadir -l `pwd` -V 0.17
-
/...-strategoxt/bin/xtc register -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC -t lib.rtree -l `pwd` -V 0.17
-
/...-strategoxt/bin/xtc -r /tmp/nix-19904-5/svn-export/BUILDTIME_XTC import /...-strategoxt/share/strategoxt/XTC
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front'
-
Making check in syn
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: Stratego.tbl StrategoStratego.tbl Stratego-Core.tbl Stratego-Sugar.tbl Stratego-Sugar-in-Stratego.tbl Stratego-Core-in-Stratego.tbl Stratego.def StrategoMix.def EmbeddedStratego.def EmbeddedStrategoMix.def StrategoStratego.def Stratego-Core.def Stratego-Sugar.def Stratego-Amb.def Stratego-Sugar-in-Stratego.def Stratego-Core-in-Stratego.def StrategoRenamed.sdf EmbeddedStratego.sdf EmbeddedStrategoMix.sdf Stratego-Amb.sdf Stratego-Core-Constants.sdf Stratego-Core-Identifiers.sdf Stratego-Core-Layout.sdf Stratego-Core-Modules.sdf Stratego-Core-Signatures.sdf Stratego-Core-Strategies.sdf Stratego-Core-Terms.sdf Stratego-Core-in-Stratego.sdf Stratego-Core.sdf Stratego-Sugar-Constants.sdf Stratego-Sugar-DynamicRules.sdf Stratego-Sugar-Layout.sdf Stratego-Sugar-Modules.sdf Stratego-Sugar-Overlays.sdf Stratego-Sugar-Rules.sdf Stratego-Sugar-Signatures.sdf Stratego-Sugar-Strategies.sdf Stratego-Sugar-Terms.sdf Stratego-Sugar-in-Stratego.sdf Stratego-Sugar.sdf Stratego.sdf StrategoMix.sdf StrategoRenamed.sdf StrategoStratego.sdf
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/syn'
-
Making check in pp
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/pp'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: Stratego.pp Stratego-pretty.pp Stratego.pp.af Stratego-pretty.pp.af Stratego-Core.pp Stratego-Core-pretty.pp Stratego-Core.pp.af Stratego-Core-pretty.pp.af Stratego-Sugar.pp Stratego-Sugar.pp.af Stratego-Sugar-pretty.pp Stratego-Sugar-pretty.pp.af
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/pp'
-
Making check in sig
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/sig'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: Stratego.rtg Stratego-Amb.rtg Stratego-Core.rtg Stratego-Sugar.rtg Stratego-Sugar-Cong.rtg Stratego-Sugar-HL.rtg Stratego-Core-Cong.rtg Stratego-Sugar-1.rtg Stratego-Sugar-2.rtg Stratego-Sugar-3.rtg Stratego-Sugar-4.rtg Stratego-Sugar-5.rtg Stratego.rtg-nf Stratego-Amb.rtg-nf Stratego-Core.rtg-nf Stratego-Sugar.rtg-nf Stratego-Sugar-Cong.rtg-nf Stratego-Sugar-HL.rtg-nf Stratego-Core-Cong.rtg-nf Stratego-Sugar-1.rtg-nf Stratego-Sugar-2.rtg-nf Stratego-Sugar-3.rtg-nf Stratego-Sugar-4.rtg-nf Stratego-Sugar-5.rtg-nf Stratego.rtree Stratego-Amb.rtree Stratego-Core.rtree Stratego-Sugar.rtree Stratego-Sugar-Cong.rtree Stratego-Sugar-HL.rtree Stratego-Core-Cong.rtree Stratego-Sugar-1.rtree Stratego-Sugar-2.rtree Stratego-Sugar-3.rtree Stratego-Sugar-4.rtree Stratego-Sugar-5.rtree Stratego-MetaTransition.rtree Stratego-Sugar-MetaTransition.rtree
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/sig'
-
Making check in test
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building check-recursive
-
Making check in pp
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/pp'
-
building add-scope-label.rtree
-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego -i add-scope-label.str | /...-strategoxt/bin/pp-aterm -o add-scope-label.rtree
-
[ lt-parse-stratego | warning ] Mismatch between basename of input file (add-scope-label) and module name (foo) specified
-
building add-scope-label.pprtree
-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call pp-stratego --abstract -i add-scope-label.rtree | XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego | /...-strategoxt/bin/pp-aterm -o add-scope-label.pprtree || echo "failed" > add-scope-label.pprtree
-
[ lt-parse-stratego | warning ] Mismatch between basename of input file (/tmp/nix-19904-5/StrategoXT8oRi09) and module name (foo) specified
-
building add-scope-label.ppdiff-
diff add-scope-label.rtree add-scope-label.pprtree
-
building char-literal.rtree-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego -i char-literal.str | /...-strategoxt/bin/pp-aterm -o char-literal.rtree
-
building char-literal.pprtree
-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call pp-stratego --abstract -i char-literal.rtree | XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego | /...-strategoxt/bin/pp-aterm -o char-literal.pprtree || echo "failed" > char-literal.pprtree
-
[ lt-parse-stratego | warning ] Mismatch between basename of input file (/tmp/nix-19904-5/StrategoXTHpD0wJ) and module name (char-literal) specified
-
building char-literal.ppdiff-
diff char-literal.rtree char-literal.pprtree
-
building dynrule-assign.rtree-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego -i dynrule-assign.str | /...-strategoxt/bin/pp-aterm -o dynrule-assign.rtree
-
building dynrule-assign.pprtree
-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call pp-stratego --abstract -i dynrule-assign.rtree | XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego | /...-strategoxt/bin/pp-aterm -o dynrule-assign.pprtree || echo "failed" > dynrule-assign.pprtree
-
[ lt-parse-stratego | warning ] Mismatch between basename of input file (/tmp/nix-19904-5/StrategoXTrlGnuS) and module name (dynrule-assign) specified
-
building dynrule-assign.ppdiff-
diff dynrule-assign.rtree dynrule-assign.pprtree
-
building dynrule-intersection.rtree
-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego -i dynrule-intersection.str | /...-strategoxt/bin/pp-aterm -o dynrule-intersection.rtree
-
[ lt-parse-stratego | warning ] Mismatch between basename of input file (dynrule-intersection) and module name (foo) specified
-
building dynrule-intersection.pprtree
-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call pp-stratego --abstract -i dynrule-intersection.rtree | XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego | /...-strategoxt/bin/pp-aterm -o dynrule-intersection.pprtree || echo "failed" > dynrule-intersection.pprtree
-
[ lt-parse-stratego | warning ] Mismatch between basename of input file (/tmp/nix-19904-5/StrategoXT9begq5) and module name (foo) specified
-
building dynrule-intersection.ppdiff-
diff dynrule-intersection.rtree dynrule-intersection.pprtree
-
building dynrule-union.rtree
-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego -i dynrule-union.str | /...-strategoxt/bin/pp-aterm -o dynrule-union.rtree
-
[ lt-parse-stratego | warning ] Mismatch between basename of input file (dynrule-union) and module name (foo) specified
-
building dynrule-union.pprtree
-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call pp-stratego --abstract -i dynrule-union.rtree | XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego | /...-strategoxt/bin/pp-aterm -o dynrule-union.pprtree || echo "failed" > dynrule-union.pprtree
-
[ lt-parse-stratego | warning ] Mismatch between basename of input file (/tmp/nix-19904-5/StrategoXTiGDzZ6) and module name (foo) specified
-
building dynrule-union.ppdiff-
diff dynrule-union.rtree dynrule-union.pprtree
-
building import-term.rtree-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego -i import-term.str | /...-strategoxt/bin/pp-aterm -o import-term.rtree
-
building import-term.pprtree
-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call pp-stratego --abstract -i import-term.rtree | XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego | /...-strategoxt/bin/pp-aterm -o import-term.pprtree || echo "failed" > import-term.pprtree
-
[ lt-parse-stratego | warning ] Mismatch between basename of input file (/tmp/nix-19904-5/StrategoXTy18KUf) and module name (import-term) specified
-
building import-term.ppdiff-
diff import-term.rtree import-term.pprtree
-
building string-literal.rtree-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego -i string-literal.str | /...-strategoxt/bin/pp-aterm -o string-literal.rtree
-
building string-literal.pprtree
-
XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call pp-stratego --abstract -i string-literal.rtree | XTC_REPOSITORY="/tmp/nix-19904-5/svn-export/BUILDTIME_XTC" /...-strategoxt/bin/xtc call parse-stratego | /...-strategoxt/bin/pp-aterm -o string-literal.pprtree || echo "failed" > string-literal.pprtree
-
[ lt-parse-stratego | warning ] Mismatch between basename of input file (/tmp/nix-19904-5/StrategoXTmYj8dt) and module name (string-literal) specified
-
building string-literal.ppdiff-
diff string-literal.rtree string-literal.pprtree
-
rm dynrule-intersection.pprtree add-scope-label.pprtree dynrule-assign.pprtree dynrule-union.pprtree string-literal.pprtree import-term.pprtree char-literal.pprtree
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/pp'
-
Making check in syn
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
building check-recursive
-
Making check in Stratego
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/Stratego'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
building check-am
-
make StrategoForTesting.tbl
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/Stratego'
-
building StrategoForTesting.def
-
/...-strategoxt/bin/pack-sdf -Idef ../../../syn/Stratego.def -i StrategoForTesting.sdf -o StrategoForTesting.def --dep StrategoForTesting.dep
-
including ./StrategoForTesting.sdf
-
including Stratego from ../../../syn/Stratego.def
-
including Stratego-Sugar from ../../../syn/Stratego.def
-
including Stratego-Sugar-Layout from ../../../syn/Stratego.def
-
including Stratego-Core-Layout from ../../../syn/Stratego.def
-
including Stratego-Core-Identifiers from ../../../syn/Stratego.def
-
including Stratego-Sugar-Constants from ../../../syn/Stratego.def
-
including Stratego-Core-Constants from ../../../syn/Stratego.def
-
including Stratego-Sugar-Modules from ../../../syn/Stratego.def
-
including Stratego-Core-Modules from ../../../syn/Stratego.def
-
including Stratego-Core-Strategies from ../../../syn/Stratego.def
-
including Stratego-Core-Terms from ../../../syn/Stratego.def
-
including Stratego-Core-Signatures from ../../../syn/Stratego.def
-
including Stratego-Sugar-Signatures from ../../../syn/Stratego.def
-
including Stratego-Sugar-Terms from ../../../syn/Stratego.def
-
including Stratego-Sugar-Strategies from ../../../syn/Stratego.def
-
including Stratego-Sugar-Rules from ../../../syn/Stratego.def
-
including Stratego-Sugar-DynamicRules from ../../../syn/Stratego.def
-
including Stratego-Sugar-Overlays from ../../../syn/Stratego.def
-
building StrategoForTesting.tbl
-
/...-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m StrategoForTesting -i StrategoForTesting.def -o StrategoForTesting.tbl
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:warning: symbol is not used anywhere
-
--- Mod [file: StrategoForTesting.def line: 163 col: 50]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" Type ")" -> ArgType { bracket } [file: StrategoForTesting.def line: 360 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: StrategoForTesting.def line: 176 col: 5]
-
rm StrategoForTesting.def
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/Stratego'
-
building strategies.runtestsuite
-
/...-strategoxt/bin/parse-unit -i strategies.testsuite -p StrategoForTesting.tbl
-
-----------------------------------------------------------------------
-
executing testsuite Stratego Strategies with 48 tests
-
-----------------------------------------------------------------------
-
* OK : test 1 (Strategy variable)
-
* OK : test 2 (Strategy variable)
-
* OK : test 3 (Choice and sequence priority)
-
* OK : test 4 (If then else )
-
* OK : test 5 (If then else in seq)
-
* OK : test 6 (Seq in then branche of if then else)
-
* OK : test 7 (Seq in else branche of if then else)
-
* OK : test 8 (Seq of s and seq in else branche of if then else)
-
* OK : test 9 (Seq of s and choice in else branche of if then else)
-
* OK : test 10 (If then else in else branche of if then else)
-
* OK : test 11 (If then else in then branche of if then else)
-
* OK : test 12 (If then else in else branche of if then else)
-
* OK : test 13 (If then else in else branche of if then else)
-
* OK : test 14 (Switch case no otherwise)
-
* OK : test 15 (Switch case with otherwise)
-
* OK : test 16 (Switch case no otherwise, no branches)
-
* OK : test 17 (Switch case no branches)
-
* OK : test 18 (Switch case as selector)
-
* OK : test 19 (Switch case as branch condition)
-
* OK : test 20 (Switch case as branch body)
-
* OK : test 21 (fixed-point intersection)
-
* OK : test 22 (fixed-point union)
-
* OK : test 23 (fixed-point union: space is allowed around the RuleNames)
-
* OK : test 24 (fixed-point union: two spaces are not allwed after RuleNames)
-
* OK : test 25 (fixed-point union: comment is not allowed after RuleNames)
-
* OK : test 26 (fixed-point union: comment is allowed after fixed-point union)
-
* OK : test 27 (fixed-point intersection union)
-
* OK : test 28 (priority of fixed-point intersection wrt sequential composition)
-
* OK : test 29 (priority of fixed-point intersection union wrt sequential composition)
-
* OK : test 30 (priority of fixed-point union wrt sequential composition)
-
* OK : test 31 (priority of fixed-point intersection wrt left choice)
-
* OK : test 32 (priority of fixed-point intersection union wrt )
-
* OK : test 33 (priority of fixed-point union wrt left choice)
-
* OK : test 34 (asignment operator)
-
* OK : test 35 (asignment operator and application in lhs)
-
* OK : test 36 (asignment operator and application in rhs)
-
* OK : test 37 (assignment in rule condition)
-
* OK : test 38 (priority of guarded left choice and choice (STR-683))
-
* OK : test 39 (priority of guarded left choice and choice (STR-683))
-
* OK : test 40 (priority of guarded left choice and choice)
-
* OK : test 41 (priority of guarded left choice and choice)
-
* OK : test 42 (priority of guarded left choice and choice)
-
* OK : test 43 (associativity of guarded left choice)
-
* OK : test 44 (STR-714: amb with annotations in := operator)
-
* OK : test 45 (STR-714: amb with annotations in := operator)
-
* OK : test 46 (Global variable syntax)
-
* OK : test 47 (Global variable syntax)
-
* OK : test 48 (Global variable syntax)
-
-----------------------------------------------------------------------
-
results testsuite Stratego Strategies
-
successes : 48
-
failures : 0
-
-----------------------------------------------------------------------
-
building dynrules.runtestsuite
-
/...-strategoxt/bin/parse-unit -i dynrules.testsuite -p StrategoForTesting.tbl
-
-----------------------------------------------------------------------
-
executing testsuite Stratego Dynamic Rules with 17 tests
-
-----------------------------------------------------------------------
-
* OK : test 1 (Oldskool scope)
-
* OK : test 2 (Oldskool scope)
-
* OK : test 3 (Labeled scope)
-
* OK : test 4 (Labeled scope)
-
* OK : test 5 (Scope with string literal)
-
* OK : test 6 (Labeled scope with constructors)
-
* OK : test 7 (Labeled scope with inline term application)
-
* OK : test 8 (Add a label to a scope)
-
* OK : test 9 (Generate a dynamic rule)
-
* OK : test 10 (Generate a dynamic rule in the scope of some label)
-
* OK : test 11 (Generate a dynamic rule in the scope of some label)
-
* OK : test 12 (Generate a dynamic rule in the scope of some label)
-
* OK : test 13 (Generate a dynamic rule in the current scope and label it)
-
* OK : test 14 (Generate a dynamic rule in the current scope and label it)
-
* OK : test 15 (Generate a dynamic rule in the current scope and label it)
-
* OK : test 16 (Extend the set of dynamic rules)
-
* OK : test 17 (Undefine dynamic rules)
-
-----------------------------------------------------------------------
-
results testsuite Stratego Dynamic Rules
-
successes : 17
-
failures : 0
-
-----------------------------------------------------------------------
-
building comments.runtestsuite
-
/...-strategoxt/bin/parse-unit -i comments.testsuite -p StrategoForTesting.tbl
-
-----------------------------------------------------------------------
-
executing testsuite Comments with 16 tests
-
-----------------------------------------------------------------------
-
* OK : test 1 (basic end of line comment (1))
-
* OK : test 2 (basic end of line comment (1))
-
* OK : test 3 (basic long comment (1))
-
* OK : test 4 (Silly (1))
-
* OK : test 5 (/* anything */ is a comment (1))
-
* OK : test 6 (/* anything */ is a comment (2))
-
* OK : test 7 (/* */ comment can span multiple lines)
-
* OK : test 8 (// comment inside /* */ comment is ignored)
-
* OK : test 9 (// comment inside // comment is ignored)
-
* OK : test 10 (/* */ comment inside // comment is ignored)
-
* OK : test 11 (/* or // inside /* */ comment is ignored)
-
* OK : test 12 (/* or // inside /** */ comment is ignored)
-
* OK : test 13 (/* */ comments don't nest)
-
* OK : test 14 (/* */ comments don't nest in //)
-
* OK : test 15 (/* must have matching */)
-
* OK : test 16 (/* must have matching */)
-
-----------------------------------------------------------------------
-
results testsuite Comments
-
successes : 16
-
failures : 0
-
-----------------------------------------------------------------------
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/Stratego'
-
Making check in StrategoStratego
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/StrategoStratego'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
building check-am
-
make StrategoStrategoForTesting.tbl
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/StrategoStratego'
-
building StrategoStrategoForTesting.def
-
/...-strategoxt/bin/pack-sdf -Idef ../../../syn/StrategoStratego.def -i StrategoStrategoForTesting.sdf -o StrategoStrategoForTesting.def --dep StrategoStrategoForTesting.dep
-
including ./StrategoStrategoForTesting.sdf
-
including StrategoStratego from ../../../syn/StrategoStratego.def
-
including StrategoMix from ../../../syn/StrategoStratego.def
-
including Stratego from ../../../syn/StrategoStratego.def
-
including Stratego-Sugar from ../../../syn/StrategoStratego.def
-
including Stratego-Sugar-Layout from ../../../syn/StrategoStratego.def
-
including Stratego-Core-Layout from ../../../syn/StrategoStratego.def
-
including Stratego-Core-Identifiers from ../../../syn/StrategoStratego.def
-
including Stratego-Sugar-Constants from ../../../syn/StrategoStratego.def
-
including Stratego-Core-Constants from ../../../syn/StrategoStratego.def
-
including Stratego-Sugar-Modules from ../../../syn/StrategoStratego.def
-
including Stratego-Core-Modules from ../../../syn/StrategoStratego.def
-
including Stratego-Core-Strategies from ../../../syn/StrategoStratego.def
-
including Stratego-Core-Terms from ../../../syn/StrategoStratego.def
-
including Stratego-Core-Signatures from ../../../syn/StrategoStratego.def
-
including Stratego-Sugar-Signatures from ../../../syn/StrategoStratego.def
-
including Stratego-Sugar-Terms from ../../../syn/StrategoStratego.def
-
including Stratego-Sugar-Strategies from ../../../syn/StrategoStratego.def
-
including Stratego-Sugar-Rules from ../../../syn/StrategoStratego.def
-
including Stratego-Sugar-DynamicRules from ../../../syn/StrategoStratego.def
-
including Stratego-Sugar-Overlays from ../../../syn/StrategoStratego.def
-
including EmbeddedStrategoMix from ../../../syn/StrategoStratego.def
-
including EmbeddedStratego from ../../../syn/StrategoStratego.def
-
building StrategoStrategoForTesting.tbl
-
/...-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m StrategoStrategoForTesting -i StrategoStrategoForTesting.def -o StrategoStrategoForTesting.tbl
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:warning: symbol is not used anywhere
-
--- Mod [file: StrategoStrategoForTesting.def line: 393 col: 50]
-
SdfChecker:error: symbol is not defined by any production
-
--- StrategoObject [file: StrategoStrategoForTesting.def line: 1022 col: 22]
-
SdfChecker:error: symbol is not defined by any production
-
--- StrategoHost [file: StrategoStrategoForTesting.def line: 1021 col: 14]
-
SdfChecker:error: symbol is not defined by any production
-
--- StratRule [file: StrategoStrategoForTesting.def line: 29 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- StrategoHost [file: StrategoStrategoForTesting.def line: 1034 col: 14]
-
SdfChecker:warning: undeclared sort
-
--- StrategoObject [file: StrategoStrategoForTesting.def line: 1022 col: 22]
-
SdfChecker:warning: undeclared sort
-
--- StrategoHost [file: StrategoStrategoForTesting.def line: 1021 col: 14]
-
SdfChecker:error: start-symbol not defined by any production
-
--- Module [[ StrategoHost ]] [file: StrategoStrategoForTesting.def line: 1025 col: 29]
-
SdfChecker:warning: undeclared sort
-
--- TermMetaVar [file: StrategoStrategoForTesting.def line: 178 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- TermListMetaVar [file: StrategoStrategoForTesting.def line: 177 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- MetaVar [file: StrategoStrategoForTesting.def line: 176 col: 12]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: StrategoStrategoForTesting.def line: 406 col: 5]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" Type ")" -> ArgType { bracket } [file: StrategoStrategoForTesting.def line: 590 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: StrategoStrategoForTesting.def line: 81 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MetaVar [file: StrategoStrategoForTesting.def line: 110 col: 24]
-
SdfChecker:warning: undeclared sort
-
--- TermListMetaVar [file: StrategoStrategoForTesting.def line: 101 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- TermMetaVar [file: StrategoStrategoForTesting.def line: 100 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- StratRule [file: StrategoStrategoForTesting.def line: 29 col: 18]
-
rm StrategoStrategoForTesting.def
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/StrategoStratego'
-
building preterm.runtestsuite
-
/...-strategoxt/bin/parse-unit -i preterm.testsuite -p StrategoStrategoForTesting.tbl
-
-----------------------------------------------------------------------
-
executing testsuite Patterns pf Stratego Concrete Object Syntax with 8 tests
-
-----------------------------------------------------------------------
-
* OK : test 1 (Simple match)
-
* OK : test 2 (Simple identifier)
-
* OK : test 3 (Simple identifier with tag is amb)
-
* OK : test 4 (Match any term)
-
* OK : test 5 (Match a constructor)
-
* OK : test 6 (Rule definition is not ambiguous with dyn rule)
-
* OK : test 7 (Rule definition is not ambiguous with dyn rule)
-
* OK : test 8 (Id anti-quotation bug)
-
-----------------------------------------------------------------------
-
results testsuite Patterns pf Stratego Concrete Object Syntax
-
successes : 8
-
failures : 0
-
-----------------------------------------------------------------------
-
building ../Stratego/strategies.runtestsuite
-
/...-strategoxt/bin/parse-unit -i ../Stratego/strategies.testsuite -p StrategoStrategoForTesting.tbl
-
-----------------------------------------------------------------------
-
executing testsuite Stratego Strategies with 48 tests
-
-----------------------------------------------------------------------
-
* OK : test 1 (Strategy variable)
-
* OK : test 2 (Strategy variable)
-
* OK : test 3 (Choice and sequence priority)
-
* OK : test 4 (If then else )
-
* OK : test 5 (If then else in seq)
-
* OK : test 6 (Seq in then branche of if then else)
-
* OK : test 7 (Seq in else branche of if then else)
-
* OK : test 8 (Seq of s and seq in else branche of if then else)
-
* OK : test 9 (Seq of s and choice in else branche of if then else)
-
* OK : test 10 (If then else in else branche of if then else)
-
* OK : test 11 (If then else in then branche of if then else)
-
* OK : test 12 (If then else in else branche of if then else)
-
* OK : test 13 (If then else in else branche of if then else)
-
* OK : test 14 (Switch case no otherwise)
-
* OK : test 15 (Switch case with otherwise)
-
* OK : test 16 (Switch case no otherwise, no branches)
-
* OK : test 17 (Switch case no branches)
-
* OK : test 18 (Switch case as selector)
-
* OK : test 19 (Switch case as branch condition)
-
* OK : test 20 (Switch case as branch body)
-
* OK : test 21 (fixed-point intersection)
-
* OK : test 22 (fixed-point union)
-
* OK : test 23 (fixed-point union: space is allowed around the RuleNames)
-
* OK : test 24 (fixed-point union: two spaces are not allwed after RuleNames)
-
* OK : test 25 (fixed-point union: comment is not allowed after RuleNames)
-
* OK : test 26 (fixed-point union: comment is allowed after fixed-point union)
-
* OK : test 27 (fixed-point intersection union)
-
* OK : test 28 (priority of fixed-point intersection wrt sequential composition)
-
* OK : test 29 (priority of fixed-point intersection union wrt sequential composition)
-
* OK : test 30 (priority of fixed-point union wrt sequential composition)
-
* OK : test 31 (priority of fixed-point intersection wrt left choice)
-
* OK : test 32 (priority of fixed-point intersection union wrt )
-
* OK : test 33 (priority of fixed-point union wrt left choice)
-
* OK : test 34 (asignment operator)
-
* OK : test 35 (asignment operator and application in lhs)
-
* OK : test 36 (asignment operator and application in rhs)
-
* OK : test 37 (assignment in rule condition)
-
* OK : test 38 (priority of guarded left choice and choice (STR-683))
-
* OK : test 39 (priority of guarded left choice and choice (STR-683))
-
* OK : test 40 (priority of guarded left choice and choice)
-
* OK : test 41 (priority of guarded left choice and choice)
-
* OK : test 42 (priority of guarded left choice and choice)
-
* OK : test 43 (associativity of guarded left choice)
-
* OK : test 44 (STR-714: amb with annotations in := operator)
-
* OK : test 45 (STR-714: amb with annotations in := operator)
-
* OK : test 46 (Global variable syntax)
-
* OK : test 47 (Global variable syntax)
-
* OK : test 48 (Global variable syntax)
-
-----------------------------------------------------------------------
-
results testsuite Stratego Strategies
-
successes : 48
-
failures : 0
-
-----------------------------------------------------------------------
-
building ../Stratego/comments.runtestsuite
-
/...-strategoxt/bin/parse-unit -i ../Stratego/comments.testsuite -p StrategoStrategoForTesting.tbl
-
-----------------------------------------------------------------------
-
executing testsuite Comments with 16 tests
-
-----------------------------------------------------------------------
-
* OK : test 1 (basic end of line comment (1))
-
* OK : test 2 (basic end of line comment (1))
-
* OK : test 3 (basic long comment (1))
-
* OK : test 4 (Silly (1))
-
* OK : test 5 (/* anything */ is a comment (1))
-
* OK : test 6 (/* anything */ is a comment (2))
-
* OK : test 7 (/* */ comment can span multiple lines)
-
* OK : test 8 (// comment inside /* */ comment is ignored)
-
* OK : test 9 (// comment inside // comment is ignored)
-
* OK : test 10 (/* */ comment inside // comment is ignored)
-
* OK : test 11 (/* or // inside /* */ comment is ignored)
-
* OK : test 12 (/* or // inside /** */ comment is ignored)
-
* OK : test 13 (/* */ comments don't nest)
-
* OK : test 14 (/* */ comments don't nest in //)
-
* OK : test 15 (/* must have matching */)
-
* OK : test 16 (/* must have matching */)
-
-----------------------------------------------------------------------
-
results testsuite Comments
-
successes : 16
-
failures : 0
-
-----------------------------------------------------------------------
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/StrategoStratego'
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
building check-am
-
make prop1 prop1-asfix switch-semantics-test PropStratego.tbl
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building PropStratego.def
-
/...-strategoxt/bin/pack-sdf -I /...-strategoxt/share/sdf/stratego-front -i PropStratego.sdf -o PropStratego.def --dep PropStratego.dep
-
including ./PropStratego.sdf
-
including ./Prop.sdf
-
including /...-strategoxt/share/sdf/stratego-front/StrategoRenamed.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Layout.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Layout.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Identifiers.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Constants.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Constants.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Modules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Modules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Strategies.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Terms.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Signatures.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Signatures.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Terms.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Strategies.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Rules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-DynamicRules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Overlays.sdf
-
building PropStratego.tbl
-
/...-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m PropStratego -i PropStratego.def -o PropStratego.tbl
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:warning: symbol is not used anywhere
-
--- Mod [file: PropStratego.def line: 163 col: 50]
-
SdfChecker:error: start-symbol not defined by any production
-
--- StrategoModule [file: PropStratego.def line: 807 col: 29]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" Type ")" -> ArgType { bracket } [file: PropStratego.def line: 358 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: PropStratego.def line: 176 col: 5]
-
building prop1.c
-
/...-strategoxt/bin/strc -i prop1.str -o prop1.c -c
-
[ strc | info ] Compiling 'prop1.str'
-
[ strc | info ] Front-end succeeded : [user/system] = [0.63s/0.01s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.13s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.76s/0.01s]
-
building prop1.o-
gcc -DPACKAGE_NAME=\"stratego-front\" -DPACKAGE_TARNAME=\"stratego-front\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"stratego-front\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"stratego-front\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I. -I/...-strategoxt/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -c prop1.c
-
building prop1
-
/bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -o prop1 prop1.o -L/...-strategoxt/lib -lstratego-lib -lstratego-lib-native -lm -L/...-strategoxt/lib -lstratego-runtime -lm -L/...-aterm-2.5pre21238-l2q7rg38/lib -lATerm -lm
-
mkdir .libs
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY=\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\" -g -O2 -o prop1 prop1.o -L/...-strategoxt/lib /...-strategoxt/lib/libstratego-lib.so -L/...-aterm-2.5pre21238-l2q7rg38/lib /...-strategoxt/lib/libstratego-lib-native.so /...-strategoxt/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building prop1-asfix.c
-
../../strc-core/tools/strc --asfix -i prop1-asfix.str -o prop1-asfix.c -c -I .
-
[ lt-strc | info ] Compiling 'prop1-asfix.str'
-
[ strc | info ] Front-end succeeded : [user/system] = [1.04s/0.02s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.02s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.60s/0.01s]
-
[ strc | info ] Compilation succeeded : [user/system] = [1.66s/0.03s]
-
building prop1-asfix.o-
gcc -DPACKAGE_NAME=\"stratego-front\" -DPACKAGE_TARNAME=\"stratego-front\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"stratego-front\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"stratego-front\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I. -I/...-strategoxt/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -c prop1-asfix.c
-
building prop1-asfix
-
/bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -o prop1-asfix prop1-asfix.o -L/...-aterm-2.5pre21238-l2q7rg38/lib -lATerm -lm -L/...-strategoxt/lib -lstratego-xtc -L/...-strategoxt/lib -lstratego-lib -lstratego-lib-native -lm -L/...-strategoxt/lib -lstratego-runtime -lm -L/...-aterm-2.5pre21238-l2q7rg38/lib -lATerm -lm
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY=\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\" -g -O2 -o prop1-asfix prop1-asfix.o -L/...-aterm-2.5pre21238-l2q7rg38/lib -L/...-strategoxt/lib /...-strategoxt/lib/libstratego-xtc.so /...-strategoxt/lib/libstratego-lib.so /...-strategoxt/lib/libstratego-lib-native.so /...-strategoxt/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building switch-semantics-test.c
-
/...-strategoxt/bin/strc -i switch-semantics-test.str -o switch-semantics-test.c -c
-
[ strc | info ] Compiling 'switch-semantics-test.str'
-
[ strc | info ] Front-end succeeded : [user/system] = [0.59s/0.01s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.23s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.82s/0.01s]
-
building switch-semantics-test.o-
gcc -DPACKAGE_NAME=\"stratego-front\" -DPACKAGE_TARNAME=\"stratego-front\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"stratego-front\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"stratego-front\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I. -I/...-strategoxt/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -c switch-semantics-test.c
-
building switch-semantics-test
-
/bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -o switch-semantics-test switch-semantics-test.o -L/...-aterm-2.5pre21238-l2q7rg38/lib -lATerm -lm -L/...-strategoxt/lib -lstratego-xtc -L/...-strategoxt/lib -lstratego-lib -lstratego-lib-native -lm -L/...-strategoxt/lib -lstratego-runtime -lm -L/...-aterm-2.5pre21238-l2q7rg38/lib -lATerm -lm
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY=\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\" -g -O2 -o switch-semantics-test switch-semantics-test.o -L/...-aterm-2.5pre21238-l2q7rg38/lib -L/...-strategoxt/lib /...-strategoxt/lib/libstratego-xtc.so /...-strategoxt/lib/libstratego-lib.so /...-strategoxt/lib/libstratego-lib-native.so /...-strategoxt/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
make[4]: `PropStratego.tbl' is up to date.
-
rm PropStratego.def
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
make check-TESTS check-local
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building check-TESTS
-
And(And(Var("P"),And(And(Var("E"),Var("A"){"A"}),And(Var("E"),Or(Var("B"),And(Var("C"),Var("D")))))),Var("Q"))
-
PASS: prop1
-
test suite: switch construct testsuite
-
switch-woow int
-
switch-woow string
-
switch-woow real
-
switch-wow int
-
switch-wow string
-
switch-wow real
-
switch-intfail int
-
switch-intfail string
-
switch-intfail real
-
switch-nested int
-
switch-nested string
-
successes: 11
-
failures: 0
-
(11,0)
-
PASS: switch-semantics-test
-
appl(prod([cf(sort("Prop")),cf(opt(layout)),lit("/\\"),cf(opt(layout)),cf(sort("Prop"))],cf(sort("Prop")),attrs([term(cons("And")),assoc(left)])),[appl(prod([cf(sort("Prop")),cf(opt(layout)),lit("/\\"),cf(opt(layout)),cf(sort("Prop"))],cf(sort("Prop")),attrs([term(cons("And")),assoc(left)])),[appl(prod([cf(sort("Id"))],cf(sort("Prop")),attrs([term(cons("Var"))])),[appl(prod([lex(sort("Id"))],cf(sort("Id")),no-attrs),[appl(prod([lex(iter(char-class([range(65,90)])))],lex(sort("Id")),no-attrs),[appl(prod([char-class([range(65,90)])],lex(iter(char-class([range(65,90)]))),no-attrs),[80])])])]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([char-class([47]),char-class([92])],lit("/\\"),no-attrs),[47,92]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[10])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[10])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])])]),appl(prod([cf(sort("Prop")),cf(opt(layout)),lit("/\\"),cf(opt(layout)),cf(sort("Prop"))],cf(sort("Prop")),attrs([term(cons("And")),assoc(left)])),[appl(prod([cf(sort("Prop")),cf(opt(layout)),lit("/\\"),cf(opt(layout)),cf(sort("Prop"))],cf(sort("Prop")),attrs([term(cons("And")),assoc(left)])),[appl(prod([cf(sort("Id"))],cf(sort("Prop")),attrs([term(cons("Var"))])),[appl(prod([lex(sort("Id"))],cf(sort("Id")),no-attrs),[appl(prod([lex(iter(char-class([range(65,90)])))],lex(sort("Id")),no-attrs),[appl(prod([char-class([range(65,90)])],lex(iter(char-class([range(65,90)]))),no-attrs),[69])])])]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([char-class([47]),char-class([92])],lit("/\\"),no-attrs),[47,92]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([cf(sort("Id"))],cf(sort("Prop")),attrs([term(cons("Var"))])),[appl(prod([lex(sort("Id"))],cf(sort("Id")),no-attrs),[appl(prod([lex(iter(char-class([range(65,90)])))],lex(sort("Id")),no-attrs),[appl(prod([char-class([range(65,90)])],lex(iter(char-class([range(65,90)]))),no-attrs),[65])])])]){"A"}]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([char-class([47]),char-class([92])],lit("/\\"),no-attrs),[47,92]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([cf(sort("Prop")),cf(opt(layout)),lit("/\\"),cf(opt(layout)),cf(sort("Prop"))],cf(sort("Prop")),attrs([term(cons("And")),assoc(left)])),[appl(prod([cf(sort("Id"))],cf(sort("Prop")),attrs([term(cons("Var"))])),[appl(prod([lex(sort("Id"))],cf(sort("Id")),no-attrs),[appl(prod([lex(iter(char-class([range(65,90)])))],lex(sort("Id")),no-attrs),[appl(prod([char-class([range(65,90)])],lex(iter(char-class([range(65,90)]))),no-attrs),[69])])])]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([char-class([47]),char-class([92])],lit("/\\"),no-attrs),[47,92]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lit("("),cf(opt(layout)),cf(sort("Prop")),cf(opt(layout)),lit(")")],cf(sort("Prop")),attrs([bracket])),[appl(prod([char-class([40])],lit("("),no-attrs),[40]),appl(prod([],cf(opt(layout)),no-attrs),[]),appl(prod([cf(sort("Prop")),cf(opt(layout)),lit("\\/"),cf(opt(layout)),cf(sort("Prop"))],cf(sort("Prop")),attrs([term(cons("Or")),assoc(left)])),[appl(prod([cf(sort("Id"))],cf(sort("Prop")),attrs([term(cons("Var"))])),[appl(prod([lex(sort("Id"))],cf(sort("Id")),no-attrs),[appl(prod([lex(iter(char-class([range(65,90)])))],lex(sort("Id")),no-attrs),[appl(prod([char-class([range(65,90)])],lex(iter(char-class([range(65,90)]))),no-attrs),[66])])])]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([char-class([92]),char-class([47])],lit("\\/"),no-attrs),[92,47]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([cf(sort("Prop")),cf(opt(layout)),lit("/\\"),cf(opt(layout)),cf(sort("Prop"))],cf(sort("Prop")),attrs([term(cons("And")),assoc(left)])),[appl(prod([cf(sort("Id"))],cf(sort("Prop")),attrs([term(cons("Var"))])),[appl(prod([lex(sort("Id"))],cf(sort("Id")),no-attrs),[appl(prod([lex(iter(char-class([range(65,90)])))],lex(sort("Id")),no-attrs),[appl(prod([char-class([range(65,90)])],lex(iter(char-class([range(65,90)]))),no-attrs),[67])])])]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([char-class([47]),char-class([92])],lit("/\\"),no-attrs),[47,92]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([cf(sort("Id"))],cf(sort("Prop")),attrs([term(cons("Var"))])),[appl(prod([lex(sort("Id"))],cf(sort("Id")),no-attrs),[appl(prod([lex(iter(char-class([range(65,90)])))],lex(sort("Id")),no-attrs),[appl(prod([char-class([range(65,90)])],lex(iter(char-class([range(65,90)]))),no-attrs),[68])])])])])]),appl(prod([],cf(opt(layout)),no-attrs),[]),appl(prod([char-class([41])],lit(")"),no-attrs),[41])])])])]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[10])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[10])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])])]),appl(prod([char-class([47]),char-class([92])],lit("/\\"),no-attrs),[47,92]),appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([lex(sort("StrategoWs"))],lex(layout),no-attrs),[appl(prod([char-class([range(9,10),13,32])],lex(sort("StrategoWs")),no-attrs),[32])])])]),appl(prod([cf(sort("Id"))],cf(sort("Prop")),attrs([term(cons("Var"))])),[appl(prod([lex(sort("Id"))],cf(sort("Id")),no-attrs),[appl(prod([lex(iter(char-class([range(65,90)])))],lex(sort("Id")),no-attrs),[appl(prod([char-class([range(65,90)])],lex(iter(char-class([range(65,90)]))),no-attrs),[81])])])])])
-
PASS: prop1-asfix
-
==================
-
All 3 tests passed
-
==================
-
make[4]: Nothing to be done for `check-local'.
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building check1
-
make clean
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building clean-recursive
-
Making clean in syn
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
building clean-recursive
-
Making clean in StrategoStratego
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/StrategoStratego'
-
building clean-generic-
test -z "StrategoStrategoForTesting.def StrategoStrategoForTesting.tbl" || rm -f StrategoStrategoForTesting.def StrategoStrategoForTesting.tbl
-
building clean-libtool
-
building mostlyclean-libtool
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/StrategoStratego'
-
Making clean in Stratego
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/Stratego'
-
building clean-generic-
test -z "StrategoForTesting.def StrategoForTesting.tbl" || rm -f StrategoForTesting.def StrategoForTesting.tbl
-
building clean-libtool
-
building mostlyclean-libtool
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/Stratego'
-
Making clean in .
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
building clean-libtool
-
building mostlyclean-libtool
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
Making clean in pp
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/pp'
-
building clean-libtool
-
building mostlyclean-libtool
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/pp'
-
Making clean in .
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building clean-checkPROGRAMS
-
rm -f prop1 prop1
-
rm -f prop1-asfix prop1-asfix
-
rm -f switch-semantics-test switch-semantics-test
-
building clean-generic-
test -z "PropStratego.def PropStratego.tbl " || rm -f PropStratego.def PropStratego.tbl
-
building clean-libtool
-
building mostlyclean-compile
-
building mostlyclean-libtool
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
make PropStratego.tbl
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building PropStratego.def
-
/...-strategoxt/bin/pack-sdf -I /...-strategoxt/share/sdf/stratego-front -i PropStratego.sdf -o PropStratego.def --dep PropStratego.dep
-
including ./PropStratego.sdf
-
including ./Prop.sdf
-
including /...-strategoxt/share/sdf/stratego-front/StrategoRenamed.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Layout.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Layout.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Identifiers.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Constants.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Constants.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Modules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Modules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Strategies.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Terms.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Signatures.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Signatures.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Terms.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Strategies.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Rules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-DynamicRules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Overlays.sdf
-
building PropStratego.tbl
-
/...-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m PropStratego -i PropStratego.def -o PropStratego.tbl
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:warning: symbol is not used anywhere
-
--- Mod [file: PropStratego.def line: 163 col: 50]
-
SdfChecker:error: start-symbol not defined by any production
-
--- StrategoModule [file: PropStratego.def line: 807 col: 29]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" Type ")" -> ArgType { bracket } [file: PropStratego.def line: 358 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: PropStratego.def line: 176 col: 5]
-
rm PropStratego.def
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
../../strc-core/tools/parse-stratego -i prop1.str -o prop.rtree --asfix -I .
-
building check1-asfix
-
make clean
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building clean-recursive
-
Making clean in syn
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
building clean-recursive
-
Making clean in StrategoStratego
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/StrategoStratego'
-
building clean-generic-
test -z "StrategoStrategoForTesting.def StrategoStrategoForTesting.tbl" || rm -f StrategoStrategoForTesting.def StrategoStrategoForTesting.tbl
-
building clean-libtool
-
building mostlyclean-libtool
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/StrategoStratego'
-
Making clean in Stratego
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/Stratego'
-
building clean-generic-
test -z "StrategoForTesting.def StrategoForTesting.tbl" || rm -f StrategoForTesting.def StrategoForTesting.tbl
-
building clean-libtool
-
building mostlyclean-libtool
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/Stratego'
-
Making clean in .
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
building clean-libtool
-
building mostlyclean-libtool
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
Making clean in pp
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/pp'
-
building clean-libtool
-
building mostlyclean-libtool
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/pp'
-
Making clean in .
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building clean-checkPROGRAMS
-
rm -f prop1 prop1
-
rm -f prop1-asfix prop1-asfix
-
rm -f switch-semantics-test switch-semantics-test
-
building clean-generic-
test -z "PropStratego.def PropStratego.tbl prop.rtree" || rm -f PropStratego.def PropStratego.tbl prop.rtree
-
building clean-libtool
-
building mostlyclean-compile
-
building mostlyclean-libtool
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
make PropStratego.tbl
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building PropStratego.def
-
/...-strategoxt/bin/pack-sdf -I /...-strategoxt/share/sdf/stratego-front -i PropStratego.sdf -o PropStratego.def --dep PropStratego.dep
-
including ./PropStratego.sdf
-
including ./Prop.sdf
-
including /...-strategoxt/share/sdf/stratego-front/StrategoRenamed.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Layout.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Layout.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Identifiers.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Constants.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Constants.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Modules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Modules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Strategies.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Terms.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Signatures.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Signatures.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Terms.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Strategies.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Rules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-DynamicRules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Overlays.sdf
-
building PropStratego.tbl
-
/...-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m PropStratego -i PropStratego.def -o PropStratego.tbl
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:warning: symbol is not used anywhere
-
--- Mod [file: PropStratego.def line: 163 col: 50]
-
SdfChecker:error: start-symbol not defined by any production
-
--- StrategoModule [file: PropStratego.def line: 807 col: 29]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" Type ")" -> ArgType { bracket } [file: PropStratego.def line: 358 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: PropStratego.def line: 176 col: 5]
-
rm PropStratego.def
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
../../strc-core/tools/parse-stratego -i prop1.str -o prop-asfix.rtree -I .
-
building check2
-
make clean
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building clean-recursive
-
Making clean in syn
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
building clean-recursive
-
Making clean in StrategoStratego
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/StrategoStratego'
-
building clean-generic-
test -z "StrategoStrategoForTesting.def StrategoStrategoForTesting.tbl" || rm -f StrategoStrategoForTesting.def StrategoStrategoForTesting.tbl
-
building clean-libtool
-
building mostlyclean-libtool
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/StrategoStratego'
-
Making clean in Stratego
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/Stratego'
-
building clean-generic-
test -z "StrategoForTesting.def StrategoForTesting.tbl" || rm -f StrategoForTesting.def StrategoForTesting.tbl
-
building clean-libtool
-
building mostlyclean-libtool
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/Stratego'
-
Making clean in .
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
building clean-libtool
-
building mostlyclean-libtool
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
Making clean in pp
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/pp'
-
building clean-libtool
-
building mostlyclean-libtool
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/pp'
-
Making clean in .
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building clean-checkPROGRAMS
-
rm -f prop1 prop1
-
rm -f prop1-asfix prop1-asfix
-
rm -f switch-semantics-test switch-semantics-test
-
building clean-generic-
test -z "PropStratego.def PropStratego.tbl prop-asfix.rtree" || rm -f PropStratego.def PropStratego.tbl prop-asfix.rtree
-
building clean-libtool
-
building mostlyclean-compile
-
building mostlyclean-libtool
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
make PropStratego.tbl
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building PropStratego.def
-
/...-strategoxt/bin/pack-sdf -I /...-strategoxt/share/sdf/stratego-front -i PropStratego.sdf -o PropStratego.def --dep PropStratego.dep
-
including ./PropStratego.sdf
-
including ./Prop.sdf
-
including /...-strategoxt/share/sdf/stratego-front/StrategoRenamed.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Layout.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Layout.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Identifiers.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Constants.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Constants.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Modules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Modules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Strategies.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Terms.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Core-Signatures.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Signatures.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Terms.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Strategies.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Rules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-DynamicRules.sdf
-
including /...-strategoxt/share/sdf/stratego-front/Stratego-Sugar-Overlays.sdf
-
building PropStratego.tbl
-
/...-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -m PropStratego -i PropStratego.def -o PropStratego.tbl
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:warning: symbol is not used anywhere
-
--- Mod [file: PropStratego.def line: 163 col: 50]
-
SdfChecker:error: start-symbol not defined by any production
-
--- StrategoModule [file: PropStratego.def line: 807 col: 29]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" Type ")" -> ArgType { bracket } [file: PropStratego.def line: 358 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: PropStratego.def line: 176 col: 5]
-
rm PropStratego.def
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
../../strc-core/tools/parse-stratego -i prop2.str -o prop2.rtree -I .
-
building check3
-
make clean
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building clean-recursive
-
Making clean in syn
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
building clean-recursive
-
Making clean in StrategoStratego
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/StrategoStratego'
-
building clean-generic-
test -z "StrategoStrategoForTesting.def StrategoStrategoForTesting.tbl" || rm -f StrategoStrategoForTesting.def StrategoStrategoForTesting.tbl
-
building clean-libtool
-
building mostlyclean-libtool
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/StrategoStratego'
-
Making clean in Stratego
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/Stratego'
-
building clean-generic-
test -z "StrategoForTesting.def StrategoForTesting.tbl" || rm -f StrategoForTesting.def StrategoForTesting.tbl
-
building clean-libtool
-
building mostlyclean-libtool
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn/Stratego'
-
Making clean in .
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
building clean-libtool
-
building mostlyclean-libtool
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/syn'
-
Making clean in pp
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test/pp'
-
building clean-libtool
-
building mostlyclean-libtool
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test/pp'
-
Making clean in .
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
building clean-checkPROGRAMS
-
rm -f prop1 prop1
-
rm -f prop1-asfix prop1-asfix
-
rm -f switch-semantics-test switch-semantics-test
-
building clean-generic-
test -z "PropStratego.def PropStratego.tbl prop2.rtree" || rm -f PropStratego.def PropStratego.tbl prop2.rtree
-
building clean-libtool
-
building mostlyclean-compile
-
building mostlyclean-libtool
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
../../strc-core/tools/parse-stratego -i prop3.str -o prop3.rtree
-
[ lt-parse-stratego | warning ] Mismatch between basename of input file (prop3) and module name (prop) specified
-
building check5
-
XTC_REPOSITORY=/tmp/nix-19904-5/svn-export/BUILDTIME_XTC ../../strc-core/tools/parse-stratego \� -i anti-quote-preterm.str -I ../syn -o anti-quote-preterm.rtree
-
/...-strategoxt/bin/strc -i anti-quote-preterm.rtree -c -o anti-quote-preterm.c
-
[ strc | info ] Compiling 'anti-quote-preterm.rtree'
-
[ strc | info ] Front-end succeeded : [user/system] = [0.12s/0.00s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.09s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.21s/0.00s]
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front/test'
-
make[1]: Leaving directory `/tmp/nix-19904-5/svn-export/stratego-front'
-
Making check in asfix-tools
-
make[1]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools'
-
building check-recursive
-
Making check in sig
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/sig'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: AsFix.rtree error-support.rtree asfix2me.rtree
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/sig'
-
Making check in lib
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/lib'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: Bracket-Symbol.str asfix-abstractions.str asfix-extra.str prodcons.str verbalize-sdf.str
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/lib'
-
Making check in src
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src'
-
building check-recursive
-
Making check in templates
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/templates'
-
building check-recursive
-
Making check in data
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/templates/data'
-
make[4]: Nothing to be done for `check'.
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/templates/data'
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/templates'
-
make[4]: Nothing to be done for `check-am'.
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/templates'
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/templates'
-
Making check in asfix-yield
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/asfix-yield'
-
building check-recursive
-
Making check in data
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/asfix-yield/data'
-
building check-am
-
make aterms.tree aterms.def
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/asfix-yield/data'
-
building aterms.def-
cp /...-strategoxt/share/sdf/aterm-front/ATerms.def aterms.def
-
building aterms.tree-
/...-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sglr -2 -t -p /...-strategoxt/share/sdf/sdf-front/Sdf2.tbl -i aterms.def -o aterms.tree
-
make[5]: `aterms.def' is up to date.
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/asfix-yield/data'
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/asfix-yield/data'
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/asfix-yield'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: asfix-yield
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
building check-am
-
make check-TESTS
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/asfix-yield'
-
building asfix_yield1_check-
(\� prog=./asfix-yield ;\� input=data/tiny.tree ;\� if [ "a${input}" != "a" ]; then input="-i ./${input}"; fi ;\� output=data/tiny.txt ;\� correct=./data/tiny.sil ;\� switches="" ;\� echo set -e ;\� echo ${prog} ${switches} ${input} -o ${output};\� echo diff ${output} ${correct} ;\� echo rm ${output} ;\� ) >asfix_yield1_check && \� chmod +x asfix_yield1_check
-
building asfix_yield2_check-
(\� prog=./asfix-yield ;\� input=data/aterms.tree ;\� if [ "a${input}" != "a" ]; then input="-i ./${input}"; fi ;\� output=data/aterms.txt ;\� correct=./data/aterms.def ;\� switches="" ;\� echo set -e ;\� echo ${prog} ${switches} ${input} -o ${output};\� echo diff ${output} ${correct} ;\� echo rm ${output} ;\� ) >asfix_yield2_check && \� chmod +x asfix_yield2_check
-
building check-TESTS
-
PASS: asfix_yield1_check
-
PASS: asfix_yield2_check
-
==================
-
All 2 tests passed
-
==================
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/asfix-yield'
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/asfix-yield'
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/asfix-yield'
-
Making check in visamb
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/visamb'
-
building check-recursive
-
Making check in data
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/visamb/data'
-
make[4]: Nothing to be done for `check'.
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/visamb/data'
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/visamb'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: Vis-amb
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: Vis-amb.str
-
building check-am
-
make check-TESTS
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/visamb'
-
building visamb1_check-
(\� prog=./Vis-amb ;\� input=data/input.test.tree ;\� if [ "a${input}" != "a" ]; then input="-i ./${input}"; fi ;\� output=data/input.test.tree.out ;\� correct=./data/input.test.tree.out.correct ;\� switches="" ;\� echo set -e ;\� echo ${prog} ${switches} ${input} -o ${output};\� echo diff ${output} ${correct} ;\� echo rm ${output} ;\� ) >visamb1_check && \� chmod +x visamb1_check
-
building visamb2_check-
(\� prog=./Vis-amb ;\� input=data/input.exp.tree ;\� if [ "a${input}" != "a" ]; then input="-i ./${input}"; fi ;\� output=data/input.exp.tree.out ;\� correct=./data/input.exp.tree.out.correct ;\� switches="" ;\� echo set -e ;\� echo ${prog} ${switches} ${input} -o ${output};\� echo diff ${output} ${correct} ;\� echo rm ${output} ;\� ) >visamb2_check && \� chmod +x visamb2_check
-
building check-TESTS
-
PASS: visamb1_check
-
PASS: visamb2_check
-
==================
-
All 2 tests passed
-
==================
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/visamb'
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/visamb'
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/visamb'
-
Making check in explode-asfix2me
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/explode-asfix2me'
-
building check-recursive
-
Making check in data
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/explode-asfix2me/data'
-
building check-am
-
make check-TESTS
-
make[5]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/explode-asfix2me/data'
-
building test1.sh-
( \� echo "../explode-asfix2me < ./test1.in > test1.out" ;\� echo "diff test1.out ./test1.correct" ;\� ) > test1.sh \� && chmod +x test1.sh
-
building test2.sh-
( \� echo "../explode-asfix2me < ./test2.in > test2.out" ;\� echo "diff test2.out ./test2.correct" ;\� ) > test2.sh \� && chmod +x test2.sh
-
building test3.sh-
( \� echo "../explode-asfix2me < ./test3.in > test3.out" ;\� echo "diff test3.out ./test3.correct" ;\� ) > test3.sh \� && chmod +x test3.sh
-
building test4.sh-
( \� echo "../explode-asfix2me < ./test4.in > test4.out" ;\� echo "diff test4.out ./test4.correct" ;\� ) > test4.sh \� && chmod +x test4.sh
-
building test5.sh-
( \� echo "../explode-asfix2me < ./test5.in > test5.out" ;\� echo "diff test5.out ./test5.correct" ;\� ) > test5.sh \� && chmod +x test5.sh
-
building test6.sh-
( \� echo "../explode-asfix2me < ./test6.in > test6.out" ;\� echo "diff test6.out ./test6.correct" ;\� ) > test6.sh \� && chmod +x test6.sh
-
building test7.sh-
( \� echo "../explode-asfix2me < ./test7.in > test7.out" ;\� echo "diff test7.out ./test7.correct" ;\� ) > test7.sh \� && chmod +x test7.sh
-
building test8.sh-
( \� echo "../explode-asfix2me < ./test8.in > test8.out" ;\� echo "diff test8.out ./test8.correct" ;\� ) > test8.sh \� && chmod +x test8.sh
-
building test9.sh-
( \� echo "../explode-asfix2me < ./test9.in > test9.out" ;\� echo "diff test9.out ./test9.correct" ;\� ) > test9.sh \� && chmod +x test9.sh
-
building test10.sh-
( \� echo "../explode-asfix2me < ./test10.in > test10.out" ;\� echo "diff test10.out ./test10.correct" ;\� ) > test10.sh \� && chmod +x test10.sh
-
building check-TESTS
-
PASS: test1.sh
-
PASS: test2.sh
-
PASS: test3.sh
-
PASS: test4.sh
-
PASS: test5.sh
-
PASS: test6.sh
-
PASS: test7.sh
-
PASS: test8.sh
-
PASS: test9.sh
-
PASS: test10.sh
-
===================
-
All 10 tests passed
-
===================
-
make[5]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/explode-asfix2me/data'
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/explode-asfix2me/data'
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/explode-asfix2me'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: explode-asfix2me
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/explode-asfix2me'
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src/explode-asfix2me'
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/src'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src'
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/src'
-
Making check in xtc
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/xtc'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: visamb implode-asfix sglri asfix-anno-comments
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: visamb.pp.af
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/xtc'
-
Making check in test
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/test'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
building check-am
-
make asfix-abstractions-test
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/test'
-
building asfix-abstractions-test.c
-
/...-strategoxt/bin/strc -I ../sig -I ../lib -i asfix-abstractions-test.str -o asfix-abstractions-test.c -c
-
[ strc | info ] Compiling 'asfix-abstractions-test.str'
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NoCfLayout used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor NewLine used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | warning ] Nullary constructor layout used without parentheses
-
[ strc | warning ] Nullary constructor no-attrs used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [0.84s/0.04s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.01s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.33s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [1.18s/0.04s]
-
building asfix-abstractions-test.o-
gcc -DPACKAGE_NAME=\"asfix-tools\" -DPACKAGE_TARNAME=\"asfix-tools\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"asfix-tools\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"asfix-tools\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I. -I/...-strategoxt/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -I/...-strategoxt/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -c asfix-abstractions-test.c
-
building asfix-abstractions-test
-
/bin/sh ../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY="\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\"" -g -O2 -o asfix-abstractions-test asfix-abstractions-test.o -L/...-strategoxt/lib -lstratego-lib -lstratego-lib-native -lm -L/...-strategoxt/lib -lstratego-runtime -lm -L/...-aterm-2.5pre21238-l2q7rg38/lib -lATerm -lm
-
mkdir .libs
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -DDEFAULT_XTC_REPOSITORY=\"/tmp/nix-19904-5/tmp_prefix/share/strategoxt/XTC\" -g -O2 -o asfix-abstractions-test asfix-abstractions-test.o -L/...-strategoxt/lib /...-strategoxt/lib/libstratego-lib.so -L/...-aterm-2.5pre21238-l2q7rg38/lib /...-strategoxt/lib/libstratego-lib-native.so /...-strategoxt/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/...-strategoxt/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/test'
-
make check-TESTS
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools/test'
-
building check-TESTS
-
test suite: asfix-abstractions-test
-
test1
-
test1a
-
test2a
-
test2b
-
test2c
-
test2d
-
test2e
-
test3a
-
test3b
-
test4
-
[" succeeded; result: ",appl(prod([cf(layout)],cf(opt(layout)),no-attrs),[appl(prod([cf(layout),cf(layout)],cf(layout),attrs([assoc(left)])),[appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([char-class([10])],lex(layout),no-attrs),[10])]),appl(prod([lex(layout)],cf(layout),no-attrs),[appl(prod([char-class([10])],lex(layout),no-attrs),[10])])])])]
-
successes: 10
-
failures: 0
-
(10,0)
-
PASS: asfix-abstractions-test
-
==================
-
All 1 tests passed
-
==================
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/test'
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools/test'
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/asfix-tools'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools'
-
make[1]: Leaving directory `/tmp/nix-19904-5/svn-export/asfix-tools'
-
Making check in gpp
-
make[1]: Entering directory `/tmp/nix-19904-5/svn-export/gpp'
-
building check-recursive
-
Making check in syn
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/syn'
-
building check-recursive
-
Making check in box
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/syn/box'
-
Makefile:688: warning: overriding commands for target `.def.pp'
-
Makefile:579: warning: ignoring old commands for target `.def.pp'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: Box.pp Box.pp.af Box.tbl Stratego-Box.tbl Box.def Stratego-Box.def Box-Atoms.sdf Box-Base.sdf Box-Disambiguation.sdf Box-Layout.sdf Box-Literal.sdf Box-Operators.sdf Box.sdf Stratego-Box.sdf
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/syn/box'
-
Making check in pp-table
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/syn/pp-table'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: pp-table-pretty.pp pp-table-pretty.pp.af pp-table.tbl pp-table.def pp-table-IntCon.sdf pp-table-PlaceHolder.sdf pp-table.sdf
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/syn/pp-table'
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/syn'
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/syn'
-
Making check in sig
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/sig'
-
building check-recursive
-
Making check in box
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/sig/box'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: Box.rtg Box.str
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/sig/box'
-
Making check in pp-table
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/sig/pp-table'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: pp-table.str
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/sig/pp-table'
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/sig'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/sig'
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/sig'
-
Making check in tools
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/tools'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: parse-box pp-box parse-pp-table pp-pp-table ppgen ast2abox ast2text abox2text pptable-diff abox-format
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/tools'
-
Making check in tools2
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/tools2'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: asfix2abox abox2html abox2latex Asfix-2-abox Abox-2-html Abox-2-latex
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: boxstyle.css
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/tools2'
-
Making check in tools3
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/tools3'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: pp2c
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: pptools.c
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/tools3'
-
Making check in test
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/test'
-
building check-recursive
-
Making check in Box
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/test/Box'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
building box.runtestsuite
-
/...-strategoxt/bin/parse-unit -i box.testsuite -p ../../syn/box/Box.tbl
-
-----------------------------------------------------------------------
-
executing testsuite Box with 8 tests
-
-----------------------------------------------------------------------
-
* OK : test 1 (H[])
-
* OK : test 2 (V[])
-
* OK : test 3 ( KW["if"] )
-
* OK : test 4 ( "if" )
-
* OK : test 5 ( HV[] )
-
* OK : test 6 (H hs=0 [])
-
* OK : test 7 (V vs=0 [])
-
* OK : test 8 (V is=0 vs=0 [])
-
-----------------------------------------------------------------------
-
results testsuite Box
-
successes : 8
-
failures : 0
-
-----------------------------------------------------------------------
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/test/Box'
-
Making check in StrategoBox
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/test/StrategoBox'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
building check-am
-
make Main.tbl
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/test/StrategoBox'
-
building Main.def
-
/...-strategoxt/bin/pack-sdf -Idef ../../syn/box/Stratego-Box.def -i Main.sdf -o Main.def --dep Main.dep
-
including ./Main.sdf
-
including Stratego-Box from ../../syn/box/Stratego-Box.def
-
including Box from ../../syn/box/Stratego-Box.def
-
including Box-Atoms from ../../syn/box/Stratego-Box.def
-
including Box-Base from ../../syn/box/Stratego-Box.def
-
including Box-Literal from ../../syn/box/Stratego-Box.def
-
including Box-Operators from ../../syn/box/Stratego-Box.def
-
including Box-Layout from ../../syn/box/Stratego-Box.def
-
including Box-Disambiguation from ../../syn/box/Stratego-Box.def
-
including StrategoRenamed from ../../syn/box/Stratego-Box.def
-
including Stratego from ../../syn/box/Stratego-Box.def
-
including Stratego-Sugar from ../../syn/box/Stratego-Box.def
-
including Stratego-Sugar-Layout from ../../syn/box/Stratego-Box.def
-
including Stratego-Core-Layout from ../../syn/box/Stratego-Box.def
-
including Stratego-Core-Identifiers from ../../syn/box/Stratego-Box.def
-
including Stratego-Sugar-Constants from ../../syn/box/Stratego-Box.def
-
including Stratego-Core-Constants from ../../syn/box/Stratego-Box.def
-
including Stratego-Sugar-Modules from ../../syn/box/Stratego-Box.def
-
including Stratego-Core-Modules from ../../syn/box/Stratego-Box.def
-
including Stratego-Core-Strategies from ../../syn/box/Stratego-Box.def
-
including Stratego-Core-Terms from ../../syn/box/Stratego-Box.def
-
including Stratego-Core-Signatures from ../../syn/box/Stratego-Box.def
-
including Stratego-Sugar-Signatures from ../../syn/box/Stratego-Box.def
-
including Stratego-Sugar-Terms from ../../syn/box/Stratego-Box.def
-
including Stratego-Sugar-Strategies from ../../syn/box/Stratego-Box.def
-
including Stratego-Sugar-Rules from ../../syn/box/Stratego-Box.def
-
including Stratego-Sugar-DynamicRules from ../../syn/box/Stratego-Box.def
-
including Stratego-Sugar-Overlays from ../../syn/box/Stratego-Box.def
-
building Main.tbl
-
/...-sdf2-bundle-2.4pre212034-2nspl1xc/bin/sdf2table -i Main.def -o Main.tbl
-
SdfChecker:warning: symbol is not used anywhere
-
--- Mod [file: Main.def line: 163 col: 50]
-
SdfChecker:error: start-symbol not defined by any production
-
--- StrategoModule [file: Main.def line: 1042 col: 29]
-
SdfChecker:warning: undeclared sort
-
--- Literal [file: Main.def line: 1009 col: 17]
-
SdfChecker:warning: undeclared sort
-
--- UQLiteral [file: Main.def line: 1007 col: 37]
-
SdfChecker:warning: undeclared sort
-
--- QLiteral [file: Main.def line: 1006 col: 37]
-
SdfChecker:warning: undeclared sort
-
--- L-Char [file: Main.def line: 1003 col: 31]
-
SdfChecker:warning: undeclared sort
-
--- EscChar [file: Main.def line: 1000 col: 29]
-
SdfChecker:warning: undeclared sort
-
--- DecimalEscChar [file: Main.def line: 996 col: 29]
-
SdfChecker:warning: undeclared sort
-
--- AlphaNumericalEscChar [file: Main.def line: 995 col: 16]
-
SdfChecker:warning: undeclared sort
-
--- BoxLiteral [file: Main.def line: 967 col: 19]
-
SdfChecker:warning: undeclared sort
-
--- NatCon [file: Main.def line: 820 col: 26]
-
SdfChecker:warning: undeclared sort
-
--- BOX-LIST [file: Main.def line: 814 col: 12]
-
SdfChecker:warning: undeclared sort
-
--- BOX [file: Main.def line: 814 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" Type ")" -> ArgType { bracket } [file: Main.def line: 360 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: Main.def line: 176 col: 5]
-
rm Main.def
-
make[4]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/test/StrategoBox'
-
building preterm.runtestsuite
-
/...-strategoxt/bin/parse-unit -i preterm.testsuite -p Main.tbl
-
-----------------------------------------------------------------------
-
executing testsuite Patterns of Box Concrete Object Syntax with 13 tests
-
-----------------------------------------------------------------------
-
* OK : test 1 (Simple quote)
-
* OK : test 2 (Simple quote)
-
* OK : test 3 (Simple string literal variable)
-
* OK : test 4 (Simple Box variable)
-
* OK : test 5 (Quote without quotation tokens)
-
* OK : test 6 (Quote without quotation tokens)
-
* OK : test 7 (Boxes)
-
* OK : test 8 (Boxes with tag)
-
* OK : test 9 (Box anti-quotation)
-
* OK : test 10 (Box anti-quotation)
-
* OK : test 11 (Box anti-quotation)
-
* OK : test 12 (Box meta variables)
-
* OK : test 13 (Box literal anti quotation)
-
-----------------------------------------------------------------------
-
results testsuite Patterns of Box Concrete Object Syntax
-
successes : 13
-
failures : 0
-
-----------------------------------------------------------------------
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/test/StrategoBox'
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/gpp/test'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/test'
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp/test'
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/gpp'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp'
-
make[1]: Leaving directory `/tmp/nix-19904-5/svn-export/gpp'
-
Making check in c-tools
-
make[1]: Entering directory `/tmp/nix-19904-5/svn-export/c-tools'
-
building check-recursive
-
Making check in syn
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/c-tools/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: C.tbl Stratego-C.tbl Stratego-Stratego-C.tbl Stratego-Sugar-and-C-in-Stratego.tbl C.def Stratego-C.def Stratego-Stratego-C.def Stratego-Sugar-and-C-in-Stratego.def C-AbstractDeclarators.sdf C-Constants.sdf C-Declarators.sdf C-Enumerators.sdf C-Expressions.sdf C-Identifiers.sdf C-Keywords.sdf C-Lexical.sdf C-ParameterDeclarators.sdf C-Preprocessor.sdf C-Program.sdf C-Statements.sdf C-StructsAndUnions.sdf C-Types.sdf C.sdf Stratego-C.sdf Stratego-Stratego-C.sdf Stratego-Sugar-and-C-in-Stratego.sdf
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/c-tools/syn'
-
Making check in sig
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/c-tools/sig'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: C.rtree C.rtg C.rtg-nf
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/c-tools/sig'
-
Making check in pp
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/c-tools/pp'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: C.pp C.pp.af C-pretty.pp C-pretty.pp.af
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/c-tools/pp'
-
Making check in xtc-tools
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/c-tools/xtc-tools'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: pp-c
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/c-tools/xtc-tools'
-
Making check in tests
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/c-tools/tests'
-
building check-recursive
-
Making check in translation-units
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/c-tools/tests/translation-units'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/c-tools/tests/translation-units'
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/c-tools/tests'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-19904-5/svn-export/c-tools/tests'
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/c-tools/tests'
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/c-tools'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/c-tools'
-
make[1]: Leaving directory `/tmp/nix-19904-5/svn-export/c-tools'
-
Making check in strc-core
-
make[1]: Entering directory `/tmp/nix-19904-5/svn-export/strc-core'
-
building check-recursive
-
Making check in lib
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/strc-core/lib'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: libstrc.rtree libstrc.ctree
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/strc-core/lib'
-
Making check in tools
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/strc-core/tools'
-
building all-local
-
Tools registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC: strc parse-stratego pp-stratego strcflags pack-stratego report-ambs stratego-ensugar meta-explode stratego2abox stratego-parenthesize
-
Data registered in repository /tmp/nix-19904-5/svn-export/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-19904-5/svn-export/strc-core/tools'
-
Making check in tests
-
make[2]: Entering directory `/tmp/nix-19904-5/svn-export/strc-core/tests'
-
building check-recursive
-
Making check in test1
-
make[3]: Entering directory `/tmp/nix-19904-5/svn-export/strc-core/tests/test1'
-
building check-am
-
make test01 test02 test03 test04 test05 test06 test07 test08 test09 test10 test11 test12 test13 test14 test15 test16 test17 test18 test19 test20 test21 test22 test23 test24 test25 test27 test28a test28b test28 test29 test30 test31 test32 test33 test34 test35 test36 test37 test38 test39 test40 test41 test43 test45 test46 test47 test49 test50 test51 test53 test54 test56 test57 test58 test59 test60 test61 test62 test63 test64 test65 test67 test68 test69 test70 test72 test73 test74 test75 test76 test77 test78 test79 test80 test81 test82 test83 test84 test85 test86 test87 test88 test89 test90 test91 test92 test93 test94 test95 test96 test97 test98 test99 test100 test101 test102 test103 test104 test105 test106 test107 test108 io-test10 io-test11 io-test1 io-test2 io-test3 io-test4 qcons-test01 qcons-test02 qcons-test03 qcons-test04 test-chain01 test-chain02 test-chain03 let-test nested-defs01 cs-test01 cs-test02 cs-test03 cs-test04 static-links ExpStratego.tbl Expressions.str Expressions.tbl
-
make[4]: Entering directory `/tmp/nix-19904-5/svn-export/strc-core/tests/test1'
-
building test01.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test01.str -c -o test01.c --verbose 3
-
[ lt-strc | info ] Compiling 'test01.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test01.str
-
[ strc | notice ] Parsing file ./test01.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | info ] Front-end succeeded : [user/system] = [0.03s/0.01s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.07s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.10s/0.01s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test01.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test01.c
-
building test01
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test01 test01.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
mkdir .libs
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test01 test01.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test02.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test02.str -c -o test02.c --verbose 3
-
[ lt-strc | info ] Compiling 'test02.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test02.str
-
[ strc | notice ] Parsing file ./test02.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/list/cons.rtree
-
[ strc | info ] Front-end succeeded : [user/system] = [0.06s/0.01s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.07s/0.01s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.13s/0.02s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test02.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test02.c
-
building test02
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test02 test02.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test02 test02.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test03.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test03.str -c -o test03.c --verbose 3
-
[ lt-strc | info ] Compiling 'test03.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test03.str
-
[ strc | notice ] Parsing file ./test03.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/list/cons.rtree
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/tuple/cons.rtree
-
[ strc | info ] Front-end succeeded : [user/system] = [0.13s/0.02s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.11s/0.01s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.24s/0.03s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test03.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test03.c
-
building test03
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test03 test03.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test03 test03.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test04.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test04.str -c -o test04.c --verbose 3
-
[ lt-strc | info ] Compiling 'test04.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test04.str
-
[ strc | notice ] Parsing file ./test04.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | info ] Front-end succeeded : [user/system] = [0.04s/0.01s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.11s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.15s/0.01s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test04.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test04.c
-
building test04
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test04 test04.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test04 test04.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test05.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test05.str -c -o test05.c --verbose 3
-
[ lt-strc | info ] Compiling 'test05.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test05.str
-
[ strc | notice ] Parsing file ./test05.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/list/cons.rtree
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/tuple/cons.rtree
-
[ strc | info ] Front-end succeeded : [user/system] = [0.13s/0.02s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.01s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.10s/0.01s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.24s/0.03s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test05.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test05.c
-
building test05
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test05 test05.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test05 test05.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test06.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test06.str -c -o test06.c --verbose 3
-
[ lt-strc | info ] Compiling 'test06.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test06.str
-
[ strc | notice ] Parsing file ./test06.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [0.05s/0.01s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.14s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.19s/0.01s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test06.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test06.c
-
building test06
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test06 test06.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test06 test06.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test07.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test07.str -c -o test07.c --verbose 3
-
[ lt-strc | info ] Compiling 'test07.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test07.str
-
[ strc | notice ] Parsing file ./test07.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [0.05s/0.00s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.01s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.15s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.21s/0.00s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test07.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test07.c
-
building test07
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test07 test07.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test07 test07.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test08.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test08.str -c -o test08.c --verbose 3
-
[ lt-strc | info ] Compiling 'test08.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test08.str
-
[ strc | notice ] Parsing file ./test08.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [0.07s/0.02s]
-
[ strc | notice ] Application of innermost found
-
[ strc | notice ] eliminating reductions of free terms
-
[ strc | notice ] Fused application of innermost
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.21s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.28s/0.02s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test08.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test08.c
-
building test08
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test08 test08.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test08 test08.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test09.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test09.str -c -o test09.c --verbose 3
-
[ lt-strc | info ] Compiling 'test09.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test09.str
-
[ strc | notice ] Parsing file ./test09.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [0.06s/0.01s]
-
[ strc | notice ] Application of innermost found
-
[ strc | notice ] eliminating reductions of free terms
-
[ strc | notice ] Fused application of innermost
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.19s/0.01s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.25s/0.02s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test09.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test09.c
-
building test09
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test09 test09.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test09 test09.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test10.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test10.str -c -o test10.c --verbose 3
-
[ lt-strc | info ] Compiling 'test10.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test10.str
-
[ strc | notice ] Parsing file ./test10.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/list/cons.rtree
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | warning ] Nullary constructor Zero used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [0.08s/0.01s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.11s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.19s/0.01s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test10.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test10.c
-
building test10
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test10 test10.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test10 test10.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test11.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test11.str -c -o test11.c --verbose 3
-
[ lt-strc | info ] Compiling 'test11.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test11.str
-
[ strc | notice ] Parsing file ./test11.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/list/cons.rtree
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/tuple/cons.rtree
-
[ strc | info ] Front-end succeeded : [user/system] = [0.14s/0.03s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.13s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.27s/0.03s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test11.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test11.c
-
building test11
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test11 test11.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test11 test11.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test12.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test12.str -c -o test12.c --verbose 3
-
[ lt-strc | info ] Compiling 'test12.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test12.str
-
[ strc | notice ] Parsing file ./test12.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/list/cons.rtree
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/tuple/cons.rtree
-
[ strc | warning ] Nullary constructor I used without parentheses
-
[ strc | warning ] Nullary constructor I used without parentheses
-
[ strc | warning ] Nullary constructor I used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [0.14s/0.01s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.09s/0.01s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.23s/0.02s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test12.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test12.c
-
building test12
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test12 test12.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test12 test12.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test13.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test13.str -c -o test13.c --verbose 3
-
[ lt-strc | info ] Compiling 'test13.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test13.str
-
[ strc | notice ] Parsing file ./test13.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/libstratego-lib.rtree
-
[ strc | info ] Front-end succeeded : [user/system] = [0.54s/0.01s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.10s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.64s/0.01s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test13.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test13.c
-
building test13
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test13 test13.o -L/tmp/nix-19904-5/tmp_prefix/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test13 test13.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test14.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test14.str -c -o test14.c --verbose 3
-
[ lt-strc | info ] Compiling 'test14.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test14.str
-
[ strc | notice ] Parsing file ./test14.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/list/cons.rtree
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/tuple/cons.rtree
-
[ strc | info ] Front-end succeeded : [user/system] = [0.15s/0.01s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.17s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.32s/0.01s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test14.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test14.c
-
building test14
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test14 test14.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test14 test14.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test15.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test15.str -c -o test15.c --verbose 3
-
[ lt-strc | info ] Compiling 'test15.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test15.str
-
[ strc | notice ] Parsing file ./test15.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/list/cons.rtree
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/collection/tuple/cons.rtree
-
[ strc | info ] Front-end succeeded : [user/system] = [0.12s/0.02s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.08s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.20s/0.03s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test15.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test15.c
-
building test15
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test15 test15.o -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test15 test15.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test16.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test16.str -c -o test16.c --verbose 3
-
[ lt-strc | info ] Compiling 'test16.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test16.str
-
[ strc | notice ] Parsing file ./test16.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/libstratego-lib.rtree
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor C used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor C used without parentheses
-
[ strc | warning ] Nullary constructor D used without parentheses
-
[ strc | warning ] Nullary constructor D used without parentheses
-
[ strc | warning ] Nullary constructor D used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor C used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor C used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [0.57s/0.00s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.15s/0.01s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.72s/0.01s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test16.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test16.c
-
building test16
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test16 test16.o -L/tmp/nix-19904-5/tmp_prefix/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test16 test16.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test17.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test17.str -c -o test17.c --verbose 3
-
[ lt-strc | info ] Compiling 'test17.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test17.str
-
[ strc | notice ] Parsing file ./test17.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/libstratego-lib.rtree
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [0.56s/0.02s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.18s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.74s/0.02s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test17.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test17.c
-
building test17
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib -o test17 test17.o -L/tmp/nix-19904-5/tmp_prefix/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lATerm -lm
-
gcc -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -o test17 test17.o -L/tmp/nix-19904-5/tmp_prefix/lib -L/...-aterm-2.5pre21238-l2q7rg38/lib /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-lib-native.so /tmp/nix-19904-5/tmp_prefix/lib/libstratego-runtime.so /...-aterm-2.5pre21238-l2q7rg38/lib/libATerm.so -lm -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib -Wl,--rpath -Wl,/tmp/nix-19904-5/tmp_prefix/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-l2q7rg38/lib
-
building test18.c
-
../../tools/strc -I ../../../stratego-libraries/lib/spec -I /tmp/nix-19904-5/tmp_prefix/share/stratego-lib -I ../../lib -i test18.str -c -o test18.c --verbose 3
-
[ lt-strc | info ] Compiling 'test18.str'
-
[ strc | notice ] include path:
-
[IncludeDir("."),IncludeDir("../../../stratego-libraries/lib/spec"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("../../lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-lib"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/stratego-front"),IncludeDir("/tmp/nix-19904-5/tmp_prefix/share/sdf/stratego-front"),IncludeXTC]
-
[ strc | notice ] including ./test18.str
-
[ strc | notice ] Parsing file ./test18.str
-
[ strc | notice ] Using syntax Stratego
-
[ strc | notice ] including ../../../stratego-libraries/lib/spec/libstratego-lib.rtree
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor g used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor A used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [0.59s/0.02s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.30s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.89s/0.02s]
-
STRC 0.17 (revision 17632)
-
-
Copyright (C) 1998-2005 Eelco Visser <visser@acm.org>
-
-
This library is free software; you can redistribute it and/or
-
modify it under the terms of the GNU Lesser General Public
-
License as published by the Free Software Foundation; either
-
version 2 of the License, or (at your option) any later version.
-
-
building test18.o-
gcc -DPACKAGE_NAME=\"strc-core\" -DPACKAGE_TARNAME=\"strc-core\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strc-core\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego@cs.uu.nl\" -DPACKAGE=\"strc-core\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"17632\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"strc-core\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.17\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"stratego@cs.uu.nl\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"17632\"\)\) -DSTRC_SYSTEM_LDFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\"\)\) -DSTRC_SYSTEM_CFLAGS\(\)=\(\(ATerm\)\ ATmakeString\(\"\ -Wall\ -Wno-unused-label\ -Wno-unused-variable\ -Wno-unused-function\ -Wno-unused-parameter\ -Werror\ -DSIZEOF_VOID_P=4\ -DSIZEOF_LONG=4\ -DSIZEOF_INT=4\"\)\) -DHAVE_DLFCN_H=1 -I. -I. -I/tmp/nix-19904-5/tmp_prefix/include -I/...-aterm-2.5pre21238-l2q7rg38/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -Werror -Werror -g -O2 -c test18.c
-
building test18