make flags: building all-recursive Making all in . make[1]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2' building all-local [ xtc | error ] repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC does not exist /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/prolog-tools/XTC /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front/XTC /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad/XTC /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC import /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/strategoxt-utils/XTC Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[1]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2' Making all in config make[1]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/config' make[1]: Nothing to be done for `all'. make[1]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/config' Making all in src make[1]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src' building all-recursive Making all in check_program make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/check_program' building program_checker /nix/store/wyzcd2gk22lzz0y98l594bswzzd3466c-swi-prolog-5.6.51/bin/pl --goal=main --stand_alone=true -o "program_checker" -c \ ./check_program.pl % graph_relations_tools.pl compiled 0.00 sec, 5,344 bytes % le_evaluator.pl compiled 0.00 sec, 28,312 bytes % program_checker.pl compiled 0.00 sec, 38,160 bytes % ./check_program.pl compiled 0.00 sec, 52,904 bytes building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: program_checker Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: constraints.pl prolog_header.pl make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/check_program' Making all in java-traverse make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/java-traverse' building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/java-traverse' Making all in java-locate make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/java-locate' building gen-java-restore-case.c /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/strc -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/sdf/strategoxt-utils -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/strategoxt-utils -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad/ -I ../../src/java-traverse -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/prolog-tools -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/sdf/prolog-tools -I . -I . -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/sdf/dryad -la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -Xlinker -R -Xlinker /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server --main io-gen-java-restore-case --verbose 0 -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/xtc -i gen-java-restore-case.str -o gen-java-restore-case.c -c building gen-java-restore-case.o gcc -DPACKAGE_NAME=\"lutin-package\" -DPACKAGE_TARNAME=\"lutin-package\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"lutin-package\ 0.2\" -DPACKAGE_BUGREPORT=\"Mikal.Ziane@lip6.fr\" -DPACKAGE=\"lutin-package\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -c gen-java-restore-case.c building gen-java-restore-case /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -o gen-java-restore-case gen-java-restore-case.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -R /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\" -g -O2 -o gen-java-restore-case gen-java-restore-case.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.so /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-gpp.so /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libstratego-jvm.so -L/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-sglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libjustsglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-xtc.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib-native.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server building java-restore.str XTC_REPOSITORY=/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front/XTC \ ./gen-java-restore-case -o java-restore.str building java-locate.c /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/strc -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/sdf/strategoxt-utils -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/strategoxt-utils -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad/ -I ../../src/java-traverse -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/prolog-tools -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/sdf/prolog-tools -I . -I . -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/sdf/dryad -la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -Xlinker -R -Xlinker /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server --main io-java-locate --verbose 0 -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/xtc -i java-locate.str -o java-locate.c -c building java-locate.o gcc -DPACKAGE_NAME=\"lutin-package\" -DPACKAGE_TARNAME=\"lutin-package\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"lutin-package\ 0.2\" -DPACKAGE_BUGREPORT=\"Mikal.Ziane@lip6.fr\" -DPACKAGE=\"lutin-package\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -c java-locate.c building java-locate /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -o java-locate java-locate.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -R /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm  gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\" -g -O2 -o java-locate java-locate.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.so /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-gpp.so /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libstratego-jvm.so -L/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-sglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libjustsglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-xtc.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib-native.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: java-locate Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/java-locate' Making all in java-fold make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/java-fold' building gen-java-restore-case.c /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/strc -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/sdf/strategoxt-utils -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/strategoxt-utils -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad/ -I ../../src/java-traverse -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/prolog-tools -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/sdf/prolog-tools -I . -I . -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/sdf/dryad -la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -Xlinker -R -Xlinker /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server --main io-gen-java-restore-case --verbose 0 -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/xtc -i gen-java-restore-case.str -o gen-java-restore-case.c -c building gen-java-restore-case.o gcc -DPACKAGE_NAME=\"lutin-package\" -DPACKAGE_TARNAME=\"lutin-package\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"lutin-package\ 0.2\" -DPACKAGE_BUGREPORT=\"Mikal.Ziane@lip6.fr\" -DPACKAGE=\"lutin-package\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -c gen-java-restore-case.c building gen-java-restore-case /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -o gen-java-restore-case gen-java-restore-case.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -R /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\" -g -O2 -o gen-java-restore-case gen-java-restore-case.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.so /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-gpp.so /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libstratego-jvm.so -L/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-sglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libjustsglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-xtc.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib-native.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server building java-restore.str XTC_REPOSITORY=/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front/XTC \ ./gen-java-restore-case -o java-restore.str building java-fold.c /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/strc -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/sdf/strategoxt-utils -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/strategoxt-utils -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad/ -I ../../src/java-traverse -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/prolog-tools -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/sdf/prolog-tools -I . -I . -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/sdf/dryad -la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -Xlinker -R -Xlinker /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server --main io-java-fold --verbose 0 -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/xtc -i java-fold.str -o java-fold.c -c building java-fold.o gcc -DPACKAGE_NAME=\"lutin-package\" -DPACKAGE_TARNAME=\"lutin-package\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"lutin-package\ 0.2\" -DPACKAGE_BUGREPORT=\"Mikal.Ziane@lip6.fr\" -DPACKAGE=\"lutin-package\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -c java-fold.c building java-fold /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -o java-fold java-fold.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -R /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm  gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\" -g -O2 -o java-fold java-fold.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.so /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-gpp.so /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libstratego-jvm.so -L/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-sglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libjustsglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-xtc.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib-native.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: java-fold Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/java-fold' Making all in java-graph make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/java-graph' building java-graph.c /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/strc -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/sdf/strategoxt-utils -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/strategoxt-utils -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad/ -I ../../src/java-locate -I ../../src/java-traverse -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/prolog-tools -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/sdf/prolog-tools -I . -I ../../src/java-locate -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/sdf/dryad -la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -Xlinker -R -Xlinker /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server --main java-graph --verbose 0 -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/xtc -i java-graph.str -o java-graph.c -c building java-graph.o gcc -DPACKAGE_NAME=\"lutin-package\" -DPACKAGE_TARNAME=\"lutin-package\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"lutin-package\ 0.2\" -DPACKAGE_BUGREPORT=\"Mikal.Ziane@lip6.fr\" -DPACKAGE=\"lutin-package\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -c java-graph.c building java-graph /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -o java-graph java-graph.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -R /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\" -g -O2 -o java-graph java-graph.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.so /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-gpp.so /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libstratego-jvm.so -L/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-sglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libjustsglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-xtc.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib-native.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server building java-to-dot.c /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/strc -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/sdf/strategoxt-utils -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/strategoxt-utils -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad/ -I ../../src/java-locate -I ../../src/java-traverse -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/prolog-tools -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/sdf/prolog-tools -I . -I ../../src/java-locate -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/sdf/dryad -la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -Xlinker -R -Xlinker /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server --main java-to-dot --verbose 0 -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/xtc -i java-to-dot.str -o java-to-dot.c -c building java-to-dot.o gcc -DPACKAGE_NAME=\"lutin-package\" -DPACKAGE_TARNAME=\"lutin-package\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"lutin-package\ 0.2\" -DPACKAGE_BUGREPORT=\"Mikal.Ziane@lip6.fr\" -DPACKAGE=\"lutin-package\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -c java-to-dot.c building java-to-dot /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -o java-to-dot java-to-dot.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -R /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm  gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\" -g -O2 -o java-to-dot java-to-dot.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.so /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-gpp.so /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libstratego-jvm.so -L/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-sglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libjustsglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-xtc.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib-native.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: java-graph java-to-dot Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/java-graph' Making all in lutin make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/lutin' building lutin.c /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/strc -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/sdf/strategoxt-utils -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/strategoxt-utils -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad/ -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/prolog-tools -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/sdf/prolog-tools -I . -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/sdf/dryad -la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -Xlinker -R -Xlinker /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server --main lutin --verbose 0 -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/xtc -i lutin.str -o lutin.c -c building lutin.o gcc -DPACKAGE_NAME=\"lutin-package\" -DPACKAGE_TARNAME=\"lutin-package\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"lutin-package\ 0.2\" -DPACKAGE_BUGREPORT=\"Mikal.Ziane@lip6.fr\" -DPACKAGE=\"lutin-package\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -c lutin.c building lutin /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -o lutin lutin.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -R /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\" -g -O2 -o lutin lutin.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.so /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-gpp.so /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libstratego-jvm.so -L/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-sglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libjustsglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-xtc.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib-native.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: lutin Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/lutin' Making all in violation-pp make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/violation-pp' building violation-to-abox.c /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/strc -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/gpp -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/sdf/gpp --main violation-to-abox --verbose 0 -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/xtc -i violation-to-abox.str -o violation-to-abox.c -c building violation-to-abox.o gcc -DPACKAGE_NAME=\"lutin-package\" -DPACKAGE_TARNAME=\"lutin-package\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"lutin-package\ 0.2\" -DPACKAGE_BUGREPORT=\"Mikal.Ziane@lip6.fr\" -DPACKAGE=\"lutin-package\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -c violation-to-abox.c building violation-to-abox /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -o violation-to-abox violation-to-abox.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\" -g -O2 -o violation-to-abox violation-to-abox.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-xtc.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib-native.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib building pp-violation.c /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/strc -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/gpp -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/sdf/gpp --main pp-violation --verbose 0 -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/xtc -i pp-violation.str -o pp-violation.c -c building pp-violation.o gcc -DPACKAGE_NAME=\"lutin-package\" -DPACKAGE_TARNAME=\"lutin-package\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"lutin-package\ 0.2\" -DPACKAGE_BUGREPORT=\"Mikal.Ziane@lip6.fr\" -DPACKAGE=\"lutin-package\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -c pp-violation.c building pp-violation /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -o pp-violation pp-violation.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm  gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\" -g -O2 -o pp-violation pp-violation.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-xtc.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib-native.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: violation-to-abox pp-violation Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/violation-pp' Making all in violation-correct make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/violation-correct' building violations_correction /nix/store/wyzcd2gk22lzz0y98l594bswzzd3466c-swi-prolog-5.6.51/bin/pl --goal=main --stand_alone=true -o "violations_correction" -c \ ./correct_program.pl % library(clp/clp_events) compiled into clp_events 0.00 sec, 5,728 bytes % library(bounds) compiled into bounds 0.01 sec, 185,232 bytes % library(error) compiled into error 0.00 sec, 18,144 bytes % library(lists) compiled into lists 0.00 sec, 42,920 bytes % library(clp_distinct) compiled into clp_distinct 0.01 sec, 61,408 bytes % access_graph_conv.pl compiled 0.00 sec, 15,064 bytes % access_graph_constraints.pl compiled 0.00 sec, 14,848 bytes % access_graph_lib.pl compiled 0.00 sec, 3,856 bytes % access_graph_fold.pl compiled 0.00 sec, 19,600 bytes % violations_correction.pl compiled 0.02 sec, 316,816 bytes % ./correct_program.pl compiled 0.02 sec, 323,696 bytes % /nix/store/wyzcd2gk22lzz0y98l594bswzzd3466c-swi-prolog-5.6.51/lib/pl-5.6.51/library/gensym compiled into gensym 0.00 sec, 4,520 bytes building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: violations_correction Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src/violation-correct' make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src' building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src' make[1]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/src' Making all in tests make[1]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests' building all-recursive Making all in java-graph make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests/java-graph' building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests/java-graph' Making all in sampleTests make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests/sampleTests' building lutin-sunit.c /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/strc -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/sdf/strategoxt-utils -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/strategoxt-utils -I . -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/sdf/dryad -la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -Xlinker -R -Xlinker /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server --main lutin-sunit --verbose 0 -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/xtc -i lutin-sunit.str -o lutin-sunit.c -c building lutin-sunit.o gcc -DPACKAGE_NAME=\"lutin-package\" -DPACKAGE_TARNAME=\"lutin-package\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"lutin-package\ 0.2\" -DPACKAGE_BUGREPORT=\"Mikal.Ziane@lip6.fr\" -DPACKAGE=\"lutin-package\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -c lutin-sunit.c building lutin-sunit /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -o lutin-sunit lutin-sunit.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -R /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\" -g -O2 -o lutin-sunit lutin-sunit.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.so /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-gpp.so /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libstratego-jvm.so -L/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-sglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libjustsglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-xtc.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib-native.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: lutin-sunit Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: arraytype.java cast.java editor.java generics.java instanceof.java mail.java maze.java method.java overload.java shapetest1.java staticinit.java arraytype.pl cast.pl editor.pl generics.pl instanceof.pl mail.pl maze.pl method.pl overload.pl shapetest1.pl staticinit.pl arraytype.ref cast.ref editor.ref generics.ref instanceof.ref mail.ref maze.ref method.ref overload.ref shapetest1.ref staticinit.ref rm lutin-sunit.c make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests/sampleTests' Making all in violation-correct make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests/violation-correct' building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Personne.java Editor.java Personne-graph.pl Editor-graph.pl Personne-violations.pl Editor-violations.pl Personne-constraints.pl Editor-constraints.pl Personne-corrections.pl Editor-corrections.pl make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests/violation-correct' Making all in java-fold make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests/java-fold' building test-fold-input.c /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/strc -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front-syntax -I /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/share/java-front -la /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/sdf/strategoxt-utils -I /nix/store/vgq3gxbvc66k4njcv4f90h09g4dayskf-strategoxt-utils-0.17pre1792617926-raphsc0p/share/strategoxt-utils -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad/ -I ../../src/java-traverse -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/prolog-tools -I /nix/store/vp7vld71gs7m621cxfggmaj0zvsjck2n-prolog-tools-0.2pre1698516985-0n78xn77/share/sdf/prolog-tools -I ../../src/java-fold -I . -I ../../src/java-locate -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/dryad -I /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/share/sdf/dryad -la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -Xlinker -R -Xlinker /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server --main test-fold-input --verbose 0 -I /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/xtc -i test-fold-input.str -o test-fold-input.c -c building test-fold-input.o gcc -DPACKAGE_NAME=\"lutin-package\" -DPACKAGE_TARNAME=\"lutin-package\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"lutin-package\ 0.2\" -DPACKAGE_BUGREPORT=\"Mikal.Ziane@lip6.fr\" -DPACKAGE=\"lutin-package\" -DVERSION=\"0.2\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -DHAVE_DLFCN_H=1 -I. -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -I/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/include -I/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -c test-fold-input.c building test-fold-input /bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\"" -g -O2 -o test-fold-input test-fold-input.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.la /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.la -R /nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -lstratego-runtime -lm -lATerm -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -lATerm  mkdir .libs gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/nix/store/5anssc0sif58x1v9wfdvrdxn6kfpqr08-lutin/share/lutin-package/XTC\" -g -O2 -o test-fold-input test-fold-input.o -L/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -L/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libdryad.so /nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib/libjava-front.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-gpp.so /nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib/libstratego-jvm.so -L/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server -ljvm /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-sglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libjustsglr.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-xtc.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-lib-native.so /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib/libstratego-runtime.so -lm /nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/68nrc7z3w8dzb2jprkyvbrfarcyag5k8-dryad-0.2pre1835518355-zbqfh1rm/lib -Wl,--rpath -Wl,/nix/store/3c6bbngxz60m5y73845m17jfcw92qj4n-java-front-0.9pre1823618236-frb8zh7m/lib -Wl,--rpath -Wl,/nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/lib -Wl,--rpath -Wl,/nix/store/bnmabpjniv2gkba54lcv9r8qv3lhm6jd-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/nix/store/7bll4w2naqs6f1baiqj2mnprhj3dncl8-jdk-1.6.0_6/jre/lib/amd64/server building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: test-fold-input Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: static_code_fold.pl viol-correction.pl static_code_fold.out viol-correction.out personne.java scf-use-this.java scf-all-acces.java scf-method.java scf-static-method.java scf-constructor.java dcf-personne.java sdf-personne.java sdf-two-fields.java personne.fold.pl scf-use-this.fold.pl scf-all-acces.fold.pl scf-method.fold.pl scf-static-method.fold.pl scf-constructor.fold.pl dcf-personne.fold.pl sdf-personne.fold.pl sdf-two-fields.fold.pl personne.res.java scf-use-this.res.java scf-all-acces.res.java scf-method.res.java scf-static-method.res.java scf-constructor.res.java dcf-personne.res.java sdf-personne.res.java sdf-two-fields.res.java rm test-fold-input.c make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests/java-fold' Making all in lutin make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests/lutin' building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests/lutin' make[2]: Entering directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests' building all-local Tools registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests' make[1]: Leaving directory `/tmp/nix-build-mlhzvy5jpq3h4wds8nkm9wnhbfdgxhpp-lutin.drv-0/lutin-package-0.2/tests'