make flags:    
building all-recursive
Making all in syn
make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/syn'
building Prolog.def
/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/pack-sdf -I /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front -i Prolog.sdf -o Prolog.def --dep Prolog.dep
  including ./Prolog.sdf
building Stratego-Prolog.def
/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/pack-sdf -I /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front -i Stratego-Prolog.sdf -o Stratego-Prolog.def --dep Stratego-Prolog.dep
  including ./Stratego-Prolog.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/StrategoRenamed.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Layout.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Layout.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Identifiers.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Constants.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Constants.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Modules.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Modules.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Strategies.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Terms.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Signatures.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Signatures.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Terms.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Strategies.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Rules.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-DynamicRules.sdf
  including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Overlays.sdf
  including ./PrologRenamed.sdf
  including ./Prolog.sdf
building Prolog.tbl
/nix/store/9p2pbc2hkqw9h9rr79zj3glgkrdpl5rh-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m Prolog -i Prolog.def -o Prolog.tbl 
SdfChecker:error: Main module not defined
--- Main
SdfChecker:error: symbol is not defined by any production
--- QuoteChar [file: Prolog.def line: 180 col: 3]
SdfChecker:error: symbol is not defined by any production
--- PunctuationChar [file: Prolog.def line: 179 col: 3]
SdfChecker:error: symbol is not defined by any production
--- SoloChar [file: Prolog.def line: 116 col: 4]
SdfChecker:error: symbol is not defined by any production
--- Nan [file: Prolog.def line: 93 col: 9]
SdfChecker:error: symbol is not defined by any production
--- Inf [file: Prolog.def line: 92 col: 9]
SdfChecker:error: symbol is not defined by any production
--- GrammarRule [file: Prolog.def line: 12 col: 4]
SdfChecker:warning: undeclared sort
--- Asterisk [file: Prolog.def line: 218 col: 4]
SdfChecker:warning: undeclared sort
--- CommChar [file: Prolog.def line: 216 col: 8]
SdfChecker:warning: undeclared sort
--- Comment [file: Prolog.def line: 212 col: 4]
SdfChecker:warning: undeclared sort
--- LayoutTextItem [file: Prolog.def line: 210 col: 4]
SdfChecker:warning: undeclared sort
--- QuoteChar [file: Prolog.def line: 180 col: 3]
SdfChecker:warning: undeclared sort
--- PunctuationChar [file: Prolog.def line: 179 col: 3]
SdfChecker:warning: undeclared sort
--- LayoutChar [file: Prolog.def line: 175 col: 3]
SdfChecker:warning: undeclared sort
--- FullStop [file: Prolog.def line: 171 col: 14]
SdfChecker:warning: undeclared sort
--- StringItem [file: Prolog.def line: 163 col: 9]
SdfChecker:warning: undeclared sort
--- Char [file: Prolog.def line: 154 col: 3]
SdfChecker:warning: undeclared sort
--- EscapeSequence [file: Prolog.def line: 151 col: 9]
SdfChecker:warning: undeclared sort
--- QuotedItem [file: Prolog.def line: 147 col: 8]
SdfChecker:warning: undeclared sort
--- QuotedName [file: Prolog.def line: 145 col: 4]
SdfChecker:warning: undeclared sort
--- Slash [file: Prolog.def line: 134 col: 16]
SdfChecker:warning: undeclared sort
--- SymbolChar [file: Prolog.def line: 130 col: 20]
SdfChecker:warning: undeclared sort
--- FirstSymbolChar [file: Prolog.def line: 130 col: 4]
SdfChecker:warning: undeclared sort
--- Symbol [file: Prolog.def line: 128 col: 4]
SdfChecker:warning: undeclared sort
--- LayoutText [file: Prolog.def line: 118 col: 8]
SdfChecker:warning: undeclared sort
--- SoloChar [file: Prolog.def line: 116 col: 4]
SdfChecker:warning: undeclared sort
--- Exponent [file: Prolog.def line: 106 col: 21]
SdfChecker:warning: undeclared sort
--- SimpleFloat [file: Prolog.def line: 105 col: 4]
SdfChecker:warning: undeclared sort
--- CharItem [file: Prolog.def line: 102 col: 12]
SdfChecker:warning: undeclared sort
--- Alpha [file: Prolog.def line: 99 col: 13]
SdfChecker:warning: undeclared sort
--- Base [file: Prolog.def line: 99 col: 4]
SdfChecker:warning: undeclared sort
--- Digit [file: Prolog.def line: 97 col: 15]
SdfChecker:warning: undeclared sort
--- UnsignedFloat [file: Prolog.def line: 95 col: 4]
SdfChecker:warning: undeclared sort
--- NaturalNumber [file: Prolog.def line: 94 col: 4]
SdfChecker:warning: undeclared sort
--- Nan [file: Prolog.def line: 93 col: 9]
SdfChecker:warning: undeclared sort
--- Inf [file: Prolog.def line: 92 col: 9]
SdfChecker:warning: undeclared sort
--- Sign [file: Prolog.def line: 91 col: 4]
SdfChecker:warning: undeclared sort
--- UnsignedNumber [file: Prolog.def line: 90 col: 4]
SdfChecker:warning: undeclared sort
--- Word [file: Prolog.def line: 79 col: 4]
SdfChecker:warning: undeclared sort
--- Name [file: Prolog.def line: 73 col: 4]
SdfChecker:warning: undeclared sort
--- Number [file: Prolog.def line: 72 col: 4]
SdfChecker:warning: undeclared sort
--- Variable [file: Prolog.def line: 62 col: 4]
SdfChecker:warning: undeclared sort
--- Constant [file: Prolog.def line: 61 col: 4]
SdfChecker:warning: undeclared sort
--- String [file: Prolog.def line: 60 col: 4]
SdfChecker:warning: undeclared sort
--- List [file: Prolog.def line: 59 col: 4]
SdfChecker:warning: undeclared sort
--- Functor [file: Prolog.def line: 54 col: 4]
SdfChecker:warning: undeclared sort
--- Op [file: Prolog.def line: 53 col: 9]
SdfChecker:warning: undeclared sort
--- PrefixOp [file: Prolog.def line: 49 col: 4]
SdfChecker:warning: undeclared sort
--- PostfixOp [file: Prolog.def line: 48 col: 9]
SdfChecker:warning: undeclared sort
--- Term [file: Prolog.def line: 37 col: 4]
SdfChecker:warning: undeclared sort
--- Atom [file: Prolog.def line: 26 col: 4]
SdfChecker:warning: undeclared sort
--- Goal [file: Prolog.def line: 25 col: 4]
SdfChecker:warning: undeclared sort
--- Module [file: Prolog.def line: 24 col: 4]
SdfChecker:warning: undeclared sort
--- Body [file: Prolog.def line: 19 col: 14]
SdfChecker:warning: undeclared sort
--- Head [file: Prolog.def line: 19 col: 4]
SdfChecker:warning: undeclared sort
--- Query [file: Prolog.def line: 16 col: 4]
SdfChecker:warning: undeclared sort
--- Command [file: Prolog.def line: 15 col: 4]
SdfChecker:warning: undeclared sort
--- UnitClause [file: Prolog.def line: 14 col: 4]
SdfChecker:warning: undeclared sort
--- NonUnitClause [file: Prolog.def line: 13 col: 4]
SdfChecker:warning: undeclared sort
--- GrammarRule [file: Prolog.def line: 12 col: 4]
SdfChecker:warning: undeclared sort
--- Directive [file: Prolog.def line: 11 col: 4]
SdfChecker:warning: undeclared sort
--- Clause [file: Prolog.def line: 10 col: 4]
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 all in sig
make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/sig'
building Prolog.def
ln -s ../syn/Prolog.def Prolog.def
building Prolog.rtg
/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/sdf2rtg -m Prolog --ignore-missing-cons -i Prolog.def -o Prolog.rtg
SdfChecker:error: Main module not defined
--- Main
SdfChecker:error: symbol is not defined by any production
--- QuoteChar [file: Prolog.def line: 180 col: 3]
SdfChecker:error: symbol is not defined by any production
--- PunctuationChar [file: Prolog.def line: 179 col: 3]
SdfChecker:error: symbol is not defined by any production
--- SoloChar [file: Prolog.def line: 116 col: 4]
SdfChecker:error: symbol is not defined by any production
--- Nan [file: Prolog.def line: 93 col: 9]
SdfChecker:error: symbol is not defined by any production
--- Inf [file: Prolog.def line: 92 col: 9]
SdfChecker:error: symbol is not defined by any production
--- GrammarRule [file: Prolog.def line: 12 col: 4]
SdfChecker:warning: undeclared sort
--- Asterisk [file: Prolog.def line: 218 col: 4]
SdfChecker:warning: undeclared sort
--- CommChar [file: Prolog.def line: 216 col: 8]
SdfChecker:warning: undeclared sort
--- Comment [file: Prolog.def line: 212 col: 4]
SdfChecker:warning: undeclared sort
--- LayoutTextItem [file: Prolog.def line: 210 col: 4]
SdfChecker:warning: undeclared sort
--- QuoteChar [file: Prolog.def line: 180 col: 3]
SdfChecker:warning: undeclared sort
--- PunctuationChar [file: Prolog.def line: 179 col: 3]
SdfChecker:warning: undeclared sort
--- LayoutChar [file: Prolog.def line: 175 col: 3]
SdfChecker:warning: undeclared sort
--- FullStop [file: Prolog.def line: 171 col: 14]
SdfChecker:warning: undeclared sort
--- StringItem [file: Prolog.def line: 163 col: 9]
SdfChecker:warning: undeclared sort
--- Char [file: Prolog.def line: 154 col: 3]
SdfChecker:warning: undeclared sort
--- EscapeSequence [file: Prolog.def line: 151 col: 9]
SdfChecker:warning: undeclared sort
--- QuotedItem [file: Prolog.def line: 147 col: 8]
SdfChecker:warning: undeclared sort
--- QuotedName [file: Prolog.def line: 145 col: 4]
SdfChecker:warning: undeclared sort
--- Slash [file: Prolog.def line: 134 col: 16]
SdfChecker:warning: undeclared sort
--- SymbolChar [file: Prolog.def line: 130 col: 20]
SdfChecker:warning: undeclared sort
--- FirstSymbolChar [file: Prolog.def line: 130 col: 4]
SdfChecker:warning: undeclared sort
--- Symbol [file: Prolog.def line: 128 col: 4]
SdfChecker:warning: undeclared sort
--- LayoutText [file: Prolog.def line: 118 col: 8]
SdfChecker:warning: undeclared sort
--- SoloChar [file: Prolog.def line: 116 col: 4]
SdfChecker:warning: undeclared sort
--- Exponent [file: Prolog.def line: 106 col: 21]
SdfChecker:warning: undeclared sort
--- SimpleFloat [file: Prolog.def line: 105 col: 4]
SdfChecker:warning: undeclared sort
--- CharItem [file: Prolog.def line: 102 col: 12]
SdfChecker:warning: undeclared sort
--- Alpha [file: Prolog.def line: 99 col: 13]
SdfChecker:warning: undeclared sort
--- Base [file: Prolog.def line: 99 col: 4]
SdfChecker:warning: undeclared sort
--- Digit [file: Prolog.def line: 97 col: 15]
SdfChecker:warning: undeclared sort
--- UnsignedFloat [file: Prolog.def line: 95 col: 4]
SdfChecker:warning: undeclared sort
--- NaturalNumber [file: Prolog.def line: 94 col: 4]
SdfChecker:warning: undeclared sort
--- Nan [file: Prolog.def line: 93 col: 9]
SdfChecker:warning: undeclared sort
--- Inf [file: Prolog.def line: 92 col: 9]
SdfChecker:warning: undeclared sort
--- Sign [file: Prolog.def line: 91 col: 4]
SdfChecker:warning: undeclared sort
--- UnsignedNumber [file: Prolog.def line: 90 col: 4]
SdfChecker:warning: undeclared sort
--- Word [file: Prolog.def line: 79 col: 4]
SdfChecker:warning: undeclared sort
--- Name [file: Prolog.def line: 73 col: 4]
SdfChecker:warning: undeclared sort
--- Number [file: Prolog.def line: 72 col: 4]
SdfChecker:warning: undeclared sort
--- Variable [file: Prolog.def line: 62 col: 4]
SdfChecker:warning: undeclared sort
--- Constant [file: Prolog.def line: 61 col: 4]
SdfChecker:warning: undeclared sort
--- String [file: Prolog.def line: 60 col: 4]
SdfChecker:warning: undeclared sort
--- List [file: Prolog.def line: 59 col: 4]
SdfChecker:warning: undeclared sort
--- Functor [file: Prolog.def line: 54 col: 4]
SdfChecker:warning: undeclared sort
--- Op [file: Prolog.def line: 53 col: 9]
SdfChecker:warning: undeclared sort
--- PrefixOp [file: Prolog.def line: 49 col: 4]
SdfChecker:warning: undeclared sort
--- PostfixOp [file: Prolog.def line: 48 col: 9]
SdfChecker:warning: undeclared sort
--- Term [file: Prolog.def line: 37 col: 4]
SdfChecker:warning: undeclared sort
--- Atom [file: Prolog.def line: 26 col: 4]
SdfChecker:warning: undeclared sort
--- Goal [file: Prolog.def line: 25 col: 4]
SdfChecker:warning: undeclared sort
--- Module [file: Prolog.def line: 24 col: 4]
SdfChecker:warning: undeclared sort
--- Body [file: Prolog.def line: 19 col: 14]
SdfChecker:warning: undeclared sort
--- Head [file: Prolog.def line: 19 col: 4]
SdfChecker:warning: undeclared sort
--- Query [file: Prolog.def line: 16 col: 4]
SdfChecker:warning: undeclared sort
--- Command [file: Prolog.def line: 15 col: 4]
SdfChecker:warning: undeclared sort
--- UnitClause [file: Prolog.def line: 14 col: 4]
SdfChecker:warning: undeclared sort
--- NonUnitClause [file: Prolog.def line: 13 col: 4]
SdfChecker:warning: undeclared sort
--- GrammarRule [file: Prolog.def line: 12 col: 4]
SdfChecker:warning: undeclared sort
--- Directive [file: Prolog.def line: 11 col: 4]
SdfChecker:warning: undeclared sort
--- Clause [file: Prolog.def line: 10 col: 4]
[ sdf2rtg | error ] No constructor name specified in production:
[ sdf2rtg | error ]   <Term-CF> <LAYOUT?-CF> <Op-CF> -> <Term-CF>
[ sdf2rtg | error ] Resolution: please add a cons attribute to this production.
[ sdf2rtg | error ] Production in abstract syntax: 
        prod([cf(sort("Term")),cf(opt(layout)),cf(sort("Op"))],cf(sort("Term")),attrs([]))
