make flags: -
building all-recursive
-
Making all in .
-
make[1]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2'
-
building all-local
-
[ xtc | error ] repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC does not exist
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/xtc -r /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC import /...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC
-
Tools registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: config/tfm-cpp
-
Data registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC:
-
building all-local
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/xtc -r /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC register -l /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/config -V 0.5M2 -t tfm-cpp
-
Tools registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: config/tfm-cpp
-
make[1]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2'
-
Making all in c-grammar
-
make[1]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar'
-
building all-recursive
-
Making all in src
-
make[2]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src'
-
building all-recursive
-
Making all in syn
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/syn'
-
building C.edef-fast-
( echo definition; cat AdditiveExpressions.esdf AndExpressions.esdf AssignmentExpressions.esdf CastExpressions.esdf CharacterLiterals.esdf Characters.esdf CompoundStatements.esdf ConditionalExpressions.esdf ConstantExpressions.esdf C.esdf Declarations.esdf Declarators.esdf Designations.esdf EnumSpecifiers.esdf EqualityExpressions.esdf EscapeSequences.esdf ExclusiveOrExpressions.esdf ExpressionStatements.esdf Expressions.esdf FloatingLiterals.esdf FunctionDefinitions.esdf FunctionSpecifiers.esdf Identifiers.esdf InclusiveOrExpressions.esdf InitDeclarators.esdf Initializers.esdf IntegerLiterals.esdf IterationStatements.esdf JumpStatements.esdf Keywords.esdf LabeledStatements.esdf Layout.esdf Literals.esdf LogicalAndExpressions.esdf LogicalOrExpressions.esdf MultiplicativeExpressions.esdf ParameterDeclarations.esdf PostfixExpressions.esdf PrimaryExpressions.esdf RelationalExpressions.esdf SelectionStatements.esdf ShiftExpressions.esdf SpecifierQualifiers.esdf Specifiers.esdf Statements.esdf StorageClassSpecifiers.esdf StringLiterals.esdf StructOrUnionSpecifiers.esdf TranslationUnits.esdf TypeIds.esdf TypeQualifiers.esdf TypeSpecifiers.esdf UnaryExpressions.esdf ) > C.edef-fast
-
building delete-desugared-cons.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I . --verbose 0 -O 2 -m delete-desugared-cons -i delete-desugared-cons.str -o delete-desugared-cons.c -c
-
building delete-desugared-cons.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/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="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -c delete-desugared-cons.c
-
building delete-desugared-cons
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -o delete-desugared-cons delete-desugared-cons.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib.la' '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib-native.la' '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/libattrsdf-asfix.la'
-
mkdir .libs
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-transformers-c-tools/share/transformers-c-tools/XTC\" -g -O2 -o delete-desugared-cons delete-desugared-cons.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib-native.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/libattrsdf-asfix.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib
-
building C.edef-fast.af
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/pack-esdf \� -of ast \� -s AttrSdf \� -Idef C.edef-fast \� -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' \� -i ./C.esdf \� | /...-strategoxt-0.17pre17928-x2sni5sg/libexec/sdf-cons \� | ./delete-desugared-cons \� | XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/boxed-desugar -o C.edef-fast.af
-
including ./C.esdf
-
including TranslationUnits from C.edef-fast
-
including Declarations from C.edef-fast
-
including InitDeclarators from C.edef-fast
-
including Declarators from C.edef-fast
-
including ConstantExpressions from C.edef-fast
-
including ConditionalExpressions from C.edef-fast
-
including AssignmentExpressions from C.edef-fast
-
including Expressions from C.edef-fast
-
including LogicalOrExpressions from C.edef-fast
-
including LogicalAndExpressions from C.edef-fast
-
including InclusiveOrExpressions from C.edef-fast
-
including ExclusiveOrExpressions from C.edef-fast
-
including AndExpressions from C.edef-fast
-
including EqualityExpressions from C.edef-fast
-
including RelationalExpressions from C.edef-fast
-
including ShiftExpressions from C.edef-fast
-
including AdditiveExpressions from C.edef-fast
-
including MultiplicativeExpressions from C.edef-fast
-
including CastExpressions from C.edef-fast
-
including UnaryExpressions from C.edef-fast
-
including PostfixExpressions from C.edef-fast
-
including Initializers from C.edef-fast
-
including Designations from C.edef-fast
-
including Identifiers from C.edef-fast
-
including Characters from C.edef-fast
-
including Keywords from C.edef-fast
-
including Layout from C.edef-fast
-
including PrimaryExpressions from C.edef-fast
-
including Literals from C.edef-fast
-
including CharacterLiterals from C.edef-fast
-
including EscapeSequences from C.edef-fast
-
including EnumSpecifiers from C.edef-fast
-
including FloatingLiterals from C.edef-fast
-
including IntegerLiterals from C.edef-fast
-
including StringLiterals from C.edef-fast
-
including TypeIds from C.edef-fast
-
including TypeSpecifiers from C.edef-fast
-
including StructOrUnionSpecifiers from C.edef-fast
-
including SpecifierQualifiers from C.edef-fast
-
including TypeQualifiers from C.edef-fast
-
including ParameterDeclarations from C.edef-fast
-
including FunctionDefinitions from C.edef-fast
-
including CompoundStatements from C.edef-fast
-
including Statements from C.edef-fast
-
including ExpressionStatements from C.edef-fast
-
including IterationStatements from C.edef-fast
-
including JumpStatements from C.edef-fast
-
including LabeledStatements from C.edef-fast
-
including SelectionStatements from C.edef-fast
-
including Specifiers from C.edef-fast
-
including FunctionSpecifiers from C.edef-fast
-
including StorageClassSpecifiers from C.edef-fast
-
building C.edef-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/pp-attrsdf -i C.edef-fast.af -o C.edef
-
building C.edef-ag-af
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m C --desugar -i C.edef -o C.edef-ag-af \� --imp inc
-
parse-attrsdf-definition user 2.210000000000000e+00 system 6.000000000000000e-02
-
attrs-desugar-meta user 2.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-ns user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-lr_in user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-decl user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-dynattr user 1.000000000000000e-02 system 0.000000000000000e+00
-
total: user 2.270000000000000e+00 system 6.000000000000000e-02
-
building C.edef-ag
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m C --def-ag -i C.edef-ag-af -o C.edef-ag \� --imp inc
-
embed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
-
sdf-strip user 1.000000000000000e-02 system 0.000000000000000e+00
-
total: user 2.000000000000000e-02 system 0.000000000000000e+00
-
building C.tbl-ag
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m C --tbl-ag -i C.edef-ag -o C.tbl-ag \� --imp inc
-
pp-attrsdf user 3.900000000000000e-01 system 3.000000000000000e-02
-
SdfChecker:error: Main module not defined
-
--- Main
-
sdf2table user 4.870000000000000e+00 system 1.100000000000000e-01
-
deembed-attributes user 6.000000000000000e-02 system 1.000000000000000e-02
-
sdf-labelize user 3.000000000000000e-02 system 0.000000000000000e+00
-
total: user 5.350000000000000e+00 system 1.500000000000000e-01
-
building C.full-ag
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m C --full-ag -i C.tbl-ag -o C.full-ag \� --imp inc
-
clean-bad-parse-rules user 3.000000000000000e-02 system 0.000000000000000e+00
-
reject-useless-prods user 6.000000000000000e-02 system 0.000000000000000e+00
-
attr-defs user 5.100000000000000e-01 system 2.000000000000000e-02
-
total: user 6.000000000000000e-01 system 2.000000000000000e-02
-
building eval-C.str
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m eval-C --eval-ag -i C.full-ag -o eval-C.str \� --imp inc
-
attrc user 1.000000000000000e-01 system 0.000000000000000e+00
-
pp-stratego user 7.100000000000000e-01 system 4.000000000000000e-02
-
building C.rtg
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-sdf -i "C.edef-ag" \� | /...-strategoxt-0.17pre17928-x2sni5sg/bin/sdf2rtg -m C -o "C.rtg"
-
SdfChecker:error: Main module not defined
-
--- Main
-
building C.str-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/rtg2sig --module `basename "C"` -i C.rtg -o C.str
-
building eval-C.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I . --verbose 0 -O 2 -m eval-C -i eval-C.str -o eval-C.c -c
-
building eval_C-eval-C.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -g -O2 -c -o eval_C-eval-C.o `test -f 'eval-C.c' || echo './'`eval-C.c
-
building eval-C
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -g -O2 -o eval-C eval_C-eval-C.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib.la' '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib-native.la' '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/libattrsdf-asfix.la'
-
gcc -g -O2 -o eval-C eval_C-eval-C.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib-native.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/libattrsdf-asfix.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib
-
building C.tbl
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m C --sglr-tbl -i C.tbl-ag -o C.tbl \� --imp inc
-
clean-tbl-attributes user 3.000000000000000e-02 system 0.000000000000000e+00
-
total: user 3.000000000000000e-02 system 0.000000000000000e+00
-
building C.pp-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/boxed2pp-table -i C.edef-fast.af \� | /...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-pp-table -o C.pp
-
building C.pp.af-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/parse-pp-table -i C.pp -o C.pp.af
-
building all-local
-
Tools registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: eval-C
-
Data registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: C.edef-fast C.edef C.str C.tbl C.pp C.pp.af inc.str
-
rm C.tbl-ag C.rtg C.edef-ag delete-desugared-cons.c
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/syn'
-
Making all in gnusyn
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/gnusyn'
-
building GnuC.edef-fast.af
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/pack-esdf \� -of ast \� -s AttrSdf \� -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' \� -I . \� -Idef ../../../c-grammar/src/syn/C.edef-fast \� -i ./GnuC.esdf \� | /...-strategoxt-0.17pre17928-x2sni5sg/libexec/sdf-cons \� | XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/boxed-desugar -o GnuC.edef-fast.af
-
including ./GnuC.esdf
-
including TranslationUnits from ../../../c-grammar/src/syn/C.edef-fast
-
including Declarations from ../../../c-grammar/src/syn/C.edef-fast
-
including InitDeclarators from ../../../c-grammar/src/syn/C.edef-fast
-
including Declarators from ../../../c-grammar/src/syn/C.edef-fast
-
including ConstantExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including ConditionalExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including AssignmentExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including Expressions from ../../../c-grammar/src/syn/C.edef-fast
-
including LogicalOrExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including LogicalAndExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including InclusiveOrExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including ExclusiveOrExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including AndExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including EqualityExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including RelationalExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including ShiftExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including AdditiveExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including MultiplicativeExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including CastExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including UnaryExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including PostfixExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including Initializers from ../../../c-grammar/src/syn/C.edef-fast
-
including Designations from ../../../c-grammar/src/syn/C.edef-fast
-
including Identifiers from ../../../c-grammar/src/syn/C.edef-fast
-
including Characters from ../../../c-grammar/src/syn/C.edef-fast
-
including Keywords from ../../../c-grammar/src/syn/C.edef-fast
-
including Layout from ../../../c-grammar/src/syn/C.edef-fast
-
including PrimaryExpressions from ../../../c-grammar/src/syn/C.edef-fast
-
including Literals from ../../../c-grammar/src/syn/C.edef-fast
-
including CharacterLiterals from ../../../c-grammar/src/syn/C.edef-fast
-
including EscapeSequences from ../../../c-grammar/src/syn/C.edef-fast
-
including EnumSpecifiers from ../../../c-grammar/src/syn/C.edef-fast
-
including FloatingLiterals from ../../../c-grammar/src/syn/C.edef-fast
-
including IntegerLiterals from ../../../c-grammar/src/syn/C.edef-fast
-
including StringLiterals from ../../../c-grammar/src/syn/C.edef-fast
-
including TypeIds from ../../../c-grammar/src/syn/C.edef-fast
-
including TypeSpecifiers from ../../../c-grammar/src/syn/C.edef-fast
-
including StructOrUnionSpecifiers from ../../../c-grammar/src/syn/C.edef-fast
-
including SpecifierQualifiers from ../../../c-grammar/src/syn/C.edef-fast
-
including TypeQualifiers from ../../../c-grammar/src/syn/C.edef-fast
-
including ParameterDeclarations from ../../../c-grammar/src/syn/C.edef-fast
-
including FunctionDefinitions from ../../../c-grammar/src/syn/C.edef-fast
-
including CompoundStatements from ../../../c-grammar/src/syn/C.edef-fast
-
including Statements from ../../../c-grammar/src/syn/C.edef-fast
-
including ExpressionStatements from ../../../c-grammar/src/syn/C.edef-fast
-
including IterationStatements from ../../../c-grammar/src/syn/C.edef-fast
-
including JumpStatements from ../../../c-grammar/src/syn/C.edef-fast
-
including LabeledStatements from ../../../c-grammar/src/syn/C.edef-fast
-
including SelectionStatements from ../../../c-grammar/src/syn/C.edef-fast
-
including Specifiers from ../../../c-grammar/src/syn/C.edef-fast
-
including FunctionSpecifiers from ../../../c-grammar/src/syn/C.edef-fast
-
including StorageClassSpecifiers from ../../../c-grammar/src/syn/C.edef-fast
-
including ./NestedFunctions.esdf
-
building GnuC.edef-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/pp-attrsdf -i GnuC.edef-fast.af -o GnuC.edef
-
building GnuC.edef-ag-af
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m GnuC --desugar -i GnuC.edef -o GnuC.edef-ag-af \� --imp inc
-
parse-attrsdf-definition user 2.180000000000000e+00 system 4.000000000000000e-02
-
attrs-desugar-meta user 2.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-ns user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-lr_in user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-decl user 1.000000000000000e-02 system 1.000000000000000e-02
-
attrs-desugar-dynattr user 1.000000000000000e-02 system 0.000000000000000e+00
-
total: user 2.240000000000000e+00 system 5.000000000000000e-02
-
building GnuC.edef-ag
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m GnuC --def-ag -i GnuC.edef-ag-af -o GnuC.edef-ag \� --imp inc
-
embed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
-
sdf-strip user 1.000000000000000e-02 system 0.000000000000000e+00
-
total: user 2.000000000000000e-02 system 0.000000000000000e+00
-
building GnuC.tbl-ag
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m GnuC --tbl-ag -i GnuC.edef-ag -o GnuC.tbl-ag \� --imp inc
-
pp-attrsdf user 3.900000000000000e-01 system 5.000000000000000e-02
-
SdfChecker:error: Main module not defined
-
--- Main
-
sdf2table user 4.800000000000000e+00 system 1.100000000000000e-01
-
deembed-attributes user 6.000000000000000e-02 system 2.000000000000000e-02
-
sdf-labelize user 3.000000000000000e-02 system 0.000000000000000e+00
-
total: user 5.280000000000000e+00 system 1.800000000000000e-01
-
building GnuC.full-ag
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m GnuC --full-ag -i GnuC.tbl-ag -o GnuC.full-ag \� --imp inc
-
clean-bad-parse-rules user 3.000000000000000e-02 system 0.000000000000000e+00
-
reject-useless-prods user 5.000000000000000e-02 system 1.000000000000000e-02
-
attr-defs user 5.000000000000000e-01 system 3.000000000000000e-02
-
total: user 5.800000000000000e-01 system 4.000000000000000e-02
-
building eval-GnuC.str
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m eval-GnuC --eval-ag -i GnuC.full-ag -o eval-GnuC.str \� --imp inc
-
attrc user 1.000000000000000e-01 system 0.000000000000000e+00
-
pp-stratego user 7.200000000000000e-01 system 3.000000000000000e-02
-
building GnuC.rtg
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-sdf -i "GnuC.edef-ag" \� | /...-strategoxt-0.17pre17928-x2sni5sg/bin/sdf2rtg -m GnuC -o "GnuC.rtg"
-
SdfChecker:error: Main module not defined
-
--- Main
-
building GnuC.str-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/rtg2sig --module `basename "GnuC"` -i GnuC.rtg -o GnuC.str
-
building eval-GnuC.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I ../../../c-grammar/src/syn --verbose 0 -O 2 -m eval-GnuC -i eval-GnuC.str -o eval-GnuC.c -c
-
building eval_GnuC-eval-GnuC.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -g -O2 -c -o eval_GnuC-eval-GnuC.o `test -f 'eval-GnuC.c' || echo './'`eval-GnuC.c
-
building eval-GnuC
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -g -O2 -o eval-GnuC eval_GnuC-eval-GnuC.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib.la' '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib-native.la' '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/libattrsdf-asfix.la'
-
mkdir .libs
-
gcc -g -O2 -o eval-GnuC eval_GnuC-eval-GnuC.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib-native.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/libattrsdf-asfix.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib
-
building GnuC.tbl
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m GnuC --sglr-tbl -i GnuC.tbl-ag -o GnuC.tbl \� --imp inc
-
clean-tbl-attributes user 3.000000000000000e-02 system 0.000000000000000e+00
-
total: user 3.000000000000000e-02 system 0.000000000000000e+00
-
building GnuC.pp-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/boxed2pp-table -i GnuC.edef-fast.af \� | /...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-pp-table -o GnuC.pp
-
building GnuC.pp.af-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/parse-pp-table -i GnuC.pp -o GnuC.pp.af
-
building all-local
-
Tools registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: eval-GnuC
-
Data registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: GnuC.edef GnuC.tbl GnuC.pp GnuC.pp.af GnuC.str
-
rm GnuC.edef-ag GnuC.tbl-ag GnuC.rtg
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/gnusyn'
-
Making all in deterministic
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/deterministic'
-
building DetC.esdf-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2sdf-detgen -i ../../../c-grammar/src/syn/C.edef \� | XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/parse-attrsdf-definition \� | XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/detgen -b "<%>" -e "</%>" -m C \� | XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/pp-attrsdf -o DetC.esdf
-
building D.edef-fast.af
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/pack-esdf \� -s AttrSdf \� -of ast \� -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' \� -Idef ../../../c-grammar/src/syn/C.edef \� -I . \� -I . \� -i ./D.esdf -o D.edef-fast.af
-
including ./D.esdf
-
including C from ../../../c-grammar/src/syn/C.edef
-
including TranslationUnits from ../../../c-grammar/src/syn/C.edef
-
including Declarations from ../../../c-grammar/src/syn/C.edef
-
including InitDeclarators from ../../../c-grammar/src/syn/C.edef
-
including Declarators from ../../../c-grammar/src/syn/C.edef
-
including ConstantExpressions from ../../../c-grammar/src/syn/C.edef
-
including ConditionalExpressions from ../../../c-grammar/src/syn/C.edef
-
including AssignmentExpressions from ../../../c-grammar/src/syn/C.edef
-
including Expressions from ../../../c-grammar/src/syn/C.edef
-
including LogicalOrExpressions from ../../../c-grammar/src/syn/C.edef
-
including LogicalAndExpressions from ../../../c-grammar/src/syn/C.edef
-
including InclusiveOrExpressions from ../../../c-grammar/src/syn/C.edef
-
including ExclusiveOrExpressions from ../../../c-grammar/src/syn/C.edef
-
including AndExpressions from ../../../c-grammar/src/syn/C.edef
-
including EqualityExpressions from ../../../c-grammar/src/syn/C.edef
-
including RelationalExpressions from ../../../c-grammar/src/syn/C.edef
-
including ShiftExpressions from ../../../c-grammar/src/syn/C.edef
-
including AdditiveExpressions from ../../../c-grammar/src/syn/C.edef
-
including MultiplicativeExpressions from ../../../c-grammar/src/syn/C.edef
-
including CastExpressions from ../../../c-grammar/src/syn/C.edef
-
including UnaryExpressions from ../../../c-grammar/src/syn/C.edef
-
including PostfixExpressions from ../../../c-grammar/src/syn/C.edef
-
including Initializers from ../../../c-grammar/src/syn/C.edef
-
including Designations from ../../../c-grammar/src/syn/C.edef
-
including Identifiers from ../../../c-grammar/src/syn/C.edef
-
including Characters from ../../../c-grammar/src/syn/C.edef
-
including Keywords from ../../../c-grammar/src/syn/C.edef
-
including ./Layout.esdf
-
including PrimaryExpressions from ../../../c-grammar/src/syn/C.edef
-
including Literals from ../../../c-grammar/src/syn/C.edef
-
including CharacterLiterals from ../../../c-grammar/src/syn/C.edef
-
including EscapeSequences from ../../../c-grammar/src/syn/C.edef
-
including EnumSpecifiers from ../../../c-grammar/src/syn/C.edef
-
including FloatingLiterals from ../../../c-grammar/src/syn/C.edef
-
including IntegerLiterals from ../../../c-grammar/src/syn/C.edef
-
including StringLiterals from ../../../c-grammar/src/syn/C.edef
-
including TypeIds from ../../../c-grammar/src/syn/C.edef
-
including TypeSpecifiers from ../../../c-grammar/src/syn/C.edef
-
including StructOrUnionSpecifiers from ../../../c-grammar/src/syn/C.edef
-
including SpecifierQualifiers from ../../../c-grammar/src/syn/C.edef
-
including TypeQualifiers from ../../../c-grammar/src/syn/C.edef
-
including ParameterDeclarations from ../../../c-grammar/src/syn/C.edef
-
including FunctionDefinitions from ../../../c-grammar/src/syn/C.edef
-
including CompoundStatements from ../../../c-grammar/src/syn/C.edef
-
including Statements from ../../../c-grammar/src/syn/C.edef
-
including ExpressionStatements from ../../../c-grammar/src/syn/C.edef
-
including IterationStatements from ../../../c-grammar/src/syn/C.edef
-
including JumpStatements from ../../../c-grammar/src/syn/C.edef
-
including LabeledStatements from ../../../c-grammar/src/syn/C.edef
-
including SelectionStatements from ../../../c-grammar/src/syn/C.edef
-
including Specifiers from ../../../c-grammar/src/syn/C.edef
-
including FunctionSpecifiers from ../../../c-grammar/src/syn/C.edef
-
including StorageClassSpecifiers from ../../../c-grammar/src/syn/C.edef
-
including ./DetC.esdf
-
building D.edef-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/pp-attrsdf -i D.edef-fast.af -o D.edef
-
building D.edef-ag-af
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m D --desugar -i D.edef -o D.edef-ag-af \�
-
parse-attrsdf-definition user 2.320000000000000e+00 system 4.000000000000000e-02
-
attrs-desugar-meta user 2.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-ns user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-lr_in user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-decl user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-dynattr user 1.000000000000000e-02 system 1.000000000000000e-02
-
total: user 2.380000000000000e+00 system 5.000000000000000e-02
-
building D.def.af-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/sdf-strip -i D.edef-ag-af -o D.def.af
-
building D.def-
/...-strategoxt-0.17pre17928-x2sni5sg/libexec/sdf-desugar -i D.def.af \� | /...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-sdf -o D.def
-
building D.tbl
-
/...-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m D -i D.def -o D.tbl
-
SdfChecker:error: Main module not defined
-
--- Main
-
building D.pp-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/boxed2pp-table -i D.edef-fast.af \� | /...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-pp-table -o D.pp
-
building D.pp.af-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/parse-pp-table -i D.pp -o D.pp.af
-
building D.rtg
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/sdf2rtg -m D -i D.def -o D.rtg
-
SdfChecker:error: Main module not defined
-
--- Main
-
building D.str-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/rtg2sig --module `basename "D"` -i D.rtg -o D.str
-
building D.rtree-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/parse-stratego -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I ../../../c-grammar/src/syn -i D.str -o D.rtree
-
building all-local
-
Tools registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: D.edef D.tbl D.pp.af D.pp D.str D.rtree
-
rm D.rtg D.def
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/deterministic'
-
Making all in pp
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/pp'
-
building pp-c99.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc -I /...-strategoxt-0.17pre17928-x2sni5sg/share/gpp -I . -I ../../../config --main pp-c99 --verbose 0 -I /...-strategoxt-0.17pre17928-x2sni5sg/share/xtc -i pp-c99.str -o pp-c99.c -c
-
building pp-c99.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/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="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -c pp-c99.c
-
building pp-c99
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -o pp-c99 pp-c99.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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=\"/...-transformers-c-tools/share/transformers-c-tools/XTC\" -g -O2 -o pp-c99 pp-c99.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
building pp-d.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc -I /...-strategoxt-0.17pre17928-x2sni5sg/share/gpp -I . -I ../../../config --main pp-d --verbose 0 -I /...-strategoxt-0.17pre17928-x2sni5sg/share/xtc -i pp-d.str -o pp-d.c -c
-
building pp-d.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/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="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -c pp-d.c
-
building pp-d
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -o pp-d pp-d.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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=\"/...-transformers-c-tools/share/transformers-c-tools/XTC\" -g -O2 -o pp-d pp-d.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
building pp-c99.inc-
sed -e "/^pp-c99$/d" ../../../c-grammar/src/mancmds | sed -f ../../../config/seealso.sed >pp-c99.inc
-
building pp-c99.1-
help2man -S LRDE -i pp-c99.inc --no-info ./pp-c99 -o pp-c99.1
-
building pp-d.inc-
sed -e "/^pp-d$/d" ../../../c-grammar/src/mancmds | sed -f ../../../config/seealso.sed >pp-d.inc
-
building pp-d.1-
help2man -S LRDE -i pp-d.inc --no-info ./pp-d -o pp-d.1
-
building Options.pp.af-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/parse-pp-table -i Options.pp -o Options.pp.af
-
building all-local
-
Tools registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: pp-c99 pp-d
-
Data registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: Options.pp.af
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/pp'
-
Making all in converters
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/converters'
-
building afc2afd.str-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2sdf-detgen -i ../../../c-grammar/src/syn/C.edef | \� XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/gen-filters -d -b "<%>" -e "</%>" \� -m afc2afd -o afc2afd.str
-
building afc2afd.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc --main afc2afd --verbose 0 -I /...-strategoxt-0.17pre17928-x2sni5sg/share/xtc -i afc2afd.str -o afc2afd.c -c
-
building afc2afd.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/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="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -c afc2afd.c
-
building afc2afd
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -o afc2afd afc2afd.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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=\"/...-transformers-c-tools/share/transformers-c-tools/XTC\" -g -O2 -o afc2afd afc2afd.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
building afd2afc.str-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2sdf-detgen -i ../../../c-grammar/src/syn/C.edef | \� XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/gen-filters -f -b "<%>" -e "</%>" \� -m afd2afc -o afd2afc.str
-
building afd2afc.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc --main afd2afc --verbose 0 -I /...-strategoxt-0.17pre17928-x2sni5sg/share/xtc -i afd2afc.str -o afd2afc.c -c
-
building afd2afc.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/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="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -c afd2afc.c
-
building afd2afc
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -o afd2afc afd2afc.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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=\"/...-transformers-c-tools/share/transformers-c-tools/XTC\" -g -O2 -o afd2afc afd2afc.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
building all-local
-
Tools registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: afc2afd afd2afc
-
Data registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/converters'
-
Making all in strategoc
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/strategoc'
-
building ../../../c-grammar/src/syn/C.def.af
-
make \� -C ../../../c-grammar/src/syn/ \� C.def.af
-
make[4]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/syn'
-
building delete-desugared-cons.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I . --verbose 0 -O 2 -m delete-desugared-cons -i delete-desugared-cons.str -o delete-desugared-cons.c -c
-
building delete-desugared-cons.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/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="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -c delete-desugared-cons.c
-
building delete-desugared-cons
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -o delete-desugared-cons delete-desugared-cons.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib.la' '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib-native.la' '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/libattrsdf-asfix.la'
-
gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY=\"/...-transformers-c-tools/share/transformers-c-tools/XTC\" -g -O2 -o delete-desugared-cons delete-desugared-cons.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib-native.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/libattrsdf-asfix.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib
-
building C.edef-fast.af
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/pack-esdf \� -of ast \� -s AttrSdf \� -Idef C.edef-fast \� -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' \� -i ./C.esdf \� | /...-strategoxt-0.17pre17928-x2sni5sg/libexec/sdf-cons \� | ./delete-desugared-cons \� | XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/boxed-desugar -o C.edef-fast.af
-
including ./C.esdf
-
including TranslationUnits from C.edef-fast
-
including Declarations from C.edef-fast
-
including InitDeclarators from C.edef-fast
-
including Declarators from C.edef-fast
-
including ConstantExpressions from C.edef-fast
-
including ConditionalExpressions from C.edef-fast
-
including AssignmentExpressions from C.edef-fast
-
including Expressions from C.edef-fast
-
including LogicalOrExpressions from C.edef-fast
-
including LogicalAndExpressions from C.edef-fast
-
including InclusiveOrExpressions from C.edef-fast
-
including ExclusiveOrExpressions from C.edef-fast
-
including AndExpressions from C.edef-fast
-
including EqualityExpressions from C.edef-fast
-
including RelationalExpressions from C.edef-fast
-
including ShiftExpressions from C.edef-fast
-
including AdditiveExpressions from C.edef-fast
-
including MultiplicativeExpressions from C.edef-fast
-
including CastExpressions from C.edef-fast
-
including UnaryExpressions from C.edef-fast
-
including PostfixExpressions from C.edef-fast
-
including Initializers from C.edef-fast
-
including Designations from C.edef-fast
-
including Identifiers from C.edef-fast
-
including Characters from C.edef-fast
-
including Keywords from C.edef-fast
-
including Layout from C.edef-fast
-
including PrimaryExpressions from C.edef-fast
-
including Literals from C.edef-fast
-
including CharacterLiterals from C.edef-fast
-
including EscapeSequences from C.edef-fast
-
including EnumSpecifiers from C.edef-fast
-
including FloatingLiterals from C.edef-fast
-
including IntegerLiterals from C.edef-fast
-
including StringLiterals from C.edef-fast
-
including TypeIds from C.edef-fast
-
including TypeSpecifiers from C.edef-fast
-
including StructOrUnionSpecifiers from C.edef-fast
-
including SpecifierQualifiers from C.edef-fast
-
including TypeQualifiers from C.edef-fast
-
including ParameterDeclarations from C.edef-fast
-
including FunctionDefinitions from C.edef-fast
-
including CompoundStatements from C.edef-fast
-
including Statements from C.edef-fast
-
including ExpressionStatements from C.edef-fast
-
including IterationStatements from C.edef-fast
-
including JumpStatements from C.edef-fast
-
including LabeledStatements from C.edef-fast
-
including SelectionStatements from C.edef-fast
-
including Specifiers from C.edef-fast
-
including FunctionSpecifiers from C.edef-fast
-
including StorageClassSpecifiers from C.edef-fast
-
building C.edef-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/pp-attrsdf -i C.edef-fast.af -o C.edef
-
building C.edef-ag-af
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m C --desugar -i C.edef -o C.edef-ag-af \� --imp inc
-
parse-attrsdf-definition user 2.220000000000000e+00 system 5.000000000000000e-02
-
attrs-desugar-meta user 2.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-ns user 0.000000000000000e+00 system 1.000000000000000e-02
-
attrs-desugar-lr_in user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-decl user 1.000000000000000e-02 system 1.000000000000000e-02
-
attrs-desugar-dynattr user 1.000000000000000e-02 system 1.000000000000000e-02
-
total: user 2.270000000000000e+00 system 8.000000000000000e-02
-
building C.def.af-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/sdf-strip -i C.edef-ag-af -o C.def.af
-
make[4]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/syn'
-
building StrategoCGen.sdf-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/str-concrete -i ../../../c-grammar/src/syn/C.def.af \� --toterm '"|%T%[" %S% "]c|"' \� --toterm '"|%T%[" %S% "]|"' \� --toterm '"|%T%?[" %S%? "]c|"' \� --toterm '"|%T%?[" %S%? "]|"' \� --toterm '"|%T%+[" %S%+ "]c|"' \� --toterm '"|%T%+[" %S%+ "]|"' \� --fromterm '"~%S%:" %T% "~",%S%' \� --fromterm '"~%S%?:" %T% "~",%S%?' \� --fromterm '"~%S%+:" %T% "~",%S%+' \� --var "\"%S%\" [0-9]* [\\']*,%S%" \� --var "\"%S%\" [0-9]* \"-opt\" [\\']*,%S%?" \� --var "\"%S%\" [0-9]* \"-iter\" [\\']*,%S%+" \� --main StrategoCGen \� | /...-strategoxt-0.17pre17928-x2sni5sg/libexec/sdf-desugar \� | /...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-sdf -o StrategoCGen.sdf
-
building D.def.af-
ln -s ../../../c-grammar/src/deterministic/D.def.af D.def.af
-
building D.def-
/...-strategoxt-0.17pre17928-x2sni5sg/libexec/sdf-desugar -i D.def.af \� | /...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-sdf -o D.def
-
building StrategoC.def
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -I /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front -I . -I . -Idef D.def -i StrategoC.sdf -o StrategoC.def --dep StrategoC.dep
-
including ./StrategoC.sdf
-
including D from D.def
-
including C from D.def
-
including TranslationUnits from D.def
-
including Declarations from D.def
-
including InitDeclarators from D.def
-
including Declarators from D.def
-
including ConstantExpressions from D.def
-
including ConditionalExpressions from D.def
-
including AssignmentExpressions from D.def
-
including Expressions from D.def
-
including LogicalOrExpressions from D.def
-
including LogicalAndExpressions from D.def
-
including InclusiveOrExpressions from D.def
-
including ExclusiveOrExpressions from D.def
-
including AndExpressions from D.def
-
including EqualityExpressions from D.def
-
including RelationalExpressions from D.def
-
including ShiftExpressions from D.def
-
including AdditiveExpressions from D.def
-
including MultiplicativeExpressions from D.def
-
including CastExpressions from D.def
-
including UnaryExpressions from D.def
-
including PostfixExpressions from D.def
-
including Initializers from D.def
-
including Designations from D.def
-
including Identifiers from D.def
-
including Characters from D.def
-
including Keywords from D.def
-
including Layout from D.def
-
including PrimaryExpressions from D.def
-
including Literals from D.def
-
including CharacterLiterals from D.def
-
including EscapeSequences from D.def
-
including EnumSpecifiers from D.def
-
including FloatingLiterals from D.def
-
including IntegerLiterals from D.def
-
including StringLiterals from D.def
-
including TypeIds from D.def
-
including TypeSpecifiers from D.def
-
including StructOrUnionSpecifiers from D.def
-
including SpecifierQualifiers from D.def
-
including TypeQualifiers from D.def
-
including ParameterDeclarations from D.def
-
including FunctionDefinitions from D.def
-
including CompoundStatements from D.def
-
including Statements from D.def
-
including ExpressionStatements from D.def
-
including IterationStatements from D.def
-
including JumpStatements from D.def
-
including LabeledStatements from D.def
-
including SelectionStatements from D.def
-
including Specifiers from D.def
-
including FunctionSpecifiers from D.def
-
including StorageClassSpecifiers from D.def
-
including DetC from D.def
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/StrategoRenamed.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Layout.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Layout.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Identifiers.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Constants.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Constants.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Modules.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Modules.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Strategies.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Terms.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Signatures.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Signatures.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Terms.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Strategies.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Rules.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-DynamicRules.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Overlays.sdf
-
including ./CVariables.sdf
-
including ./StrategoCGen.sdf
-
building StrategoC.tbl
-
/...-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m StrategoC -i StrategoC.def -o StrategoC.tbl
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:error: start-symbol not defined by any production
-
--- StrategoModule [file: StrategoC.def line: 3362 col: 29]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" Type ")" -> ArgType { bracket } [file: StrategoC.def line: 1921 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: StrategoC.def line: 1734 col: 5]
-
SdfChecker:warning: undeclared sort
-
--- StrategoTerm [file: StrategoC.def line: 43 col: 83]
-
building all-local
-
Tools registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: StrategoC.tbl StrategoC.def StrategoC.sdf CVariables.sdf StrategoCGen.sdf
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/strategoc'
-
Making all in parser
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/parser'
-
building meta-delete-attrs.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc -I ../../../c-grammar/src/syn -I /...-strategoxt-0.17pre17928-x2sni5sg/share/gpp -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf-front -I ../../../c-grammar/src/strategoc -I /...-strategoxt-0.17pre17928-x2sni5sg/share/asfix-tools -I ../../../config -I . -I . --main io-meta-delete-attrs --verbose 0 -I /...-strategoxt-0.17pre17928-x2sni5sg/share/xtc --asfix -i meta-delete-attrs.str -o meta-delete-attrs.c -c
-
building meta-delete-attrs.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/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="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -c meta-delete-attrs.c
-
building meta-delete-attrs
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -o meta-delete-attrs meta-delete-attrs.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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=\"/...-transformers-c-tools/share/transformers-c-tools/XTC\" -g -O2 -o meta-delete-attrs meta-delete-attrs.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
building ParsePPDirective-build.rtree-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/parse-stratego -I ../../../c-grammar/src/syn -I /...-strategoxt-0.17pre17928-x2sni5sg/share/gpp -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf-front -I ../../../c-grammar/src/strategoc -I /...-strategoxt-0.17pre17928-x2sni5sg/share/asfix-tools -I ../../../config -I . -I . --asfix \� -i ./ParsePPDirective.str --verbose 0 | \� ./meta-delete-attrs -o ParsePPDirective-build.rtree
-
building meta-gen-concat.str-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/parse-stratego -I ../../../c-grammar/src/syn -I /...-strategoxt-0.17pre17928-x2sni5sg/share/gpp -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf-front -I ../../../c-grammar/src/strategoc -I /...-strategoxt-0.17pre17928-x2sni5sg/share/asfix-tools -I ../../../config -I . -I . --asfix \� -i ./meta-gen-concat-prot.str --verbose 0 | \� ./meta-delete-attrs | \� /...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-stratego -a | \� sed "s/^specification$/module meta-gen-concat/" >meta-gen-concat.str
-
building meta-gen-concat.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc -I ../../../c-grammar/src/syn -I /...-strategoxt-0.17pre17928-x2sni5sg/share/gpp -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf-front -I ../../../c-grammar/src/strategoc -I /...-strategoxt-0.17pre17928-x2sni5sg/share/asfix-tools -I ../../../config -I . -I . --main io-meta-gen-concat --verbose 0 -I /...-strategoxt-0.17pre17928-x2sni5sg/share/xtc --asfix -i meta-gen-concat.str -o meta-gen-concat.c -c
-
building meta-gen-concat.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/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="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -c meta-gen-concat.c
-
building meta-gen-concat
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -o meta-gen-concat meta-gen-concat.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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=\"/...-transformers-c-tools/share/transformers-c-tools/XTC\" -g -O2 -o meta-gen-concat meta-gen-concat.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
building AsfixConcat.rtree-
/...-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sglr -2t -p ../../../c-grammar/src/syn/C.tbl \� -i ./dummy.c | ./meta-gen-concat | \� /...-strategoxt-0.17pre17928-x2sni5sg/libexec/strc-core/meta-explode -o AsfixConcat.rtree
-
building parse-c99.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc -I ../../../c-grammar/src/syn -I /...-strategoxt-0.17pre17928-x2sni5sg/share/gpp -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf-front -I ../../../c-grammar/src/strategoc -I /...-strategoxt-0.17pre17928-x2sni5sg/share/asfix-tools -I ../../../config -I . -I . --main io-parse-c99 --verbose 0 -I /...-strategoxt-0.17pre17928-x2sni5sg/share/xtc --asfix -i parse-c99.str -o parse-c99.c -c
-
building parse-c99.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/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="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -c parse-c99.c
-
building parse-c99
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -o parse-c99 parse-c99.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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=\"/...-transformers-c-tools/share/transformers-c-tools/XTC\" -g -O2 -o parse-c99 parse-c99.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
building parse-c99.inc-
sed -e "/^parse-c99$/d" ../../../c-grammar/src/mancmds | \� sed -f ../../../config/seealso.sed >parse-c99.inc
-
building parse-c99.1-
help2man -S LRDE -i parse-c99.inc --no-info ./parse-c99 -o parse-c99.1
-
building all-local
-
Tools registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: parse-c99 c-parse-header.pl
-
Data registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src/parser'
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src'
-
make[3]: Nothing to be done for `all-am'.
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src'
-
make[2]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/src'
-
Making all in tests
-
make[2]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/tests'
-
building all-recursive
-
Making all in disambiguate
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/tests/disambiguate'
-
Makefile:751: warning: overriding commands for target `check-am'
-
Makefile:520: warning: ignoring old commands for target `check-am'
-
make[3]: Nothing to be done for `all'.
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/tests/disambiguate'
-
Making all in libc
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/tests/libc'
-
make[3]: Nothing to be done for `all'.
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/tests/libc'
-
Making all in gcc
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/tests/gcc'
-
make[3]: Nothing to be done for `all'.
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/tests/gcc'
-
Making all in misc
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/tests/misc'
-
make[3]: Nothing to be done for `all'.
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/tests/misc'
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/tests'
-
make[3]: Nothing to be done for `all-am'.
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/tests'
-
make[2]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar/tests'
-
make[2]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar'
-
make[2]: Nothing to be done for `all-am'.
-
make[2]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar'
-
make[1]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/c-grammar'
-
Making all in contract-c
-
make[1]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c'
-
building all-recursive
-
Making all in src
-
make[2]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c/src'
-
building all-recursive
-
Making all in syn
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c/src/syn'
-
building ContractC.edef-fast.af
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/pack-esdf \� -of ast \� -s AttrSdf \� -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' \� -I . \� -Idef ../../../c-grammar/src/syn/C.edef \� -i ./ContractC.esdf \� | XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/boxed-desugar -o ContractC.edef-fast.af
-
including ./ContractC.esdf
-
including TranslationUnits from ../../../c-grammar/src/syn/C.edef
-
including Declarations from ../../../c-grammar/src/syn/C.edef
-
including InitDeclarators from ../../../c-grammar/src/syn/C.edef
-
including Declarators from ../../../c-grammar/src/syn/C.edef
-
including ConstantExpressions from ../../../c-grammar/src/syn/C.edef
-
including ConditionalExpressions from ../../../c-grammar/src/syn/C.edef
-
including AssignmentExpressions from ../../../c-grammar/src/syn/C.edef
-
including Expressions from ../../../c-grammar/src/syn/C.edef
-
including LogicalOrExpressions from ../../../c-grammar/src/syn/C.edef
-
including LogicalAndExpressions from ../../../c-grammar/src/syn/C.edef
-
including InclusiveOrExpressions from ../../../c-grammar/src/syn/C.edef
-
including ExclusiveOrExpressions from ../../../c-grammar/src/syn/C.edef
-
including AndExpressions from ../../../c-grammar/src/syn/C.edef
-
including EqualityExpressions from ../../../c-grammar/src/syn/C.edef
-
including RelationalExpressions from ../../../c-grammar/src/syn/C.edef
-
including ShiftExpressions from ../../../c-grammar/src/syn/C.edef
-
including AdditiveExpressions from ../../../c-grammar/src/syn/C.edef
-
including MultiplicativeExpressions from ../../../c-grammar/src/syn/C.edef
-
including CastExpressions from ../../../c-grammar/src/syn/C.edef
-
including UnaryExpressions from ../../../c-grammar/src/syn/C.edef
-
including PostfixExpressions from ../../../c-grammar/src/syn/C.edef
-
including Initializers from ../../../c-grammar/src/syn/C.edef
-
including Designations from ../../../c-grammar/src/syn/C.edef
-
including Identifiers from ../../../c-grammar/src/syn/C.edef
-
including Characters from ../../../c-grammar/src/syn/C.edef
-
including Keywords from ../../../c-grammar/src/syn/C.edef
-
including Layout from ../../../c-grammar/src/syn/C.edef
-
including PrimaryExpressions from ../../../c-grammar/src/syn/C.edef
-
including Literals from ../../../c-grammar/src/syn/C.edef
-
including CharacterLiterals from ../../../c-grammar/src/syn/C.edef
-
including EscapeSequences from ../../../c-grammar/src/syn/C.edef
-
including EnumSpecifiers from ../../../c-grammar/src/syn/C.edef
-
including FloatingLiterals from ../../../c-grammar/src/syn/C.edef
-
including IntegerLiterals from ../../../c-grammar/src/syn/C.edef
-
including StringLiterals from ../../../c-grammar/src/syn/C.edef
-
including TypeIds from ../../../c-grammar/src/syn/C.edef
-
including TypeSpecifiers from ../../../c-grammar/src/syn/C.edef
-
including StructOrUnionSpecifiers from ../../../c-grammar/src/syn/C.edef
-
including SpecifierQualifiers from ../../../c-grammar/src/syn/C.edef
-
including TypeQualifiers from ../../../c-grammar/src/syn/C.edef
-
including ParameterDeclarations from ../../../c-grammar/src/syn/C.edef
-
including FunctionDefinitions from ../../../c-grammar/src/syn/C.edef
-
including CompoundStatements from ../../../c-grammar/src/syn/C.edef
-
including Statements from ../../../c-grammar/src/syn/C.edef
-
including ExpressionStatements from ../../../c-grammar/src/syn/C.edef
-
including IterationStatements from ../../../c-grammar/src/syn/C.edef
-
including JumpStatements from ../../../c-grammar/src/syn/C.edef
-
including LabeledStatements from ../../../c-grammar/src/syn/C.edef
-
including SelectionStatements from ../../../c-grammar/src/syn/C.edef
-
including Specifiers from ../../../c-grammar/src/syn/C.edef
-
including FunctionSpecifiers from ../../../c-grammar/src/syn/C.edef
-
including StorageClassSpecifiers from ../../../c-grammar/src/syn/C.edef
-
including ./PrePostConditions.esdf
-
building ContractC.edef-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/pp-attrsdf -i ContractC.edef-fast.af -o ContractC.edef
-
building ContractC.edef-ag-af
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m ContractC --desugar -i ContractC.edef -o ContractC.edef-ag-af \� --imp inc
-
parse-attrsdf-definition user 2.180000000000000e+00 system 4.000000000000000e-02
-
attrs-desugar-meta user 1.000000000000000e-02 system 1.000000000000000e-02
-
attrs-desugar-ns user 1.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-lr_in user 2.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-decl user 2.000000000000000e-02 system 0.000000000000000e+00
-
attrs-desugar-dynattr user 0.000000000000000e+00 system 0.000000000000000e+00
-
total: user 2.240000000000000e+00 system 5.000000000000000e-02
-
building ContractC.edef-ag
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m ContractC --def-ag -i ContractC.edef-ag-af -o ContractC.edef-ag \� --imp inc
-
embed-attributes user 1.000000000000000e-02 system 0.000000000000000e+00
-
sdf-strip user 1.000000000000000e-02 system 1.000000000000000e-02
-
total: user 2.000000000000000e-02 system 1.000000000000000e-02
-
building ContractC.tbl-ag
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m ContractC --tbl-ag -i ContractC.edef-ag -o ContractC.tbl-ag \� --imp inc
-
pp-attrsdf user 4.000000000000000e-01 system 2.000000000000000e-02
-
SdfChecker:error: Main module not defined
-
--- Main
-
sdf2table user 4.830000000000000e+00 system 1.600000000000000e-01
-
deembed-attributes user 6.000000000000000e-02 system 1.000000000000000e-02
-
sdf-labelize user 3.000000000000000e-02 system 1.000000000000000e-02
-
total: user 5.320000000000000e+00 system 2.000000000000000e-01
-
building ContractC.full-ag
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m ContractC --full-ag -i ContractC.tbl-ag -o ContractC.full-ag \� --imp inc
-
clean-bad-parse-rules user 3.000000000000000e-02 system 0.000000000000000e+00
-
reject-useless-prods user 6.000000000000000e-02 system 0.000000000000000e+00
-
attr-defs user 5.300000000000000e-01 system 2.000000000000000e-02
-
total: user 6.200000000000000e-01 system 3.000000000000000e-02
-
building eval-ContractC.str
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m eval-ContractC --eval-ag -i ContractC.full-ag -o eval-ContractC.str \� --imp inc
-
attrc user 1.100000000000000e-01 system 0.000000000000000e+00
-
pp-stratego user 7.500000000000000e-01 system 4.000000000000000e-02
-
building ContractC.def.af-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/sdf-strip -i ContractC.edef-ag-af -o ContractC.def.af
-
building ContractC.rtg
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-sdf -i "ContractC.edef-ag" \� | /...-strategoxt-0.17pre17928-x2sni5sg/bin/sdf2rtg -m ContractC -o "ContractC.rtg"
-
SdfChecker:error: Main module not defined
-
--- Main
-
building ContractC.str-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/rtg2sig --module `basename "ContractC"` -i ContractC.rtg -o ContractC.str
-
building eval-ContractC.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/sdf/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools' -I ../../../c-grammar/src/syn --verbose 0 -O 2 -m eval-ContractC -i eval-ContractC.str -o eval-ContractC.c -c
-
building eval_ContractC-eval-ContractC.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-aterm-2.5pre21238-26ra85lr/include -g -O2 -c -o eval_ContractC-eval-ContractC.o `test -f 'eval-ContractC.c' || echo './'`eval-ContractC.c
-
building eval-ContractC
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -g -O2 -o eval-ContractC eval_ContractC-eval-ContractC.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-runtime -lm -lATerm -L/...-aterm-2.5pre21238-26ra85lr/lib -lATerm '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib.la' '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib-native.la' '/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/libattrsdf-asfix.la'
-
mkdir .libs
-
gcc -g -O2 -o eval-ContractC eval_ContractC-eval-ContractC.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/liblazy-lib-native.so /...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib/libattrsdf-asfix.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-transformers-generic-tools-0.5M2pre2035-y64zji20/lib
-
building ContractC.tbl
-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/attrsdf2table -m ContractC --sglr-tbl -i ContractC.tbl-ag -o ContractC.tbl \� --imp inc
-
clean-tbl-attributes user 3.000000000000000e-02 system 0.000000000000000e+00
-
total: user 3.000000000000000e-02 system 0.000000000000000e+00
-
building ContractC.pp-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/boxed2pp-table -i ContractC.edef-fast.af \� | /...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-pp-table -o ContractC.pp
-
building ContractC.pp.af-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/parse-pp-table -i ContractC.pp -o ContractC.pp.af
-
building all-local
-
Tools registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: eval-ContractC
-
Data registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: ContractC.edef ContractC.tbl ContractC.rtg ContractC.pp ContractC.pp.af ContractC.str
-
rm ContractC.tbl-ag ContractC.edef-ag
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c/src/syn'
-
Making all in strcondc
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c/src/strcondc'
-
building StrategoContractCGen.sdf-
XTC_REPOSITORY='/...-transformers-generic-tools-0.5M2pre2035-y64zji20/share/transformers-generic-tools/XTC' /...-transformers-generic-tools-0.5M2pre2035-y64zji20/bin/str-concrete -i ../../../contract-c/src/syn/ContractC.def.af \� --toterm '"c:%T%|[" %S% "]|"' \� --toterm '"%T%|[" %S% "]|"' \� --toterm '"c:%T%?|[" %S%? "]|"' \� --toterm '"%T%?|[" %S%? "]|"' \� --toterm '"c:%T%+|[" %S%+ "]|"' \� --toterm '"%T%+|[" %S%+ "]|"' \� --fromterm '"~%S%:" %T% "~",%S%' \� --fromterm '"~%S%?:" %T% "~",%S%?' \� --fromterm '"~%S%+:" %T% "~",%S%+' \� --var "\"%S%\" [0-9]* [\\']*,%S%" \� --var "\"%S%\" [0-9]* \"-opt\" [\\']*,%S%?" \� --var "\"%S%\" [0-9]* \"-iter\" [\\']*,%S%+" \� --main StrategoContractCGen \� | /...-strategoxt-0.17pre17928-x2sni5sg/libexec/sdf-desugar \� | /...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-sdf -o StrategoContractCGen.sdf
-
building ContractC.def.af-
ln -s "../../../contract-c/src/syn/ContractC.def.af" "ContractC.def.af"
-
building ContractC.def-
/...-strategoxt-0.17pre17928-x2sni5sg/libexec/sdf-desugar -i ContractC.def.af \� | /...-strategoxt-0.17pre17928-x2sni5sg/bin/pp-sdf -o ContractC.def
-
building StrategoContractC.def
-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/pack-sdf -I /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front -I ../../../c-grammar/src/syn -I ../../../c-grammar/src/strategoc -I . -I . -Idef ContractC.def -i StrategoContractC.sdf -o StrategoContractC.def --dep StrategoContractC.dep
-
including ./StrategoContractC.sdf
-
including ContractC from ContractC.def
-
including TranslationUnits from ContractC.def
-
including Declarations from ContractC.def
-
including InitDeclarators from ContractC.def
-
including Declarators from ContractC.def
-
including ConstantExpressions from ContractC.def
-
including ConditionalExpressions from ContractC.def
-
including AssignmentExpressions from ContractC.def
-
including Expressions from ContractC.def
-
including LogicalOrExpressions from ContractC.def
-
including LogicalAndExpressions from ContractC.def
-
including InclusiveOrExpressions from ContractC.def
-
including ExclusiveOrExpressions from ContractC.def
-
including AndExpressions from ContractC.def
-
including EqualityExpressions from ContractC.def
-
including RelationalExpressions from ContractC.def
-
including ShiftExpressions from ContractC.def
-
including AdditiveExpressions from ContractC.def
-
including MultiplicativeExpressions from ContractC.def
-
including CastExpressions from ContractC.def
-
including UnaryExpressions from ContractC.def
-
including PostfixExpressions from ContractC.def
-
including Initializers from ContractC.def
-
including Designations from ContractC.def
-
including Identifiers from ContractC.def
-
including Characters from ContractC.def
-
including Keywords from ContractC.def
-
including Layout from ContractC.def
-
including PrimaryExpressions from ContractC.def
-
including Literals from ContractC.def
-
including CharacterLiterals from ContractC.def
-
including EscapeSequences from ContractC.def
-
including EnumSpecifiers from ContractC.def
-
including FloatingLiterals from ContractC.def
-
including IntegerLiterals from ContractC.def
-
including StringLiterals from ContractC.def
-
including TypeIds from ContractC.def
-
including TypeSpecifiers from ContractC.def
-
including StructOrUnionSpecifiers from ContractC.def
-
including SpecifierQualifiers from ContractC.def
-
including TypeQualifiers from ContractC.def
-
including ParameterDeclarations from ContractC.def
-
including FunctionDefinitions from ContractC.def
-
including CompoundStatements from ContractC.def
-
including Statements from ContractC.def
-
including ExpressionStatements from ContractC.def
-
including IterationStatements from ContractC.def
-
including JumpStatements from ContractC.def
-
including LabeledStatements from ContractC.def
-
including SelectionStatements from ContractC.def
-
including Specifiers from ContractC.def
-
including FunctionSpecifiers from ContractC.def
-
including StorageClassSpecifiers from ContractC.def
-
including PrePostConditions from ContractC.def
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/StrategoRenamed.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Layout.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Layout.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Identifiers.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Constants.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Constants.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Modules.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Modules.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Strategies.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Terms.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Core-Signatures.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Signatures.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Terms.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Strategies.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Rules.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-DynamicRules.sdf
-
including /...-strategoxt-0.17pre17928-x2sni5sg/share/sdf/stratego-front/Stratego-Sugar-Overlays.sdf
-
including ../../../c-grammar/src/strategoc/CVariables.sdf
-
including C from XTC repository
-
including C-Keywords from XTC repository
-
including C-Constants from XTC repository
-
including C-Lexical from XTC repository
-
including C-Preprocessor from XTC repository
-
including C-Declarators from XTC repository
-
including C-Program from XTC repository
-
including C-Statements from XTC repository
-
including C-Identifiers from XTC repository
-
including C-Types from XTC repository
-
including C-Expressions from XTC repository
-
including C-StructsAndUnions from XTC repository
-
including C-Enumerators from XTC repository
-
including C-ParameterDeclarators from XTC repository
-
including C-AbstractDeclarators from XTC repository
-
including ./ContractCVariables.sdf
-
including ./StrategoContractCGen.sdf
-
building StrategoContractC.tbl
-
/...-sdf2-bundle-2.4pre212034-37nm9z7p/bin/sdf2table -m StrategoContractC -i StrategoContractC.def -o StrategoContractC.tbl
-
SdfChecker:error: Main module not defined
-
--- Main
-
SdfChecker:error: symbol is not defined by any production
-
--- MemberIdDeclarator [file: StrategoContractC.def line: 1686 col: 20]
-
SdfChecker:error: start-symbol not defined by any production
-
--- StrategoModule [file: StrategoContractC.def line: 4020 col: 29]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" Type ")" -> ArgType { bracket } [file: StrategoContractC.def line: 2625 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "<" Strategy ">" -> StrategyAngle { bracket } [file: StrategoContractC.def line: 2438 col: 5]
-
SdfChecker:warning: undeclared sort
-
--- ParameterList [file: StrategoContractC.def line: 2262 col: 31]
-
SdfChecker:warning: undeclared sort
-
--- DeclarationSpecifierSeq [file: StrategoContractC.def line: 2260 col: 31]
-
SdfChecker:warning: undeclared sort
-
--- CompoundStatement [file: StrategoContractC.def line: 2256 col: 31]
-
SdfChecker:warning: undeclared sort
-
--- JumpStatement [file: StrategoContractC.def line: 2255 col: 31]
-
SdfChecker:warning: undeclared sort
-
--- Identifier [file: StrategoContractC.def line: 2254 col: 31]
-
SdfChecker:warning: undeclared sort
-
--- Expression [file: StrategoContractC.def line: 2253 col: 31]
-
SdfChecker:warning: undeclared sort
-
--- MemberDeclaration [file: StrategoContractC.def line: 2072 col: 19]
-
SdfChecker:warning: undeclared sort
-
--- ExternalDef [file: StrategoContractC.def line: 2071 col: 19]
-
SdfChecker:warning: undeclared sort
-
--- ConstantExp [file: StrategoContractC.def line: 2057 col: 19]
-
SdfChecker:warning: undeclared sort
-
--- LineFlag [file: StrategoContractC.def line: 2053 col: 48]
-
SdfChecker:warning: undeclared sort
-
--- IntLiteral [file: StrategoContractC.def line: 2053 col: 11]
-
SdfChecker:warning: undeclared sort
-
--- ID [file: StrategoContractC.def line: 2045 col: 23]
-
SdfChecker:warning: undeclared sort
-
--- Comment [file: StrategoContractC.def line: 2032 col: 31]
-
SdfChecker:warning: undeclared sort
-
--- TypedefName [file: StrategoContractC.def line: 2014 col: 13]
-
SdfChecker:warning: undeclared sort
-
--- PostfixingAbstractDeclarator [file: StrategoContractC.def line: 2009 col: 24]
-
SdfChecker:warning: undeclared sort
-
--- Pointer [file: StrategoContractC.def line: 2009 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- IdDeclarator [file: StrategoContractC.def line: 1992 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- TypeQualifier [file: StrategoContractC.def line: 1988 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- DeclarationQualifierList [file: StrategoContractC.def line: 1987 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- DeclarationSpecifier [file: StrategoContractC.def line: 1986 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- TypeSpecifier [file: StrategoContractC.def line: 1985 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- CompoundStm [file: StrategoContractC.def line: 1980 col: 30]
-
SdfChecker:warning: undeclared sort
-
--- Declaration [file: StrategoContractC.def line: 1978 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- Declaration [file: StrategoContractC.def line: 1944 col: 8]
-
SdfChecker:warning: undeclared sort
-
--- IdOrTypedefName [file: StrategoContractC.def line: 1938 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- TypedefName [file: StrategoContractC.def line: 1895 col: 42]
-
SdfChecker:warning: undeclared sort
-
--- ElaboratedTypeName [file: StrategoContractC.def line: 1895 col: 21]
-
SdfChecker:warning: undeclared sort
-
--- DeclarationQualifier [file: StrategoContractC.def line: 1885 col: 21]
-
SdfChecker:warning: undeclared sort
-
--- TypeOrDefName [file: StrategoContractC.def line: 1882 col: 19]
-
SdfChecker:warning: undeclared sort
-
--- Declarator [file: StrategoContractC.def line: 1874 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- Initializer [file: StrategoContractC.def line: 1873 col: 21]
-
SdfChecker:warning: undeclared sort
-
--- IdDeclarator [file: StrategoContractC.def line: 1872 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- VarDecl [file: StrategoContractC.def line: 1869 col: 46]
-
SdfChecker:warning: undeclared sort
-
--- TypeSpecifier [file: StrategoContractC.def line: 1869 col: 29]
-
SdfChecker:warning: undeclared sort
-
--- DeclarationSpecifier [file: StrategoContractC.def line: 1869 col: 6]
-
SdfChecker:warning: undeclared sort
-
--- Declaration [file: StrategoContractC.def line: 1868 col: 71]
-
SdfChecker:warning: undeclared sort
-
--- IdDecl [file: StrategoContractC.def line: 1868 col: 51]
-
SdfChecker:warning: undeclared sort
-
--- DeclarationQualifierList [file: StrategoContractC.def line: 1868 col: 6]
-
SdfChecker:warning: undeclared sort
-
--- TypeQualifier [file: StrategoContractC.def line: 1864 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- BasicTypeName [file: StrategoContractC.def line: 1853 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- StorageClass [file: StrategoContractC.def line: 1846 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- Keyword [file: StrategoContractC.def line: 2153 col: 18]
-
SdfChecker:warning: undeclared sort
-
--- IdOrTypedefName [file: StrategoContractC.def line: 1916 col: 19]
-
SdfChecker:warning: undeclared sort
-
--- TypedefName [file: StrategoContractC.def line: 1915 col: 19]
-
SdfChecker:warning: undeclared sort
-
--- Keyword [file: StrategoContractC.def line: 1907 col: 4]
-
SdfChecker:warning: bracket attribute should be applied to productions of the form '"..." X "..." -> X'
-
--- "(" CommaExp ")" -> PrimaryExp { bracket } [file: StrategoContractC.def line: 1702 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- TypeName [file: StrategoContractC.def line: 1732 col: 17]
-
SdfChecker:warning: undeclared sort
-
--- TypedefName [file: StrategoContractC.def line: 1717 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- StringLiteralList [file: StrategoContractC.def line: 1701 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- Constant [file: StrategoContractC.def line: 1700 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- ConstantExp [file: StrategoContractC.def line: 1690 col: 20]
-
SdfChecker:warning: undeclared sort
-
--- Declarator [file: StrategoContractC.def line: 1689 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MemberIdDeclarator [file: StrategoContractC.def line: 1686 col: 20]
-
SdfChecker:warning: undeclared sort
-
--- TypeQualifier [file: StrategoContractC.def line: 1686 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MemberDeclarator [file: StrategoContractC.def line: 1685 col: 20]
-
SdfChecker:warning: undeclared sort
-
--- TypeSpecifier [file: StrategoContractC.def line: 1685 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- MemberDeclaration [file: StrategoContractC.def line: 1677 col: 34]
-
SdfChecker:warning: undeclared sort
-
--- IdOrTypedefName [file: StrategoContractC.def line: 1677 col: 13]
-
SdfChecker:warning: undeclared sort
-
--- EnumSpecifier [file: StrategoContractC.def line: 1674 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- UnionSpecifier [file: StrategoContractC.def line: 1673 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- ElaboratedTypeName [file: StrategoContractC.def line: 1672 col: 23]
-
SdfChecker:warning: undeclared sort
-
--- StructSpecifier [file: StrategoContractC.def line: 1672 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- ConstantExp [file: StrategoContractC.def line: 1667 col: 8]
-
SdfChecker:warning: undeclared sort
-
--- EnumeratorValue [file: StrategoContractC.def line: 1664 col: 20]
-
SdfChecker:warning: undeclared sort
-
--- EnumSpecifier [file: StrategoContractC.def line: 1660 col: 57]
-
SdfChecker:warning: undeclared sort
-
--- Enumerator [file: StrategoContractC.def line: 1660 col: 33]
-
SdfChecker:warning: undeclared sort
-
--- IdOrTypedefName [file: StrategoContractC.def line: 1660 col: 11]
-
SdfChecker:warning: undeclared sort
-
--- TypeName [file: StrategoContractC.def line: 1654 col: 42]
-
SdfChecker:warning: undeclared sort
-
--- TypeQualifier [file: StrategoContractC.def line: 1651 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- DeclarationQualifierList [file: StrategoContractC.def line: 1650 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- TypedefDeclarator [file: StrategoContractC.def line: 1644 col: 45]
-
SdfChecker:warning: undeclared sort
-
--- TypeSpecifier [file: StrategoContractC.def line: 1644 col: 29]
-
SdfChecker:warning: undeclared sort
-
--- DeclarationSpecifier [file: StrategoContractC.def line: 1644 col: 6]
-
SdfChecker:warning: undeclared sort
-
--- ParamDeclaration [file: StrategoContractC.def line: 1643 col: 66]
-
SdfChecker:warning: undeclared sort
-
--- IdDeclarator [file: StrategoContractC.def line: 1643 col: 45]
-
SdfChecker:warning: undeclared sort
-
--- AbstractDeclarator [file: StrategoContractC.def line: 1643 col: 24]
-
SdfChecker:warning: undeclared sort
-
--- ParamDeclTypeSpec [file: StrategoContractC.def line: 1643 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- ConstantExp [file: StrategoContractC.def line: 1632 col: 33]
-
SdfChecker:warning: undeclared sort
-
--- ParamDeclaration [file: StrategoContractC.def line: 1628 col: 9]
-
SdfChecker:warning: undeclared sort
-
--- ArrayAbstractDeclarator [file: StrategoContractC.def line: 1627 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- PostfixingAbstractDeclarator [file: StrategoContractC.def line: 1621 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- PostfixAbstractDeclarator [file: StrategoContractC.def line: 1620 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- AbstractDeclarator [file: StrategoContractC.def line: 1619 col: 36]
-
SdfChecker:warning: undeclared sort
-
--- UnaryAbstractDeclarator [file: StrategoContractC.def line: 1619 col: 4]
-
SdfChecker:warning: undeclared sort
-
--- Pointer [file: StrategoContractC.def line: 1616 col: 26]
-
SdfChecker:warning: undeclared sort
-
--- TypeQualifier [file: StrategoContractC.def line: 1616 col: 8]
-
SdfChecker:warning: double declared sort
-
--- second occurrence [file: StrategoContractC.def line: 8 col: 16]
-
--- first occurrence [file: StrategoContractC.def line: 39 col: 30]
-
SdfChecker:warning: undeclared sort
-
--- StrategoTerm [file: StrategoContractC.def line: 44 col: 84]
-
building all-local
-
Tools registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: StrategoContractC.tbl StrategoContractC.def
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c/src/strcondc'
-
Making all in str
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c/src/str'
-
building contract-c.c-
/...-strategoxt-0.17pre17928-x2sni5sg/bin/strc -I ../../../contract-c/src/syn -I ../../../contract-c/src/strcondc --main contract-c --verbose 0 -i contract-c.str -o contract-c.c -c
-
building contract-c.o-
gcc -DPACKAGE_NAME=\"transformers-c-tools\" -DPACKAGE_TARNAME=\"transformers-c-tools\" -DPACKAGE_VERSION=\"0.5M2\" -DPACKAGE_STRING=\"transformers-c-tools\ 0.5M2\" -DPACKAGE_BUGREPORT=\"transformers-bugs@lrde.epita.fr\" -DPACKAGE=\"transformers-c-tools\" -DVERSION=\"0.5M2\" -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 -DHAVE_DLFCN_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DPACKAGE_NAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_TARNAME_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-c-tools\"\)\) -DPACKAGE_VERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DVERSION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0.5M2\"\)\) -DPACKAGE_BUGREPORT_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"transformers-bugs@lrde.epita.fr\"\)\) -DSVN_REVISION_TERM\(\)=\(\(ATerm\)\ ATmakeString\(\"0\"\)\) -I. -I/...-strategoxt-0.17pre17928-x2sni5sg/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17pre17928-x2sni5sg/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="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -c contract-c.c
-
building contract-c
-
/bin/sh ../../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-transformers-c-tools/share/transformers-c-tools/XTC\"" -g -O2 -o contract-c contract-c.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17pre17928-x2sni5sg/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=\"/...-transformers-c-tools/share/transformers-c-tools/XTC\" -g -O2 -o contract-c contract-c.o -L/...-strategoxt-0.17pre17928-x2sni5sg/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-xtc.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-lib-native.so /...-strategoxt-0.17pre17928-x2sni5sg/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17pre17928-x2sni5sg/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
building all-local
-
Tools registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC: contract-c
-
Data registered in repository /tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/BUILDTIME_XTC:
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c/src/str'
-
make[3]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c/src'
-
make[3]: Nothing to be done for `all-am'.
-
make[3]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c/src'
-
make[2]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c/src'
-
Making all in tests
-
make[2]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c/tests'
-
make[2]: Nothing to be done for `all'.
-
make[2]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c/tests'
-
make[2]: Entering directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c'
-
make[2]: Nothing to be done for `all-am'.
-
make[2]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c'
-
make[1]: Leaving directory `/tmp/nix-build-d9k3jdm0vxaz6vd3a5nv8xqm1a2mhr69-transformers-c-tools.drv-0/transformers-c-tools-0.5M2/contract-c'