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 ] -> [ 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 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 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'