building Prolog.str
/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/rtg2sig --module `basename "Prolog"` -i Prolog.rtg -o Prolog.str
building Prolog.rtree
/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/parse-stratego  -i Prolog.str -o Prolog.rtree 
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    
rm Prolog.rtg
make[1]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/sig'
Making all in pp
make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/pp'
building Prolog.def
rm -f Prolog.def
ln -s ../syn/Prolog.def .
building Prolog.pp
building Prolog.pp.af
/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/parse-pp-table -i Prolog.pp -o Prolog.pp.af
building Prolog-pretty.pp.af
/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/parse-pp-table -i Prolog-pretty.pp -o Prolog-pretty.pp.af
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   
rm Prolog.pp
make[1]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/pp'
Making all in meta
make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/meta'
building prolog-explode.c
/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/strc -I ../sig -I ../syn  --main main-prolog-explode --verbose 2 -i prolog-explode.str -o prolog-explode.c -c
[ strc | info ] Compiling 'prolog-explode.str'
[ strc | notice ] include path: 
         [IncludeDir("."),IncludeDir("../sig"),IncludeDir("../syn"),IncludeDir("/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/stratego-lib"),IncludeDir("/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share"),IncludeDir("/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/stratego-front"),IncludeDir("/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front"),IncludeXTC]
