make flags: -
building all-recursive
-
Making all in syn
-
make[1]: Entering directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/syn'
-
building Prolog.def
-
/...-strategoxt-0.17pre18583-i573smdl/bin/pack-sdf -I /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front -i Prolog.sdf -o Prolog.def --dep Prolog.dep
-
including ./Prolog.sdf
-
building Stratego-Prolog.def
-
/...-strategoxt-0.17pre18583-i573smdl/bin/pack-sdf -I /...-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 /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/StrategoRenamed.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Layout.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Layout.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Identifiers.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Constants.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Constants.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Modules.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Modules.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Strategies.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Terms.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Core-Signatures.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Signatures.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Terms.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Strategies.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Rules.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-DynamicRules.sdf
-
including /...-strategoxt-0.17pre18583-i573smdl/share/sdf/stratego-front/Stratego-Sugar-Overlays.sdf
-
including ./PrologRenamed.sdf
-
including ./Prolog.sdf
-
building Prolog.tbl
-
/...-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 /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Prolog.def Stratego-Prolog.def Prolog.tbl Stratego-Prolog.def GrammarRules.sdf Prolog.sdf PrologRenamed.sdf Stratego-Prolog.sdf
-
make[1]: Leaving directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/syn'
-
Making all in sig
-
make[1]: Entering directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/sig'
-
building Prolog.def-
ln -s ../syn/Prolog.def Prolog.def
-
building Prolog.rtg
-
/...-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-
/...-strategoxt-0.17pre18583-i573smdl/bin/rtg2sig --module `basename "Prolog"` -i Prolog.rtg -o Prolog.str
-
building Prolog.rtree-
/...-strategoxt-0.17pre18583-i573smdl/bin/parse-stratego -i Prolog.str -o Prolog.rtree
-
building all-local
-
Tools registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Prolog.rtree
-
rm Prolog.rtg
-
make[1]: Leaving directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/sig'
-
Making all in pp
-
make[1]: Entering directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-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-
/...-strategoxt-0.17pre18583-i573smdl/bin/parse-pp-table -i Prolog.pp -o Prolog.pp.af
-
building Prolog-pretty.pp.af-
/...-strategoxt-0.17pre18583-i573smdl/bin/parse-pp-table -i Prolog-pretty.pp -o Prolog-pretty.pp.af
-
building all-local
-
Tools registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: Prolog.pp.af Prolog-pretty.pp.af
-
rm Prolog.pp
-
make[1]: Leaving directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/pp'
-
Making all in meta
-
make[1]: Entering directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/meta'
-
building prolog-explode.c
-
/...-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("/...-strategoxt-0.17pre18583-i573smdl/share/stratego-lib"),IncludeDir("/...-strategoxt-0.17pre18583-i573smdl/share"),IncludeDir("/...-strategoxt-0.17pre18583-i573smdl/share/stratego-front"),IncludeDir("/...-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 /...-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.60s/0.01s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.01s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.25s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.86s/0.01s]
-
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=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -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/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-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="\"/...-prolog-tools/share/prolog-tools/XTC\"" -g -O2 -o prolog-explode prolog-explode.o -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-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=\"/...-prolog-tools/share/prolog-tools/XTC\" -g -O2 -o prolog-explode prolog-explode.o -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
building prolog-desugar.c
-
/...-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("/...-strategoxt-0.17pre18583-i573smdl/share/stratego-lib"),IncludeDir("/...-strategoxt-0.17pre18583-i573smdl/share"),IncludeDir("/...-strategoxt-0.17pre18583-i573smdl/share/stratego-front"),IncludeDir("/...-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 /...-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.56s/0.00s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.13s/0.01s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.69s/0.01s]
-
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=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -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/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-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="\"/...-prolog-tools/share/prolog-tools/XTC\"" -g -O2 -o prolog-desugar prolog-desugar.o -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-prolog-tools/share/prolog-tools/XTC\" -g -O2 -o prolog-desugar prolog-desugar.o -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
building all-local
-
Tools registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: prolog-explode prolog-desugar
-
Data registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/meta'
-
Making all in xtc
-
make[1]: Entering directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/xtc'
-
building parse-prolog.c
-
/...-strategoxt-0.17pre18583-i573smdl/bin/strc -I /...-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.60s/0.03s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.15s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.75s/0.03s]
-
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=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -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/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-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="\"/...-prolog-tools/share/prolog-tools/XTC\"" -g -O2 -o parse-prolog parse-prolog.o -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-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=\"/...-prolog-tools/share/prolog-tools/XTC\" -g -O2 -o parse-prolog parse-prolog.o -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
building pp-prolog.c
-
/...-strategoxt-0.17pre18583-i573smdl/bin/strc -I /...-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.61s/0.02s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.15s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [0.76s/0.02s]
-
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=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -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/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre18583-i573smdl/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-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="\"/...-prolog-tools/share/prolog-tools/XTC\"" -g -O2 -o pp-prolog pp-prolog.o -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-prolog-tools/share/prolog-tools/XTC\" -g -O2 -o pp-prolog pp-prolog.o -L/...-strategoxt-0.17pre18583-i573smdl/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-xtc.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-lib-native.so /...-strategoxt-0.17pre18583-i573smdl/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre18583-i573smdl/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
building prolog-xtc-tools.rtree-
/...-strategoxt-0.17pre18583-i573smdl/bin/parse-stratego -I /...-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 /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: parse-prolog pp-prolog
-
Data registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC: prolog-xtc-tools.rtree pl.meta
-
make[1]: Leaving directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/xtc'
-
Making all in tests
-
make[1]: Entering directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
-
building all-recursive
-
Making all in syn
-
make[2]: Entering directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
-
building all-recursive
-
Making all in prolog-prop
-
make[3]: Entering directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
-
building all-local
-
Tools registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/prolog-prop'
-
Making all in programs
-
make[3]: Entering directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/programs'
-
make[3]: Nothing to be done for `all'.
-
make[3]: Leaving directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn/programs'
-
make[3]: Entering directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
-
make[2]: Leaving directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests/syn'
-
make[2]: Entering directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
-
building all-local
-
Tools registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
-
make[1]: Leaving directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/tests'
-
make[1]: Entering directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985'
-
building all-local
-
/...-strategoxt-0.17pre18583-i573smdl/bin/xtc -r /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC import /...-strategoxt-0.17pre18583-i573smdl/share/strategoxt/XTC
-
Tools registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-bj6q7iky8wn881xjvynsa91v3rhi9bl8-prolog-tools.drv-0/prolog-tools-0.2pre16985'