check flags: -
building check-recursive
-
Making check in str-lazy
-
make[1]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy'
-
building check-recursive
-
Making check in src
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/src'
-
building check-recursive
-
Making check in lib
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/src/lib'
-
building all-local-
Files registered in build repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: liblazy.rtree lazy.str liblazy-lib.la
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/src/lib'
-
Making check in native
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/src/native'
-
building all-local-
Files registered in build repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: native-lazy.h liblazy-lib-native.la
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/src/native'
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/src'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/src'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/src'
-
Making check in tests
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/tests'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
building check-am
-
make lazy-test
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/tests'
-
building lazy-test.c-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/strc -I ../../str-lazy/src/lib -I ../../str-lazy/src/lib --main lazy-test --verbose 0 -i lazy-test.str -o lazy-test.c -c
-
building lazy-test.o-
gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -g -O2 -I../../str-lazy/src/native -I../../str-lazy/src/lib -g -O0 -c lazy-test.c
-
building lazy-test
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -g -O2 -I../../str-lazy/src/native -I../../str-lazy/src/lib -g -O0 -o lazy-test lazy-test.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L../../str-lazy/src/lib -L../../str-lazy/src/native -llazy-lib -llazy-lib-native
-
mkdir .libs
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\" -g -O2 -I../../str-lazy/src/native -I../../str-lazy/src/lib -g -O0 -o .libs/lazy-test lazy-test.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -L/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/src/lib -L/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/src/native /tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/src/lib/.libs/liblazy-lib.so /tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre1905/lib
-
creating lazy-test
-
rm lazy-test.c
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/tests'
-
make check-TESTS
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/tests'
-
building check-TESTS
-
0 [Program("/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/tests/.libs/lt-lazy-test")]
-
1 Lazy("�000000000016������+����r�����")
-
2 Lazy("�000000000016������+��0�r�����")
-
3 Lazy("�000000000016������+����r�����")
-
4 (Lazy("�000000000016������+����r�����"),Lazy("�000000000016������+��0�r�����"))
-
5 []
-
5.5 []
-
6 2
-
a (Lazy("�000000000016������+����r�����"),Lazy("�000000000016������+��0�r�����"))
-
7 3
-
8 3
-
3
-
PASS: lazy-test
-
==================
-
All 1 tests passed
-
==================
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/tests'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy/tests'
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy'
-
make[1]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-lazy'
-
Making check in str-ref
-
make[1]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref'
-
building check-recursive
-
Making check in src
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/src'
-
building check-recursive
-
Making check in native
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/src/native'
-
building all-local-
Files registered in build repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: native-ref.h libref-lib-native.la
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/src/native'
-
Making check in lib
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/src/lib'
-
building all-local-
Files registered in build repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: libref.rtree ref.str libref-lib.la
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/src/lib'
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/src'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/src'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/src'
-
Making check in tests
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/tests'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
building check-am
-
make ref-test
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/tests'
-
building ref-test.c-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/strc -I ../../str-ref/src/lib -I ../../str-ref/src/lib --main ref-test --verbose 0 -i ref-test.str -o ref-test.c -c
-
building ref-test.o-
gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -g -O2 -I../../str-ref/src/native -I../../str-ref/src/lib -g -O0 -c ref-test.c
-
building ref-test
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -g -O2 -I../../str-ref/src/native -I../../str-ref/src/lib -g -O0 -o ref-test ref-test.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L../../str-ref/src/lib -L../../str-ref/src/native -lref-lib -lref-lib-native
-
mkdir .libs
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\" -g -O2 -I../../str-ref/src/native -I../../str-ref/src/lib -g -O0 -o .libs/ref-test ref-test.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -L/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/src/lib -L/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/src/native /tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/src/lib/.libs/libref-lib.so /tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/src/native/.libs/libref-lib-native.so -Wl,--rpath -Wl,/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre1905/lib
-
creating ref-test
-
rm ref-test.c
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/tests'
-
make check-TESTS
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/tests'
-
building check-TESTS
-
test suite: lib-ref Test Suite
-
Create
-
Create & Destroy
-
Bind
-
Dereference
-
Create & Bind
-
Dereference & Destroy
-
Is-Ref
-
Apply-on-ref
-
successes: 8
-
failures: 0
-
(8,0)
-
PASS: ref-test
-
==================
-
All 1 tests passed
-
==================
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/tests'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref/tests'
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref'
-
make[1]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/str-ref'
-
Making check in esdf
-
make[1]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf'
-
building check-recursive
-
Making check in src
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src'
-
building check-recursive
-
Making check in parse-esdf
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src/parse-esdf'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: parse-esdf
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src/parse-esdf'
-
Making check in sdf-strip
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src/sdf-strip'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: sdf-strip
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src/sdf-strip'
-
Making check in str-concrete
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src/str-concrete'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: str-concrete
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src/str-concrete'
-
Making check in pack-esdf
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src/pack-esdf'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: pack-esdf
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src/pack-esdf'
-
Making check in sdf-sorts-rename
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src/sdf-sorts-rename'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: rename
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src/sdf-sorts-rename'
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf/src'
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf'
-
make[1]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/esdf'
-
Making check in boxedsdf
-
make[1]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf'
-
building check-recursive
-
Making check in lib
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/lib'
-
building check-recursive
-
Making check in ppgen
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/lib/ppgen'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/lib/ppgen'
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/lib'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/lib'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/lib'
-
Making check in src
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src'
-
building check-recursive
-
Making check in syn
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: BoxedSdf2.tbl BoxedSdf2.def BoxedSdf2.rtree BoxedSdf2.sdf
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/syn'
-
Making check in boxed2pp-table
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxed2pp-table'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: boxed2pp-table
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxed2pp-table'
-
Making check in pp
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/pp'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: pp-boxedsdf
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: BoxedSdf2-pretty.pp.af BoxedSdf2-pretty.pp
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/pp'
-
Making check in parser
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/parser'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: parse-boxedsdf-module parse-boxedsdf-definition
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/parser'
-
Making check in boxedsdf-merge
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxedsdf-merge'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: boxedsdf-merge
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxedsdf-merge'
-
Making check in boxedsdf-update
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxedsdf-update'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: boxedsdf-update
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/boxedsdf-update'
-
Making check in desugar
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/desugar'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: boxed-desugar
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src/desugar'
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/src'
-
Making check in tests
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/tests'
-
building check-am
-
make check-TESTS
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/tests'
-
building check-TESTS
-
including ./simple.sdf
-
including ./inclusion.sdf
-
PASS: 2pp.test
-
PASS: merge.test
-
PASS: desugar.test
-
==================
-
All 3 tests passed
-
==================
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/tests'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf/tests'
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf'
-
make[1]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/boxedsdf'
-
Making check in sdf-detgen
-
make[1]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen'
-
building check-recursive
-
Making check in lib
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/lib'
-
building check-recursive
-
Making check in ppgen
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/lib/ppgen'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/lib/ppgen'
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/lib'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/lib'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/lib'
-
Making check in src
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src'
-
building check-recursive
-
Making check in syn
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: DetBoxedSdf.tbl DetBoxedSdf.def DetBoxedSdf.rtree DetBoxedSdf.sdf
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src/syn'
-
Making check in pp
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src/pp'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: DetBoxedSdf-pretty.pp.af DetBoxedSdf-pretty.pp
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src/pp'
-
Making check in lib
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src/lib'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src/lib'
-
Making check in detgen
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src/detgen'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: detgen
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src/detgen'
-
Making check in genfilters
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src/genfilters'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: genfilters
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src/genfilters'
-
Making check in xtc
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src/xtc'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: det-gen parse-detboxedsdf-module parse-detboxedsdf-definition pp-detboxedsdf gen-filters
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src/xtc'
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/src'
-
Making check in tests
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/tests'
-
building check-am
-
make check-TESTS
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/tests'
-
building gen.sdf.run
-
ln -s -f ./check.sh gen.sdf.run
-
ln -s -f ./check.sh f.str.run
-
ln -s -f ./check.sh d.str.run
-
building check-TESTS
-
PASS: gen.sdf.run
-
PASS: f.str.run
-
PASS: d.str.run
-
==================
-
All 3 tests passed
-
==================
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/tests'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen/tests'
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen'
-
make[1]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-detgen'
-
Making check in sdf-attribute
-
make[1]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute'
-
building check-recursive
-
Making check in lib
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/lib'
-
building check-recursive
-
Making check in stratego-front
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/lib/stratego-front'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/lib/stratego-front'
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/lib'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/lib'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/lib'
-
Making check in src
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src'
-
building check-recursive
-
Making check in lib
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/lib'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attr-lib.rtree attr-tools.rtree
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/lib'
-
Making check in syn
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: AttrSdf.tbl AttrSdf.def AttrSdf.str AttrSdf.rtree AttrSdf.sdf
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/syn'
-
Making check in pp
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/pp'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: pp-attrsdf
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: AttrSdf.pp.af AttrSdf.pp
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/pp'
-
Making check in parser
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/parser'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: parse-attrsdf-module parse-attrsdf-definition
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/parser'
-
Making check in embedded
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/embedded'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: embed-attributes deembed-attributes
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/embedded'
-
Making check in disamb
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/disamb'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: disamb-debug attr-disamb clean-attrs attr-disamb-ast
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/disamb'
-
Making check in xtc
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/xtc'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attrsdf2table attrsdf2sdf-detgen
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/xtc'
-
Making check in implode
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/implode'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attr-implode
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/implode'
-
Making check in desugar
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/desugar'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attrs-desugar-decl attrs-desugar-ns attrs-desugar-magic attrs-desugar-meta attrs-desugar-lr_in attrs-desugar-dynattr sdf-labelize
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/desugar'
-
Making check in check
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/check'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attr-defs
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/check'
-
Making check in clean
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/clean'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attr2detgen clean-tbl-attributes clean-bad-parse-rules reject-useless-prods
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/clean'
-
Making check in attrc
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/attrc'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attrc
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/attrc'
-
Making check in debug
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/debug'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: attr-2-dot
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/debug'
-
Making check in tree2dot
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/tree2dot'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: tree2dot
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/tree2dot'
-
Making check in viewer
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/viewer'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src/viewer'
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/src'
-
Making check in tests
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests'
-
building check-recursive
-
Making check in propagator
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/propagator'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
building check-am
-
make check-TESTS
-
make[4]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/propagator'
-
building bu_ok_0-
for i in bu_ok_0 bu_ok_1 bu_ok_2 bu_ok_3 bu_ok_4 bu_ok_5 bu_ok_6 bu_ko_7 bu_ok_8 bu_ok_9 td_ok_0 td_ok_1 td_ok_2 td_ok_3 td_ok_4 td_ko_5 td_ko_6 lr_ok_0 lr_ok_1 lr_ok_2 lr_ok_3 lr_ok_4 lr_ok_5 lr_ok_6 lr_ok_7 lr_ok_8 lr_ok_9 lr_ok_10 lr_ok_11 lr_ok_12 lr_ok_13 lr_ok_14 lr_ko_15 noname_ok_0 noname_ok_1 noname_ko_2 noname_ko_3 noname_ko_4 noname_ok_5 noname_ko_6 properties_ok_0 properties_ok_1 properties_ko_2 sdf_ok_0 messy_ok_01; do ln -s -f check.sh $i; done;
-
building check-TESTS
-
PASS: bu_ok_0
-
PASS: bu_ok_1
-
PASS: bu_ok_2
-
PASS: bu_ok_3
-
PASS: bu_ok_4
-
PASS: bu_ok_5
-
PASS: bu_ok_6
-
XFAIL: bu_ko_7
-
PASS: bu_ok_8
-
PASS: bu_ok_9
-
PASS: td_ok_0
-
PASS: td_ok_1
-
PASS: td_ok_2
-
PASS: td_ok_3
-
PASS: td_ok_4
-
XFAIL: td_ko_5
-
XFAIL: td_ko_6
-
PASS: lr_ok_0
-
PASS: lr_ok_1
-
PASS: lr_ok_2
-
PASS: lr_ok_3
-
PASS: lr_ok_4
-
PASS: lr_ok_5
-
PASS: lr_ok_6
-
PASS: lr_ok_7
-
PASS: lr_ok_8
-
PASS: lr_ok_9
-
PASS: lr_ok_10
-
PASS: lr_ok_11
-
PASS: lr_ok_12
-
PASS: lr_ok_13
-
PASS: lr_ok_14
-
XFAIL: lr_ko_15
-
PASS: noname_ok_0
-
PASS: noname_ok_1
-
XFAIL: noname_ko_2
-
XFAIL: noname_ko_3
-
XFAIL: noname_ko_4
-
PASS: noname_ok_5
-
XFAIL: noname_ko_6
-
PASS: properties_ok_0
-
PASS: properties_ok_1
-
XFAIL: properties_ko_2
-
PASS: sdf_ok_0
-
PASS: messy_ok_01
-
======================================================
-
All 45 tests behaved as expected (9 expected failures)
-
======================================================
-
make[4]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/propagator'
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/propagator'
-
Making check in cycle
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/cycle'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
building check-am
-
make check-TESTS
-
make[4]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/cycle'
-
building no-cycle-00-
for i in no-cycle-00 no-cycle-01 no-cycle-02 no-cycle-03 no-cycle-04 no-cycle-05 no-cycle-06 conservative-00 conservative-01 conservative-02 conservative-03 attribute-00 attribute-01 attribute-02 productions-00 productions-01 productions-02 productions-03 productions-04 productions-05; do ln -s -f check.sh $i; done;
-
building check-TESTS
-
PASS: no-cycle-00
-
PASS: no-cycle-01
-
PASS: no-cycle-02
-
PASS: no-cycle-03
-
PASS: no-cycle-04
-
PASS: no-cycle-05
-
PASS: no-cycle-06
-
XFAIL: conservative-00
-
XFAIL: conservative-01
-
XFAIL: conservative-02
-
XFAIL: conservative-03
-
XFAIL: attribute-00
-
XFAIL: attribute-01
-
XFAIL: attribute-02
-
XFAIL: productions-00
-
XFAIL: productions-01
-
XFAIL: productions-02
-
XFAIL: productions-03
-
XFAIL: productions-04
-
XFAIL: productions-05
-
=======================================================
-
All 20 tests behaved as expected (13 expected failures)
-
=======================================================
-
make[4]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/cycle'
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/cycle'
-
Making check in checker
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/checker'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
building check-am
-
make check-TESTS
-
make[4]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/checker'
-
building attrname-ok-01-
for i in attrname-ok-01 attrname-ok-02 attrname-bad-01 attrname-bad-02 cycle-01 cycle-02 cycle-03 cycle-04 cycle-05; do ln -s -f test $i; done;
-
building check-TESTS
-
PASS: attrname-ok-01
-
PASS: attrname-ok-02
-
XFAIL: attrname-bad-01
-
XFAIL: attrname-bad-02
-
XFAIL: cycle-01
-
XFAIL: cycle-02
-
XFAIL: cycle-03
-
XFAIL: cycle-04
-
XFAIL: cycle-05
-
=====================================================
-
All 9 tests behaved as expected (7 expected failures)
-
=====================================================
-
make[4]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/checker'
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/checker'
-
Making check in desugar
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/desugar'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
building check-am
-
make check-TESTS
-
make[4]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/desugar'
-
building desugar-ok-01-
for i in desugar-ok-01 desugar-ok-02 desugar-ok-03 desugar-ok-04 desugar-ok-05 desugar-ok-06 desugar-ok-td desugar-ok-bu desugar-ok-lr desugar-ok-multiple-ns desugar-local-01 desugar-local-02 desugar-local-03 desugar-local-04 desugar-meta-01 desugar-meta-02 desugar-decl-01 desugar-decl-02 desugar-decl-03 desugar-decl-04 desugar-decl-05 desugar-decl-06 desugar-decl-07 desugar-decl-08 desugar-decl-09 desugar-decl-10; do ln -s -f test $i; done;
-
building check-TESTS
-
PASS: desugar-ok-01
-
PASS: desugar-ok-02
-
PASS: desugar-ok-03
-
PASS: desugar-ok-04
-
PASS: desugar-ok-05
-
PASS: desugar-ok-06
-
PASS: desugar-ok-td
-
PASS: desugar-ok-bu
-
PASS: desugar-ok-lr
-
PASS: desugar-ok-multiple-ns
-
PASS: desugar-local-01
-
PASS: desugar-local-02
-
XFAIL: desugar-local-03
-
PASS: desugar-local-04
-
PASS: desugar-meta-01
-
PASS: desugar-meta-02
-
PASS: desugar-decl-01
-
PASS: desugar-decl-02
-
PASS: desugar-decl-03
-
XFAIL: desugar-decl-04
-
PASS: desugar-decl-05
-
PASS: desugar-decl-06
-
XFAIL: desugar-decl-07
-
PASS: desugar-decl-08
-
XFAIL: desugar-decl-09
-
XFAIL: desugar-decl-10
-
======================================================
-
All 26 tests behaved as expected (5 expected failures)
-
======================================================
-
make[4]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/desugar'
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/desugar'
-
Making check in minicxx
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
building check-am
-
make eval-TemplateStructs eval-TemplateStructs-ast
-
make[4]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx'
-
building TemplateStructs.edef.af
-
XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \� -of ast \� -s AttrSdf \� -I ../../../sdf-attribute/src/syn \� -i TemplateStructs.esdf \� | /...-strategoxt-0.17M3pre17690-0ryq08iv/libexec/sdf-cons \� | XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../boxedsdf/src/desugar/boxed-desugar -o TemplateStructs.edef.af
-
including ./TemplateStructs.esdf
-
building TemplateStructs.edef-
XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC \� ../../../sdf-attribute/src/pp/pp-attrsdf -i TemplateStructs.edef.af -o TemplateStructs.edef
-
building TemplateStructs.tbl
-
XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC \� ../../../sdf-attribute/src/xtc/attrsdf2table -m TemplateStructs -i TemplateStructs.edef -o TemplateStructs.tbl \� --imp TSLib --Werror
-
parse-attrsdf-definition user 2.100000000000000e-01 system 2.000000000000000e-02
-
attrs-desugar-meta user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-ns user 0.000000000000000e+00 system 0.000000000000000e+00
-
attrs-desugar-lr_in user 0.000000000000000e+00 system 2.000000000000000e-02
-
attrs-desugar-decl user 0.000000000000000e+00 system 1.000000000000000e-02
-
attrs-desugar-dynattr user 0.000000000000000e+00 system 0.000000000000000e+00
-
embed-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
-
sdf-strip user 1.000000000000000e-02 system 0.000000000000000e+00
-
pp-attrsdf user 1.200000000000000e-01 system 4.000000000000000e-02
-
SdfChecker:error: Main module not defined
-
--- Main
-
sdf2table user 8.100000000000001e-01 system 8.000000000000000e-02
-
deembed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
-
sdf-labelize user 1.000000000000000e-02 system 1.000000000000000e-02
-
clean-bad-parse-rules user 0.000000000000000e+00 system 0.000000000000000e+00
-
reject-useless-prods user 0.000000000000000e+00 system 1.000000000000000e-02
-
attr-defs user 6.000000000000000e-02 system 1.000000000000000e-02
-
attrc user 2.000000000000000e-02 system 1.000000000000000e-02
-
pp-stratego user 1.600000000000000e-01 system 2.000000000000000e-02
-
clean-tbl-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
-
total: user 1.420000000000000e+00 system 2.500000000000000e-01
-
building eval-TemplateStructs.c-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-TemplateStructs -i eval-TemplateStructs.str -o eval-TemplateStructs.c -c
-
building eval-TemplateStructs.o-
gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -c eval-TemplateStructs.c
-
building eval-TemplateStructs
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -o eval-TemplateStructs eval-TemplateStructs.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la
-
mkdir .libs
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-TemplateStructs eval-TemplateStructs.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-xtc.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre1905/lib
-
creating eval-TemplateStructs
-
building TemplateStructs-ast.esdf-
sed 's/TemplateStructs/TemplateStructs-ast/' TemplateStructs.esdf > TemplateStructs-ast.esdf
-
building TemplateStructs-ast.edef.af
-
XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \� -of ast \� -s AttrSdf \� -I ../../../sdf-attribute/src/syn \� -i TemplateStructs-ast.esdf \� | /...-strategoxt-0.17M3pre17690-0ryq08iv/libexec/sdf-cons \� | XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../boxedsdf/src/desugar/boxed-desugar -o TemplateStructs-ast.edef.af
-
including ./TemplateStructs-ast.esdf
-
building TemplateStructs-ast.edef-
XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC \� ../../../sdf-attribute/src/pp/pp-attrsdf -i TemplateStructs-ast.edef.af -o TemplateStructs-ast.edef
-
building TemplateStructs-ast.tbl
-
XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC \� ../../../sdf-attribute/src/xtc/attrsdf2table -m TemplateStructs-ast -i TemplateStructs-ast.edef -o TemplateStructs-ast.tbl \� --ast --imp TSLib --Werror
-
parse-attrsdf-definition user 2.000000000000000e-01 system 3.000000000000000e-02
-
attrs-desugar-meta user 0.000000000000000e+00 system 1.000000000000000e-02
-
attrs-desugar-ns user 0.000000000000000e+00 system 0.000000000000000e+00
-
attrs-desugar-lr_in user 1.000000000000000e-02 system 1.000000000000000e-02
-
attrs-desugar-decl user 0.000000000000000e+00 system 0.000000000000000e+00
-
attrs-desugar-dynattr user 0.000000000000000e+00 system 1.000000000000000e-02
-
embed-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
-
sdf-strip user 0.000000000000000e+00 system 0.000000000000000e+00
-
pp-attrsdf user 1.300000000000000e-01 system 3.000000000000000e-02
-
SdfChecker:error: Main module not defined
-
--- Main
-
sdf2table user 8.300000000000000e-01 system 8.000000000000000e-02
-
deembed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00
-
sdf-labelize user 1.000000000000000e-02 system 1.000000000000000e-02
-
clean-bad-parse-rules user 0.000000000000000e+00 system 0.000000000000000e+00
-
reject-useless-prods user 1.000000000000000e-02 system 1.000000000000000e-02
-
attr-defs user 6.000000000000000e-02 system 1.000000000000000e-02
-
attrc user 1.000000000000000e-02 system 1.000000000000000e-02
-
pp-stratego user 1.500000000000000e-01 system 1.000000000000000e-02
-
clean-tbl-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
-
total: user 1.410000000000000e+00 system 2.400000000000000e-01
-
building eval-TemplateStructs-ast.c-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-TemplateStructs-ast -i eval-TemplateStructs-ast.str -o eval-TemplateStructs-ast.c -c
-
building eval-TemplateStructs-ast.o-
gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -c eval-TemplateStructs-ast.c
-
building eval-TemplateStructs-ast
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -o eval-TemplateStructs-ast eval-TemplateStructs-ast.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-TemplateStructs-ast eval-TemplateStructs-ast.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-xtc.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre1905/lib
-
creating eval-TemplateStructs-ast
-
rm TemplateStructs.edef.af TemplateStructs-ast.edef.af
-
make[4]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx'
-
make check-TESTS
-
make[4]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx'
-
building 1
-
ln -s -f ./check.sh 1
-
ln -s -f ./check.sh 2
-
ln -s -f ./check.sh 3
-
ln -s -f ./check.sh 4
-
ln -s -f ./check.sh 5
-
ln -s -f ./check.sh 6
-
ln -s -f ./check.sh 7
-
ln -s -f ./check.sh 8
-
ln -s -f ./check.sh 9
-
ln -s -f ./check.sh 10
-
ln -s -f ./check.sh 11
-
ln -s -f ./check.sh amb_1
-
ln -s -f ./check.sh amb_2
-
ln -s -f ./check.sh 1-ast
-
ln -s -f ./check.sh 2-ast
-
ln -s -f ./check.sh 3-ast
-
ln -s -f ./check.sh 4-ast
-
ln -s -f ./check.sh 5-ast
-
ln -s -f ./check.sh 6-ast
-
ln -s -f ./check.sh 7-ast
-
ln -s -f ./check.sh 8-ast
-
ln -s -f ./check.sh 9-ast
-
ln -s -f ./check.sh 10-ast
-
ln -s -f ./check.sh 11-ast
-
ln -s -f ./check.sh amb_1-ast
-
ln -s -f ./check.sh amb_2-ast
-
building check-TESTS
-
PASS: 1
-
PASS: 2
-
PASS: 3
-
PASS: 4
-
PASS: 5
-
PASS: 6
-
PASS: 7
-
PASS: 8
-
PASS: 9
-
PASS: 10
-
XFAIL: 11
-
PASS: amb_1
-
PASS: amb_2
-
PASS: 1-ast
-
PASS: 2-ast
-
PASS: 3-ast
-
PASS: 4-ast
-
PASS: 5-ast
-
PASS: 6-ast
-
PASS: 7-ast
-
PASS: 8-ast
-
PASS: 9-ast
-
PASS: 10-ast
-
XFAIL: 11-ast
-
PASS: amb_1-ast
-
PASS: amb_2-ast
-
======================================================
-
All 26 tests behaved as expected (2 expected failures)
-
======================================================
-
make[4]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx'
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/minicxx'
-
Making check in exec
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
building check-am
-
make eval-lr-amb eval-lr-prop eval-bad-alias eval-assertions eval-many-instantiation-traversal
-
make[4]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec'
-
building lr-amb.edef.af
-
XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \� -of ast \� -s AttrSdf \� -I ../../../sdf-attribute/src/syn \� -i lr-amb.esdf \� | /...-strategoxt-0.17M3pre17690-0ryq08iv/libexec/sdf-cons \� | XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../boxedsdf/src/desugar/boxed-desugar -o lr-amb.edef.af
-
including ./lr-amb.esdf
-
building lr-amb.edef-
XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../sdf-attribute/src/pp/pp-attrsdf -i lr-amb.edef.af -o lr-amb.edef
-
building lr-amb.tbl
-
XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../sdf-attribute/src/xtc/attrsdf2table -m lr-amb -i lr-amb.edef -o lr-amb.tbl
-
parse-attrsdf-definition user 7.000000000000001e-02 system 2.000000000000000e-02
-
attrs-desugar-meta user 0.000000000000000e+00 system 0.000000000000000e+00
-
attrs-desugar-ns user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-lr_in user 0.000000000000000e+00 system 0.000000000000000e+00
-
attrs-desugar-decl user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-dynattr user 0.000000000000000e+00 system 1.000000000000000e-02
-
embed-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
-
sdf-strip user 0.000000000000000e+00 system 1.000000000000000e-02
-
pp-attrsdf user 3.000000000000000e-02 system 3.000000000000000e-02
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:warning: deprecated declaration of complex symbol
-
--- LAYOUT [file: /tmp/nix-13111-0/StrategoXT60vxLx line: 5 col: 68]
-
sdf2table user 1.200000000000000e-01 system 3.000000000000000e-02
-
deembed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00
-
sdf-labelize user 1.000000000000000e-02 system 1.000000000000000e-02
-
clean-bad-parse-rules user 0.000000000000000e+00 system 0.000000000000000e+00
-
reject-useless-prods user 0.000000000000000e+00 system 1.000000000000000e-02
-
attr-defs user 0.000000000000000e+00 system 2.000000000000000e-02
-
attrc user 0.000000000000000e+00 system 1.000000000000000e-02
-
pp-stratego user 7.000000000000001e-02 system 2.000000000000000e-02
-
clean-tbl-attributes user 0.000000000000000e+00 system 0.000000000000000e+00
-
total: user 3.200000000000000e-01 system 1.800000000000000e-01
-
building eval-lr-amb.c-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-lr-amb -i eval-lr-amb.str -o eval-lr-amb.c -c
-
building eval-lr-amb.o-
gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -c eval-lr-amb.c
-
building eval-lr-amb
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -o eval-lr-amb eval-lr-amb.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la
-
mkdir .libs
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-lr-amb eval-lr-amb.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-xtc.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre1905/lib
-
creating eval-lr-amb
-
building lr-prop.edef.af
-
XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \� -of ast \� -s AttrSdf \� -I ../../../sdf-attribute/src/syn \� -i lr-prop.esdf \� | /...-strategoxt-0.17M3pre17690-0ryq08iv/libexec/sdf-cons \� | XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../boxedsdf/src/desugar/boxed-desugar -o lr-prop.edef.af
-
including ./lr-prop.esdf
-
building lr-prop.edef-
XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../sdf-attribute/src/pp/pp-attrsdf -i lr-prop.edef.af -o lr-prop.edef
-
building lr-prop.tbl
-
XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../sdf-attribute/src/xtc/attrsdf2table -m lr-prop -i lr-prop.edef -o lr-prop.tbl
-
parse-attrsdf-definition user 6.000000000000000e-02 system 3.000000000000000e-02
-
attrs-desugar-meta user 0.000000000000000e+00 system 0.000000000000000e+00
-
attrs-desugar-ns user 0.000000000000000e+00 system 1.000000000000000e-02
-
attrs-desugar-lr_in user 0.000000000000000e+00 system 0.000000000000000e+00
-
attrs-desugar-decl user 0.000000000000000e+00 system 1.000000000000000e-02
-
attrs-desugar-dynattr user 0.000000000000000e+00 system 1.000000000000000e-02
-
embed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
-
sdf-strip user 0.000000000000000e+00 system 0.000000000000000e+00
-
pp-attrsdf user 3.000000000000000e-02 system 2.000000000000000e-02
-
SdfChecker:error: Main module not defined
-
--- Main
-
sdf2table user 9.000000000000000e-02 system 3.000000000000000e-02
-
deembed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
-
sdf-labelize user 0.000000000000000e+00 system 1.000000000000000e-02
-
clean-bad-parse-rules user 0.000000000000000e+00 system 0.000000000000000e+00
-
reject-useless-prods user 0.000000000000000e+00 system 1.000000000000000e-02
-
attr-defs user 0.000000000000000e+00 system 1.000000000000000e-02
-
attrc user 1.000000000000000e-02 system 1.000000000000000e-02
-
pp-stratego user 4.000000000000000e-02 system 3.000000000000000e-02
-
clean-tbl-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
-
total: user 2.500000000000000e-01 system 1.900000000000000e-01
-
building eval-lr-prop.c-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-lr-prop -i eval-lr-prop.str -o eval-lr-prop.c -c
-
building eval-lr-prop.o-
gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -c eval-lr-prop.c
-
building eval-lr-prop
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -o eval-lr-prop eval-lr-prop.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-lr-prop eval-lr-prop.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-xtc.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre1905/lib
-
creating eval-lr-prop
-
building bad-alias.edef.af
-
XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \� -of ast \� -s AttrSdf \� -I ../../../sdf-attribute/src/syn \� -i bad-alias.esdf \� | /...-strategoxt-0.17M3pre17690-0ryq08iv/libexec/sdf-cons \� | XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../boxedsdf/src/desugar/boxed-desugar -o bad-alias.edef.af
-
including ./bad-alias.esdf
-
building bad-alias.edef-
XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../sdf-attribute/src/pp/pp-attrsdf -i bad-alias.edef.af -o bad-alias.edef
-
building bad-alias.tbl
-
XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../sdf-attribute/src/xtc/attrsdf2table -m bad-alias -i bad-alias.edef -o bad-alias.tbl
-
parse-attrsdf-definition user 5.000000000000000e-02 system 4.000000000000000e-02
-
attrs-desugar-meta user 0.000000000000000e+00 system 0.000000000000000e+00
-
attrs-desugar-ns user 0.000000000000000e+00 system 1.000000000000000e-02
-
attrs-desugar-lr_in user 0.000000000000000e+00 system 0.000000000000000e+00
-
attrs-desugar-decl user 0.000000000000000e+00 system 1.000000000000000e-02
-
attrs-desugar-dynattr user 0.000000000000000e+00 system 0.000000000000000e+00
-
embed-attributes user 0.000000000000000e+00 system 1.000000000000000e-02
-
sdf-strip user 1.000000000000000e-02 system 0.000000000000000e+00
-
pp-attrsdf user 2.000000000000000e-02 system 2.000000000000000e-02
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:warning: deprecated declaration of complex symbol
-
--- LAYOUT [file: /tmp/nix-13111-0/StrategoXTi4lSJD line: 5 col: 25]
-
sdf2table user 9.000000000000000e-02 system 3.000000000000000e-02
-
deembed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00
-
sdf-labelize user 0.000000000000000e+00 system 1.000000000000000e-02
-
clean-bad-parse-rules user 0.000000000000000e+00 system 0.000000000000000e+00
-
reject-useless-prods user 0.000000000000000e+00 system 1.000000000000000e-02
-
[ lt-attr-defs | warning ] Useless code (can be generated) written for "root.bu_val" on the production:
-
B -> Stm
-
[ lt-attr-defs | warning ] Useless code (can be generated) written for "root.bu_val" on the production:
-
A -> Stm
-
attr-defs user 1.000000000000000e-02 system 1.000000000000000e-02
-
attrc user 0.000000000000000e+00 system 1.000000000000000e-02
-
pp-stratego user 4.000000000000000e-02 system 2.000000000000000e-02
-
clean-tbl-attributes user 0.000000000000000e+00 system 0.000000000000000e+00
-
total: user 2.200000000000000e-01 system 1.800000000000000e-01
-
building eval-bad-alias.c-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-bad-alias -i eval-bad-alias.str -o eval-bad-alias.c -c
-
building eval-bad-alias.o-
gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -c eval-bad-alias.c
-
building eval-bad-alias
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -o eval-bad-alias eval-bad-alias.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-bad-alias eval-bad-alias.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-xtc.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre1905/lib
-
creating eval-bad-alias
-
building assertions.edef.af
-
XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \� -of ast \� -s AttrSdf \� -I ../../../sdf-attribute/src/syn \� -i assertions.esdf \� | /...-strategoxt-0.17M3pre17690-0ryq08iv/libexec/sdf-cons \� | XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../boxedsdf/src/desugar/boxed-desugar -o assertions.edef.af
-
including ./assertions.esdf
-
building assertions.edef-
XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../sdf-attribute/src/pp/pp-attrsdf -i assertions.edef.af -o assertions.edef
-
building assertions.tbl
-
XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../sdf-attribute/src/xtc/attrsdf2table -m assertions -i assertions.edef -o assertions.tbl
-
parse-attrsdf-definition user 4.000000000000000e-02 system 4.000000000000000e-02
-
attrs-desugar-meta user 0.000000000000000e+00 system 0.000000000000000e+00
-
attrs-desugar-ns user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-lr_in user 0.000000000000000e+00 system 0.000000000000000e+00
-
attrs-desugar-decl user 1.000000000000000e-02 system 1.000000000000000e-02
-
attrs-desugar-dynattr user 0.000000000000000e+00 system 0.000000000000000e+00
-
embed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
-
sdf-strip user 0.000000000000000e+00 system 1.000000000000000e-02
-
pp-attrsdf user 2.000000000000000e-02 system 4.000000000000000e-02
-
SdfChecker:error: Main module not defined
-
--- Main
-
sdf2table user 8.000000000000000e-02 system 4.000000000000000e-02
-
deembed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
-
sdf-labelize user 0.000000000000000e+00 system 1.000000000000000e-02
-
clean-bad-parse-rules user 0.000000000000000e+00 system 0.000000000000000e+00
-
reject-useless-prods user 1.000000000000000e-02 system 0.000000000000000e+00
-
attr-defs user 0.000000000000000e+00 system 1.000000000000000e-02
-
attrc user 1.000000000000000e-02 system 1.000000000000000e-02
-
pp-stratego user 5.000000000000000e-02 system 1.000000000000000e-02
-
clean-tbl-attributes user 0.000000000000000e+00 system 0.000000000000000e+00
-
total: user 2.500000000000000e-01 system 1.800000000000000e-01
-
building eval-assertions.c-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-assertions -i eval-assertions.str -o eval-assertions.c -c
-
building eval-assertions.o-
gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -c eval-assertions.c
-
building eval-assertions
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -o eval-assertions eval-assertions.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-assertions eval-assertions.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-xtc.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre1905/lib
-
creating eval-assertions
-
building many-instantiation-traversal.edef.af
-
XTC_REPOSITORY=/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC ../../../esdf/src/pack-esdf/pack-esdf \� -of ast \� -s AttrSdf \� -I ../../../sdf-attribute/src/syn \� -i many-instantiation-traversal.esdf \� | /...-strategoxt-0.17M3pre17690-0ryq08iv/libexec/sdf-cons \� | XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../boxedsdf/src/desugar/boxed-desugar -o many-instantiation-traversal.edef.af
-
including ./many-instantiation-traversal.esdf
-
building many-instantiation-traversal.edef-
XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../sdf-attribute/src/pp/pp-attrsdf -i many-instantiation-traversal.edef.af -o many-instantiation-traversal.edef
-
building many-instantiation-traversal.tbl
-
XTC_REPOSITORY='/tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC' \� ../../../sdf-attribute/src/xtc/attrsdf2table -m many-instantiation-traversal -i many-instantiation-traversal.edef -o many-instantiation-traversal.tbl
-
parse-attrsdf-definition user 9.000000000000000e-02 system 3.000000000000000e-02
-
attrs-desugar-meta user 0.000000000000000e+00 system 1.000000000000000e-02
-
attrs-desugar-ns user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-lr_in user 0.000000000000000e+00 system 0.000000000000000e+00
-
attrs-desugar-decl user 0.000000000000000e+00 system 1.000000000000000e-02
-
attrs-desugar-dynattr user 0.000000000000000e+00 system 1.000000000000000e-02
-
embed-attributes user 0.000000000000000e+00 system 0.000000000000000e+00
-
sdf-strip user 1.000000000000000e-02 system 0.000000000000000e+00
-
pp-attrsdf user 3.000000000000000e-02 system 3.000000000000000e-02
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:warning: undeclared sort
-
--- IDENTIFIER [file: /tmp/nix-13111-0/StrategoXTdfQE7I line: 17 col: 4]
-
sdf2table user 1.500000000000000e-01 system 5.000000000000000e-02
-
deembed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
-
sdf-labelize user 0.000000000000000e+00 system 0.000000000000000e+00
-
clean-bad-parse-rules user 1.000000000000000e-02 system 0.000000000000000e+00
-
reject-useless-prods user 0.000000000000000e+00 system 0.000000000000000e+00
-
attr-defs user 2.000000000000000e-02 system 1.000000000000000e-02
-
attrc user 1.000000000000000e-02 system 1.000000000000000e-02
-
pp-stratego user 6.000000000000000e-02 system 2.000000000000000e-02
-
clean-tbl-attributes user 0.000000000000000e+00 system 0.000000000000000e+00
-
total: user 4.000000000000000e-01 system 1.800000000000000e-01
-
building eval-many-instantiation-traversal.c-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/strc -I . -I ../../../str-lazy/src/lib -I ../../../sdf-attribute/src/syn --verbose 0 -O 2 -m eval-many-instantiation-traversal -i eval-many-instantiation-traversal.str -o eval-many-instantiation-traversal.c -c
-
building eval-many-instantiation-traversal.o-
gcc -DPACKAGE_NAME=\"transformers-generic-tools\" -DPACKAGE_TARNAME=\"transformers-generic-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-generic-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-generic-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-generic-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I. -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17M3pre17690-0ryq08iv/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -c eval-many-instantiation-traversal.c
-
building eval-many-instantiation-traversal
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\"" -O1 -o eval-many-instantiation-traversal eval-many-instantiation-traversal.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm ../../../str-lazy/src/lib/liblazy-lib.la ../../../str-lazy/src/native/liblazy-lib-native.la
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-transformers-generic-tools-0.5M2pre1905/share/transformers-generic-tools/XTC\" -O1 -o .libs/eval-many-instantiation-traversal eval-many-instantiation-traversal.o -L/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-xtc.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-lib-native.so /...-strategoxt-0.17M3pre17690-0ryq08iv/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so ../../../str-lazy/src/lib/.libs/liblazy-lib.so ../../../str-lazy/src/native/.libs/liblazy-lib-native.so -Wl,--rpath -Wl,/...-strategoxt-0.17M3pre17690-0ryq08iv/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre1905/lib
-
creating eval-many-instantiation-traversal
-
rm eval-lr-prop.c eval-assertions.c many-instantiation-traversal.edef bad-alias.edef bad-alias.edef.af many-instantiation-traversal.edef.af lr-amb.edef eval-many-instantiation-traversal.c lr-amb.edef.af lr-prop.edef.af assertions.edef eval-bad-alias.c eval-lr-amb.c lr-prop.edef assertions.edef.af
-
make[4]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec'
-
make check-TESTS
-
make[4]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec'
-
building eval-lr-amb.1
-
ln -s -f ./check.sh eval-lr-amb.1
-
ln -s -f ./check.sh eval-lr-amb.2
-
ln -s -f ./check.sh eval-lr-prop.1
-
ln -s -f ./check.sh eval-lr-prop.2
-
ln -s -f ./check.sh eval-bad-alias.1
-
ln -s -f ./check.sh eval-assertions.1
-
ln -s -f ./check.sh eval-assertions.2
-
ln -s -f ./check.sh eval-assertions.3
-
ln -s -f ./check.sh eval-assertions.4
-
ln -s -f ./check.sh eval-assertions.5
-
ln -s -f ./check.sh eval-many-instantiation-traversal.1
-
ln -s -f ./check.sh eval-many-instantiation-traversal.2
-
ln -s -f ./check.sh eval-many-instantiation-traversal.3
-
ln -s -f ./check.sh eval-many-instantiation-traversal.4
-
ln -s -f ./check.sh eval-many-instantiation-traversal.5
-
building check-TESTS
-
PASS: eval-lr-amb.1
-
PASS: eval-lr-amb.2
-
PASS: eval-lr-prop.1
-
PASS: eval-lr-prop.2
-
XFAIL: eval-bad-alias.1
-
PASS: eval-assertions.1
-
XFAIL: eval-assertions.2
-
XFAIL: eval-assertions.3
-
XFAIL: eval-assertions.4
-
XFAIL: eval-assertions.5
-
PASS: eval-many-instantiation-traversal.1
-
XFAIL: eval-many-instantiation-traversal.2
-
PASS: eval-many-instantiation-traversal.3
-
PASS: eval-many-instantiation-traversal.4
-
PASS: eval-many-instantiation-traversal.5
-
======================================================
-
All 15 tests behaved as expected (6 expected failures)
-
======================================================
-
make[4]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec'
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests/exec'
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute/tests'
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute'
-
make[1]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-attribute'
-
Making check in sdf-option
-
make[1]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option'
-
building check-recursive
-
Making check in src
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option/src'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: sdf-option
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option/src'
-
Making check in tests
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option/tests'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
building check-am
-
make check-TESTS
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option/tests'
-
building basic
-
building opt
-
building check-TESTS
-
make[4]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option/tests'
-
building basic.sdf.res.af-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/parse-sdf-definition -i "basic.sdf.res" | \� /...-strategoxt-0.17M3pre17690-0ryq08iv/libexec/sdf-ensugar -o "basic.sdf.res.af"
-
make[4]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option/tests'
-
including ./basic.sdf
-
PASS: basic
-
make[4]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option/tests'
-
building opt.sdf.res.af-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/parse-sdf-definition -i "opt.sdf.res" | \� /...-strategoxt-0.17M3pre17690-0ryq08iv/libexec/sdf-ensugar -o "opt.sdf.res.af"
-
make[4]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option/tests'
-
including ./opt.sdf
-
PASS: opt
-
==================
-
All 2 tests passed
-
==================
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option/tests'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option/tests'
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option'
-
make[1]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-option'
-
Making check in sdf-astgen
-
make[1]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen'
-
building check-recursive
-
Making check in src
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src'
-
building check-recursive
-
Making check in syn
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: Stratego-Stratego-AstSdf2.tbl Stratego-AstSdf2.tbl AstSdf2.tbl Stratego-Stratego-AstSdf2.def Stratego-AstSdf2.def AstSdf2.def Stratego-Stratego-AstSdf2.sdf Stratego-AstSdf2.sdf AstSdf2.sdf
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src/syn'
-
Making check in sig
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src/sig'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: AstSdf2.rtree
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src/sig'
-
Making check in pp
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src/pp'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: pp-astsdf
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: AstSdf2-pretty.pp.af AstSdf2-pretty.pp
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src/pp'
-
Making check in parser
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src/parser'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: parse-astsdf-module parse-astsdf-definition
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src/parser'
-
Making check in sdf-astgen
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src/sdf-astgen'
-
building all-local
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC: sdf-astgen
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src/sdf-astgen'
-
make[3]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src'
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/src'
-
Making check in tests
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/tests'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen/tests'
-
make[2]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen'
-
make[1]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2/sdf-astgen'
-
make[1]: Entering directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2'
-
building all-local
-
/...-strategoxt-0.17M3pre17690-0ryq08iv/bin/xtc -r /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC import /...-strategoxt-0.17M3pre17690-0ryq08iv/share/strategoxt/XTC
-
Tools registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-13111-0/transformers-generic-tools-0.5M2/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-13111-0/transformers-generic-tools-0.5M2'