[ strc | notice ]   including ./prolog-explode.str
[ strc | notice ] Parsing file ./prolog-explode.str
[ strc | notice ] Using syntax Stratego
[ strc | notice ]   including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/libstratego-lib.rtree
[ strc | notice ]   including ../sig/Prolog.rtree
[ strc | notice ] Setting main strategy to : main-prolog-explode
[ strc | info ] Front-end succeeded         : [user/system] = [0.96s/0.06s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.01s/0.01s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.39s/0.03s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.36s/0.10s]
STRC 0.17 (revision 18583)

Copyright (C) 1998-2008 Eelco Visser <visser@acm.org>

This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2 of the License, or (at your option) any later version.

building prolog-explode.o
gcc -DPACKAGE_NAME=\"prolog-tools\" -DPACKAGE_TARNAME=\"prolog-tools\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"prolog-tools\ 0.2\" -DPACKAGE_BUGREPORT=\"visser@acm.org\" -DPACKAGE=\"prolog-tools\" -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=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"16985\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"prolog-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"prolog-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre16985\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre16985\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"visser@acm.org\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"16985\"\)\) -DYYTEXT_POINTER=1 -DHAVE_DLFCN_H=1 -I.  -I/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/prolog-tools/XTC\"" -g -O2 -c prolog-explode.c
building prolog-explode
/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/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/prolog-tools/XTC\"" -g -O2 -bind_at_load  -o prolog-explode prolog-explode.o -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-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/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/prolog-tools/XTC\" -g -O2 -bind_at_load -o prolog-explode prolog-explode.o  -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.dylib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.dylib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.dylib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.dylib -lm /nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib/libATerm.dylib  
building prolog-desugar.c
/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/strc -I ../sig -I ../syn  --main main-prolog-desugar --verbose 2 -i prolog-desugar.str -o prolog-desugar.c -c
[ strc | info ] Compiling 'prolog-desugar.str'
[ strc | notice ] include path: 
         [IncludeDir("."),IncludeDir("../sig"),IncludeDir("../syn"),IncludeDir("/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/stratego-lib"),IncludeDir("/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share"),IncludeDir("/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/stratego-front"),IncludeDir("/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front"),IncludeXTC]
