• check flags:
• building check-recursive
  • Making check in syn
  • make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/syn'
    • building all-local
      • Tools registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
      • Data registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-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 `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/syn'
  • Making check in sig
  • make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/sig'
    • building all-local
      • Tools registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
      • Data registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Prolog.rtree
    • make[1]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/sig'
  • Making check in pp
  • make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/pp'
    • building all-local
      • Tools registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
      • Data registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Prolog.pp.af Prolog-pretty.pp.af
    • make[1]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/pp'
  • Making check in meta
  • make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/meta'
    • building all-local
      • Tools registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: prolog-explode prolog-desugar
      • Data registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
    • make[1]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/meta'
  • Making check in xtc
  • make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/xtc'
    • building all-local
      • Tools registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: parse-prolog pp-prolog
      • Data registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: prolog-xtc-tools.rtree pl.meta
    • make[1]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/xtc'
  • Making check in tests
  • make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
    • building check-recursive
      • Making check in syn
      • make[2]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
        • building check-recursive
          • Making check in prolog-prop
          • make[3]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
            • building all-local
              • Tools registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
              • Data registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
            • building check-am
              • make PrologProp.tbl
              • make[4]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
                • building PrologProp.def
                  • /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/pack-sdf/...-strategoxt-0.17pre18583-i573smdl/bin/pack-sdf -I /nix/store/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/sdf/prolog-tools/...-prolog-tools/share/sdf/prolog-tools -i PrologProp.sdf -o PrologProp.def --dep PrologProp.dep
                  • including ./PrologProp.sdf
                  • including /nix/store/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/sdf/prolog-tools/PrologRenamed.sdf/...-prolog-tools/share/sdf/prolog-tools/PrologRenamed.sdf
                  • including /nix/store/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/sdf/prolog-tools/Prolog.sdf/...-prolog-tools/share/sdf/prolog-tools/Prolog.sdf
                  • including ./Prop.sdf
                • building PrologProp.tbl
                  • /nix/store/9p2pbc2hkqw9h9rr79zj3glgkrdpl5rh-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table/...-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 `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
              • make check-local
              • make[4]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-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/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/parse-unit/...-strategoxt-0.17pre18583-i573smdl/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 `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
            • make[3]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
          • Making check in programs
          • make[3]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/programs'
            • make[3]: Nothing to be done for `check'.
            • make[3]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/programs'
          • make[3]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
            • building all-local
              • Tools registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
              • Data registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
            • building check-am
              • make check-local
              • make[4]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-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/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/parse-unit/...-strategoxt-0.17pre18583-i573smdl/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 `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
            • make[3]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
        • make[2]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
      • make[2]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
        • building all-local
          • Tools registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
          • Data registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
        • make[2]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
    • make[1]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
  • make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985'
    • building all-local
      • /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/xtc/...-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC import /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/strategoxt/XTC/...-strategoxt-0.17pre18583-i573smdl/share/strategoxt/XTC
      • Tools registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
      • Data registered in repository /private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
    • make[1]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985'