check flags: building check-recursive Making check in syn make[1]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/syn' building all-local Tools registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Prolog.def Stratego-Prolog.def Prolog.tbl Stratego-Prolog.def GrammarRules.sdf Prolog.sdf PrologRenamed.sdf Stratego-Prolog.sdf make[1]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/syn' Making check in sig make[1]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/sig' building all-local Tools registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Prolog.rtree make[1]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/sig' Making check in pp make[1]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/pp' building all-local Tools registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Prolog.pp.af Prolog-pretty.pp.af make[1]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/pp' Making check in meta make[1]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/meta' building all-local Tools registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: prolog-explode prolog-desugar Data registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: make[1]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/meta' Making check in xtc make[1]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/xtc' building all-local Tools registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: parse-prolog pp-prolog Data registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: prolog-xtc-tools.rtree pl.meta make[1]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/xtc' Making check in tests make[1]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests' building check-recursive Making check in syn make[2]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn' building check-recursive Making check in prolog-prop make[3]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop' building all-local Tools registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: building check-am make PrologProp.tbl  make[4]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop' building PrologProp.def /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/pack-sdf -I /nix/store/rgfzv54lbn1k02cpclr03mrqd7dfv4lk-prolog-tools/share/sdf/prolog-tools -i PrologProp.sdf -o PrologProp.def --dep PrologProp.dep including ./PrologProp.sdf including /nix/store/rgfzv54lbn1k02cpclr03mrqd7dfv4lk-prolog-tools/share/sdf/prolog-tools/PrologRenamed.sdf including /nix/store/rgfzv54lbn1k02cpclr03mrqd7dfv4lk-prolog-tools/share/sdf/prolog-tools/Prolog.sdf including ./Prop.sdf building PrologProp.tbl /nix/store/6kdkmf469l70c2kaiibdm5rqy7pkv13n-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m PrologProp -i PrologProp.def -o PrologProp.tbl  SdfChecker:error: Main module not defined --- Main SdfChecker:error: symbol is not defined by any production --- QuoteChar [file: PrologProp.def line: 202 col: 3] SdfChecker:error: symbol is not defined by any production --- PunctuationChar [file: PrologProp.def line: 201 col: 3] SdfChecker:error: symbol is not defined by any production --- SoloChar [file: PrologProp.def line: 138 col: 4] SdfChecker:error: symbol is not defined by any production --- Nan [file: PrologProp.def line: 115 col: 9] SdfChecker:error: symbol is not defined by any production --- Inf [file: PrologProp.def line: 114 col: 9] SdfChecker:error: symbol is not defined by any production --- GrammarRule [file: PrologProp.def line: 34 col: 4] SdfChecker:warning: undeclared sort --- Id [file: PrologProp.def line: 262 col: 34] SdfChecker:warning: undeclared sort --- Comment [file: PrologProp.def line: 251 col: 4] SdfChecker:warning: undeclared sort --- Term [file: PrologProp.def line: 250 col: 3] SdfChecker:warning: undeclared sort --- Asterisk [file: PrologProp.def line: 240 col: 4] SdfChecker:warning: undeclared sort --- CommChar [file: PrologProp.def line: 238 col: 8] SdfChecker:warning: undeclared sort --- Comment [file: PrologProp.def line: 234 col: 4] SdfChecker:warning: undeclared sort --- LayoutTextItem [file: PrologProp.def line: 232 col: 4] SdfChecker:warning: undeclared sort --- QuoteChar [file: PrologProp.def line: 202 col: 3] SdfChecker:warning: undeclared sort --- PunctuationChar [file: PrologProp.def line: 201 col: 3] SdfChecker:warning: undeclared sort --- LayoutChar [file: PrologProp.def line: 197 col: 3] SdfChecker:warning: undeclared sort --- FullStop [file: PrologProp.def line: 193 col: 14] SdfChecker:warning: undeclared sort --- StringItem [file: PrologProp.def line: 185 col: 9] SdfChecker:warning: undeclared sort --- Char [file: PrologProp.def line: 176 col: 3] SdfChecker:warning: undeclared sort --- EscapeSequence [file: PrologProp.def line: 173 col: 9] SdfChecker:warning: undeclared sort --- QuotedItem [file: PrologProp.def line: 169 col: 8] SdfChecker:warning: undeclared sort --- QuotedName [file: PrologProp.def line: 167 col: 4] SdfChecker:warning: undeclared sort --- Slash [file: PrologProp.def line: 156 col: 16] SdfChecker:warning: undeclared sort --- SymbolChar [file: PrologProp.def line: 152 col: 20] SdfChecker:warning: undeclared sort --- FirstSymbolChar [file: PrologProp.def line: 152 col: 4] SdfChecker:warning: undeclared sort --- Symbol [file: PrologProp.def line: 150 col: 4] SdfChecker:warning: undeclared sort --- LayoutText [file: PrologProp.def line: 140 col: 8] SdfChecker:warning: undeclared sort --- SoloChar [file: PrologProp.def line: 138 col: 4] SdfChecker:warning: undeclared sort --- Exponent [file: PrologProp.def line: 128 col: 21] SdfChecker:warning: undeclared sort --- SimpleFloat [file: PrologProp.def line: 127 col: 4] SdfChecker:warning: undeclared sort --- CharItem [file: PrologProp.def line: 124 col: 12] SdfChecker:warning: undeclared sort --- Alpha [file: PrologProp.def line: 121 col: 13] SdfChecker:warning: undeclared sort --- Base [file: PrologProp.def line: 121 col: 4] SdfChecker:warning: undeclared sort --- Digit [file: PrologProp.def line: 119 col: 15] SdfChecker:warning: undeclared sort --- UnsignedFloat [file: PrologProp.def line: 117 col: 4] SdfChecker:warning: undeclared sort --- NaturalNumber [file: PrologProp.def line: 116 col: 4] SdfChecker:warning: undeclared sort --- Nan [file: PrologProp.def line: 115 col: 9] SdfChecker:warning: undeclared sort --- Inf [file: PrologProp.def line: 114 col: 9] SdfChecker:warning: undeclared sort --- Sign [file: PrologProp.def line: 113 col: 4] SdfChecker:warning: undeclared sort --- UnsignedNumber [file: PrologProp.def line: 112 col: 4] SdfChecker:warning: undeclared sort --- Word [file: PrologProp.def line: 101 col: 4] SdfChecker:warning: undeclared sort --- Name [file: PrologProp.def line: 95 col: 4] SdfChecker:warning: undeclared sort --- Number [file: PrologProp.def line: 94 col: 4] SdfChecker:warning: undeclared sort --- Variable [file: PrologProp.def line: 84 col: 4] SdfChecker:warning: undeclared sort --- Constant [file: PrologProp.def line: 83 col: 4] SdfChecker:warning: undeclared sort --- String [file: PrologProp.def line: 82 col: 4] SdfChecker:warning: undeclared sort --- List [file: PrologProp.def line: 81 col: 4] SdfChecker:warning: undeclared sort --- Functor [file: PrologProp.def line: 76 col: 4] SdfChecker:warning: undeclared sort --- Op [file: PrologProp.def line: 75 col: 9] SdfChecker:warning: undeclared sort --- PrefixOp [file: PrologProp.def line: 71 col: 4] SdfChecker:warning: undeclared sort --- PostfixOp [file: PrologProp.def line: 70 col: 9] SdfChecker:warning: undeclared sort --- Term [file: PrologProp.def line: 59 col: 4] SdfChecker:warning: undeclared sort --- Atom [file: PrologProp.def line: 48 col: 4] SdfChecker:warning: undeclared sort --- Goal [file: PrologProp.def line: 47 col: 4] SdfChecker:warning: undeclared sort --- Module [file: PrologProp.def line: 46 col: 4] SdfChecker:warning: undeclared sort --- Body [file: PrologProp.def line: 41 col: 14] SdfChecker:warning: undeclared sort --- Head [file: PrologProp.def line: 41 col: 4] SdfChecker:warning: undeclared sort --- Query [file: PrologProp.def line: 38 col: 4] SdfChecker:warning: undeclared sort --- Command [file: PrologProp.def line: 37 col: 4] SdfChecker:warning: undeclared sort --- UnitClause [file: PrologProp.def line: 36 col: 4] SdfChecker:warning: undeclared sort --- NonUnitClause [file: PrologProp.def line: 35 col: 4] SdfChecker:warning: undeclared sort --- GrammarRule [file: PrologProp.def line: 34 col: 4] SdfChecker:warning: undeclared sort --- Directive [file: PrologProp.def line: 33 col: 4] SdfChecker:warning: undeclared sort --- Clause [file: PrologProp.def line: 32 col: 4] SdfChecker:warning: undeclared sort --- Id [file: PrologProp.def line: 6 col: 14] rm PrologProp.def make[4]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop' make check-local make[4]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop' building check-local for file in fordummy prolog-prop.testsuite ; do \ if [ "$file" = "fordummy" ]; then continue; fi; \ /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/parse-unit -i $file -p PrologProp.tbl --heuristic-filters on ; \ done ; \ echo "Testsuites done" ----------------------------------------------------------------------- executing testsuite Prolog programs with embedded Propositions in concrete syntax with 1 tests ----------------------------------------------------------------------- * OK : test 1 (test1.plprop) ----------------------------------------------------------------------- results testsuite Prolog programs with embedded Propositions in concrete syntax successes : 1 failures : 0 ----------------------------------------------------------------------- Testsuites done make[4]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop' make[3]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop' Making check in programs make[3]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/programs' make[3]: Nothing to be done for `check'. make[3]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/programs' make[3]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn' building all-local Tools registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: building check-am make check-local make[4]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn' building check-local for file in fordummy prolog.testsuite ; do \ if [ "$file" = "fordummy" ]; then continue; fi; \ /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/parse-unit -i $file -p ../../syn/Prolog.tbl --heuristic-filters on ; \ done ; \ echo "Testsuites done"include ../../Makefile.xt ----------------------------------------------------------------------- executing testsuite Prolog programs with 9 tests ----------------------------------------------------------------------- * OK : test 1 (programs/comment.pl) * OK : test 2 (programs/comment2.pl) * OK : test 3 (programs/small1.pl) * OK : test 4 (programs/small3.pl) * OK : test 5 (programs/small4.pl) * OK : test 6 (programs/small5.pl) * OK : test 7 (programs/big1.pl) * OK : test 8 (programs/simplex.pl) * OK : test 9 (programs/gsl-maximization.pl) ----------------------------------------------------------------------- results testsuite Prolog programs successes : 9 failures : 0 ----------------------------------------------------------------------- Testsuites doneinclude ../../Makefile.xt make[4]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn' make[3]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn' make[2]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn' make[2]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests' building all-local Tools registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: make[2]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests' make[1]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests' make[1]: Entering directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985' building all-local /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC import /nix/store/n9b77nwxnfghps7rk3m4bch9hw7zpnj5-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC Tools registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Data registered in repository /tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: make[1]: Leaving directory `/tmp/nix-build-isvdaspsh6m9bkzvzvxxxhbvcpws9iz9-prolog-tools.drv-0/prolog-tools-0.2pre16985'