[ strc | notice ]   including ./prolog-desugar.str
[ strc | notice ] Parsing file ./prolog-desugar.str
[ strc | notice ] Using syntax Stratego
[ strc | notice ]   including ../sig/Prolog.rtree
[ strc | notice ]   including /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/libstratego-lib.rtree
[ strc | notice ] Setting main strategy to : main-prolog-desugar
[ strc | info ] Front-end succeeded         : [user/system] = [0.89s/0.05s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.18s/0.01s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.07s/0.06s]
STRC 0.17 (revision 18583)

Copyright (C) 1998-2008 Eelco Visser <visser@acm.org>

This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2 of the License, or (at your option) any later version.

building prolog-desugar.o
gcc -DPACKAGE_NAME=\"prolog-tools\" -DPACKAGE_TARNAME=\"prolog-tools\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"prolog-tools\ 0.2\" -DPACKAGE_BUGREPORT=\"visser@acm.org\" -DPACKAGE=\"prolog-tools\" -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=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"16985\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"prolog-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"prolog-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre16985\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre16985\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"visser@acm.org\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"16985\"\)\) -DYYTEXT_POINTER=1 -DHAVE_DLFCN_H=1 -I.  -I/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/prolog-tools/XTC\"" -g -O2 -c prolog-desugar.c
building prolog-desugar
/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/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/prolog-tools/XTC\"" -g -O2 -bind_at_load  -o prolog-desugar prolog-desugar.o -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-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/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/prolog-tools/XTC\" -g -O2 -bind_at_load -o prolog-desugar prolog-desugar.o  -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.dylib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.dylib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.dylib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.dylib -lm /nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib/libATerm.dylib  
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 all in xtc
make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/xtc'
building parse-prolog.c
/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/strc -I /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/xtc -I ../sig  --main io-parse-prolog  -i parse-prolog.str -o parse-prolog.c -c
[ strc | info ] Compiling 'parse-prolog.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.97s/0.05s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.01s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.22s/0.01s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.20s/0.06s]
building parse-prolog.o
gcc -DPACKAGE_NAME=\"prolog-tools\" -DPACKAGE_TARNAME=\"prolog-tools\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"prolog-tools\ 0.2\" -DPACKAGE_BUGREPORT=\"visser@acm.org\" -DPACKAGE=\"prolog-tools\" -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=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"16985\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"prolog-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"prolog-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre16985\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre16985\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"visser@acm.org\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"16985\"\)\) -DYYTEXT_POINTER=1 -DHAVE_DLFCN_H=1 -I.  -I/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/prolog-tools/XTC\"" -g -O2 -c parse-prolog.c
building parse-prolog
/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/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/prolog-tools/XTC\"" -g -O2 -bind_at_load  -o parse-prolog parse-prolog.o -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-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/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/prolog-tools/XTC\" -g -O2 -bind_at_load -o parse-prolog parse-prolog.o  -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.dylib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.dylib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.dylib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.dylib -lm /nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib/libATerm.dylib  
building pp-prolog.c
/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/strc -I /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/xtc -I ../sig  --main io-pp-prolog  -i pp-prolog.str -o pp-prolog.c -c
[ strc | info ] Compiling 'pp-prolog.str'
[ strc | info ] Front-end succeeded         : [user/system] = [0.97s/0.05s]
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.04s/0.00s]
[ strc | info ] Back-end succeeded          : [user/system] = [0.21s/0.01s]
[ strc | info ] Compilation succeeded       : [user/system] = [1.22s/0.06s]
building pp-prolog.o
gcc -DPACKAGE_NAME=\"prolog-tools\" -DPACKAGE_TARNAME=\"prolog-tools\" -DPACKAGE_VERSION=\"0.2\" -DPACKAGE_STRING=\"prolog-tools\ 0.2\" -DPACKAGE_BUGREPORT=\"visser@acm.org\" -DPACKAGE=\"prolog-tools\" -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=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"16985\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"prolog-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"prolog-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre16985\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.2pre16985\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"visser@acm.org\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"16985\"\)\) -DYYTEXT_POINTER=1 -DHAVE_DLFCN_H=1 -I.  -I/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/include -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include   -I/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/include    -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/nix/store/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/prolog-tools/XTC\"" -g -O2 -c pp-prolog.c
building pp-prolog
/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/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/prolog-tools/XTC\"" -g -O2 -bind_at_load  -o pp-prolog pp-prolog.o -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm   -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm   -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-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/4v762f5ai4c9ivbzyxfxlpvl80y05r17-prolog-tools/share/prolog-tools/XTC\" -g -O2 -bind_at_load -o pp-prolog pp-prolog.o  -L/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib -L/nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.dylib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.dylib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.dylib /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.dylib -lm /nix/store/533k158i0n72l53g3mfjskmz19wpvar3-aterm-2.5pre21238-26ra85lr/lib/libATerm.dylib  
building prolog-xtc-tools.rtree
/nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/bin/parse-stratego -I /nix/store/pmffjiyjczj83cym2sk6fl25zg02c9im-strategoxt-0.17pre18583-i573smdl/share/xtc -I ../sig -i prolog-xtc-tools.str -o prolog-xtc-tools.rtree 
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 all in tests
make[1]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
building all-recursive
Making all in syn
make[2]: Entering directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
building all-recursive
Making all 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:      
make[3]: Leaving directory `/private/tmp/nix-build-z1jlpp6ww9f3jcf3ljbbg9y8lkgn4la8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
Making all 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 `all'.
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:      
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 -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
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'