check flags:
-
building check-recursive
-
Making check in latex
-
make[1]: Entering directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/latex'
-
building all-local
-
Tools registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC: pp-stratego-latex-alltt
-
Data registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/latex'
-
Making check in dot
-
make[1]: Entering directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot'
-
building check-recursive
-
Making check in syn
-
make[2]: Entering directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/syn'
-
building all-local
-
Tools registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC: Dot.tbl StrategoDot.tbl Dot.def StrategoDot.def Dot.sdf Layout.sdf Main.sdf QuotedLiterals.sdf StrategoDot.sdf
-
make[2]: Leaving directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/syn'
-
Making check in pp
-
make[2]: Entering directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/pp'
-
building all-local
-
Tools registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC: Dot.pp Dot-pretty.pp Dot.pp.af Dot-pretty.pp.af
-
make[2]: Leaving directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/pp'
-
Making check in sig
-
make[2]: Entering directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/sig'
-
building all-local
-
Tools registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC: Dot.rtree
-
make[2]: Leaving directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/sig'
-
Making check in xtc
-
make[2]: Entering directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/xtc'
-
building all-local
-
Tools registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC: pp-dot
-
Data registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/xtc'
-
Making check in trans
-
make[2]: Entering directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/trans'
-
building all-local
-
Tools registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC: term-to-adot
-
Data registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC:
-
building check-am
-
make term-to-adot-test
-
make[3]: Entering directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/trans'
-
building term-to-adot-test.c
-
/...-strategoxt-0.17M3pre17664-r77nysmx/bin/strc -I ../../dot/syn -I ../../dot/sig -I /...-strategoxt-0.17M3pre17664-r77nysmx/share/xtc --main term-to-adot-test -i term-to-adot-test.str -o term-to-adot-test.c -c
-
[ strc | info ] Compiling 'term-to-adot-test.str'
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor C used without parentheses
-
[ strc | warning ] Nullary constructor B used without parentheses
-
[ strc | warning ] Nullary constructor C used without parentheses
-
[ strc | info ] Front-end succeeded : [user/system] = [0.84s/0.05s]
-
[ strc | info ] Optimization succeeded -O 2 : [user/system] = [0.00s/0.00s]
-
[ strc | info ] Back-end succeeded : [user/system] = [0.26s/0.00s]
-
[ strc | info ] Compilation succeeded : [user/system] = [1.10s/0.05s]
-
building term-to-adot-test.o
-
gcc -DPACKAGE_NAME=\"strategoxt-utils\" -DPACKAGE_TARNAME=\"strategoxt-utils\" -DPACKAGE_VERSION=\"0.17\" -DPACKAGE_STRING=\"strategoxt-utils\ 0.17\" -DPACKAGE_BUGREPORT=\"stratego-bugs@cs.uu.nl\" -DPACKAGE=\"strategoxt-utils\" -DVERSION=\"0.17\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -DSVN_REVISION=\"0\" -DHAVE_DLFCN_H=1 -I. -I. -I/...-strategoxt-0.17M3pre17664-r77nysmx/include -I/...-aterm-2.5pre21238-26ra85lr/include -I/...-strategoxt-0.17M3pre17664-r77nysmx/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="\"/...-strategoxt-utils-0.17pre1689216892/share/strategoxt-utils/XTC\"" -g -O2 -c term-to-adot-test.c
-
building term-to-adot-test
-
/bin/sh ../../libtool --tag=CC --mode=link gcc -Wall -Wno-unused-label -Wno-unused-variable -Wno-unused-function -Wno-unused-parameter -DDEFAULT_XTC_REPOSITORY="\"/...-strategoxt-utils-0.17pre1689216892/share/strategoxt-utils/XTC\"" -g -O2 -o term-to-adot-test term-to-adot-test.o -L/...-strategoxt-0.17M3pre17664-r77nysmx/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17664-r77nysmx/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.17M3pre17664-r77nysmx/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-xtc -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17664-r77nysmx/lib -L/...-aterm-2.5pre21238-26ra85lr/lib -lstratego-lib -lstratego-lib-native -lstratego-runtime -lm -lATerm -L/...-strategoxt-0.17M3pre17664-r77nysmx/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=\"/...-strategoxt-utils-0.17pre1689216892/share/strategoxt-utils/XTC\" -g -O2 -o term-to-adot-test term-to-adot-test.o -L/...-strategoxt-0.17M3pre17664-r77nysmx/lib -L/...-aterm-2.5pre21238-26ra85lr/lib /...-strategoxt-0.17M3pre17664-r77nysmx/lib/libstratego-xtc.so /...-strategoxt-0.17M3pre17664-r77nysmx/lib/libstratego-lib.so /...-strategoxt-0.17M3pre17664-r77nysmx/lib/libstratego-lib-native.so /...-strategoxt-0.17M3pre17664-r77nysmx/lib/libstratego-runtime.so -lm /...-aterm-2.5pre21238-26ra85lr/lib/libATerm.so -Wl,--rpath -Wl,/...-strategoxt-0.17M3pre17664-r77nysmx/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib -Wl,--rpath -Wl,/...-strategoxt-0.17M3pre17664-r77nysmx/lib -Wl,--rpath -Wl,/...-aterm-2.5pre21238-26ra85lr/lib
-
make[3]: Leaving directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/trans'
-
make check-TESTS
-
make[3]: Entering directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/trans'
-
building check-TESTS
-
test suite: term-to-adot-test
-
term-to-tree-test
-
successes: 1
-
failures: 0
-
(1,0)
-
PASS: term-to-adot-test
-
==================
-
All 1 tests passed
-
==================
-
make[3]: Leaving directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/trans'
-
make[2]: Leaving directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot/trans'
-
make[2]: Entering directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot'
-
building all-local
-
Tools registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC:
-
make[2]: Leaving directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot'
-
make[1]: Leaving directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/dot'
-
make[1]: Entering directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892'
-
building all-local
-
/...-strategoxt-0.17M3pre17664-r77nysmx/bin/xtc -r /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC import /...-strategoxt-0.17M3pre17664-r77nysmx/share/strategoxt/XTC
-
Tools registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC:
-
Data registered in repository /tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892/BUILDTIME_XTC:
-
make[1]: Leaving directory `/tmp/nix-build-9avsx9snlhd00gfn3z1rkj2vsw05y2yg-strategoxt-utils-0.17pre1689216892.drv-0/strategoxt-utils-0.17pre16892'