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
/nix/store/p2ilyhcckkkab8y0bph6n4lkzkvh20z4-strategoxt-0.17pre18269-a0f0wy0j/bin/pack-sdf -I /nix/store/4bwp348ilz9xgmajcgy40cds1xr98cfw-prolog-tools/share/sdf/prolog-tools -i PrologProp.sdf -o PrologProp.def --dep PrologProp.dep
  including ./PrologProp.sdf
  including /nix/store/4bwp348ilz9xgmajcgy40cds1xr98cfw-prolog-tools/share/sdf/prolog-tools/PrologRenamed.sdf
  including /nix/store/4bwp348ilz9xgmajcgy40cds1xr98cfw-prolog-tools/share/sdf/prolog-tools/Prolog.sdf
  including ./Prop.sdf
building PrologProp.tbl
/nix/store/p33jx0h4f1s7w5j3fi7s35srkffbsv0y-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; \
	  /nix/store/p2ilyhcckkkab8y0bph6n4lkzkvh20z4-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; \
	  /nix/store/p2ilyhcckkkab8y0bph6n4lkzkvh20z4-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
/nix/store/p2ilyhcckkkab8y0bph6n4lkzkvh20z4-strategoxt-0.17pre18269-a0f0wy0j/bin/xtc -r /tmp/nix-build-a9l6ia5c13vj3ikp46krp26q4r4h6gyl-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC import /nix/store/p2ilyhcckkkab8y0bph6n4lkzkvh20z4-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'