check flags: -
building check-recursive
-
Making check in syn
-
make[1]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-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-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/syn'
-
Making check in sig
-
make[1]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/sig'
-
building all-local
-
Tools registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Prolog.rtree
-
make[1]: Leaving directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/sig'
-
Making check in pp
-
make[1]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/pp'
-
building all-local
-
Tools registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Prolog.pp.af Prolog-pretty.pp.af
-
make[1]: Leaving directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/pp'
-
Making check in meta
-
make[1]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/meta'
-
building all-local
-
Tools registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: prolog-explode prolog-desugar
-
Data registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/meta'
-
Making check in xtc
-
make[1]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/xtc'
-
building all-local
-
Tools registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: parse-prolog pp-prolog
-
Data registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: prolog-xtc-tools.rtree pl.meta
-
make[1]: Leaving directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/xtc'
-
Making check in tests
-
make[1]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
-
building check-recursive
-
Making check in syn
-
make[2]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-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-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
-
building all-local
-
Tools registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
building check-am
-
make PrologProp.tbl
-
make[4]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
-
building PrologProp.def
-
/...-strategoxt-0.17pre18269-a0f0wy0j/bin/pack-sdf -I /...-prolog-tools/share/sdf/prolog-tools -i PrologProp.sdf -o PrologProp.def --dep PrologProp.dep
-
including ./PrologProp.sdf
-
including /...-prolog-tools/share/sdf/prolog-tools/PrologRenamed.sdf
-
including /...-prolog-tools/share/sdf/prolog-tools/Prolog.sdf
-
including ./Prop.sdf
-
building PrologProp.tbl
-
/...-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-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
-
make check-local
-
make[4]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-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; \� /...-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-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
-
make[3]: Leaving directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
-
Making check in programs
-
make[3]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-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-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/programs'
-
make[3]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
building check-am
-
make check-local
-
make[4]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-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; \� /...-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-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
-
make[3]: Leaving directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
-
make[2]: Leaving directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
-
make[2]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
-
building all-local
-
Tools registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
-
make[1]: Leaving directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
-
make[1]: Entering directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985'
-
building all-local
-
/...-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC import /...-strategoxt-0.17pre18269-a0f0wy0j/share/strategoxt/XTC
-
Tools registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985'