• check flags:
  • Making check in toolbuslib
  • make[1]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib'
  • Making check in src
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src'
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib'
  • make[2]: Nothing to be done for `check-am'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib'
  • make[1]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib'
  • Making check in error-support
  • make[1]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support'
  • Making check in lib
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib'
  • Making check in utils
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils'
  • Making check in lift-error
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils/lift-error'
  • make check-TESTS
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils/lift-error'
  • PASS: example.sh
  • ==================
  • All 1 tests passed
  • ==================
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils/lift-error'
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils/lift-error'
  • Making check in lower-error
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils/lower-error'
  • make check-TESTS
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils/lower-error'
  • PASS: example.sh
  • ==================
  • All 1 tests passed
  • ==================
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils/lower-error'
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils/lower-error'
  • Making check in error-diff
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils/error-diff'
  • make[3]: Nothing to be done for `check'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils/error-diff'
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils'
  • make[3]: Nothing to be done for `check-am'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/utils'
  • Making check in doc
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/doc'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/doc'
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support'
  • make[2]: Nothing to be done for `check-am'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support'
  • make[1]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/error-support'
  • Making check in pt-support
  • make[1]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support'
  • Making check in libmept
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept'
  • Making check in libptmept
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept'
  • Making check in utils
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils'
  • Making check in implodePT
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT'
  • Making check in test
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test'
  • Making check in terms
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/terms'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/terms'
  • Making check in grammar
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/grammar'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/grammar'
  • Making check in in
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/in'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/in'
  • Making check in out
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/out'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/out'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test'
  • make check-TESTS
  • make[6]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test'
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Iter.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -X -l -p -o Iter.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Iter.tested ./out/Iter.ref' ;\
  • ) > Iter.sh && chmod +x Iter.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Iter-sep.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -X -l -p -o Iter-sep.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Iter-sep.tested ./out/Iter-sep.ref' ;\
  • ) > Iter-sep.sh && chmod +x Iter-sep.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Iter-star.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -X -l -p -o Iter-star.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Iter-star.tested ./out/Iter-star.ref' ;\
  • ) > Iter-star.sh && chmod +x Iter-star.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Iter-star-sep.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -X -l -p -o Iter-star-sep.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Iter-star-sep.tested ./out/Iter-star-sep.ref' ;\
  • ) > Iter-star-sep.sh && chmod +x Iter-star-sep.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Nesting-iter-sep1.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -X -l -p -o Nesting-iter-sep1.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Nesting-iter-sep1.tested ./out/Nesting-iter-sep1.ref' ;\
  • ) > Nesting-iter-sep1.sh && chmod +x Nesting-iter-sep1.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Nesting-iter-sep2.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -X -l -p -o Nesting-iter-sep2.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Nesting-iter-sep2.tested ./out/Nesting-iter-sep2.ref' ;\
  • ) > Nesting-iter-sep2.sh && chmod +x Nesting-iter-sep2.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Nesting-iter-star-sep.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -X -l -p -o Nesting-iter-star-sep.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Nesting-iter-star-sep.tested ./out/Nesting-iter-star-sep.ref' ;\
  • ) > Nesting-iter-star-sep.sh && chmod +x Nesting-iter-star-sep.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Empty-iter-star-sep.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -X -l -p -o Empty-iter-star-sep.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Empty-iter-star-sep.tested ./out/Empty-iter-star-sep.ref' ;\
  • ) > Empty-iter-star-sep.sh && chmod +x Empty-iter-star-sep.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Alt1a.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt1a.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Alt1a.tested ./out/Alt1a.ref' ;\
  • ) > Alt1a.sh && chmod +x Alt1a.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Alt1b.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt1b.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Alt1b.tested ./out/Alt1b.ref' ;\
  • ) > Alt1b.sh && chmod +x Alt1b.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Alt2a.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt2a.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Alt2a.tested ./out/Alt2a.ref' ;\
  • ) > Alt2a.sh && chmod +x Alt2a.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Alt2b.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt2b.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Alt2b.tested ./out/Alt2b.ref' ;\
  • ) > Alt2b.sh && chmod +x Alt2b.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Alt3a.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt3a.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Alt3a.tested ./out/Alt3a.ref' ;\
  • ) > Alt3a.sh && chmod +x Alt3a.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Alt3b.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt3b.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Alt3b.tested ./out/Alt3b.ref' ;\
  • ) > Alt3b.sh && chmod +x Alt3b.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Alt4a.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt4a.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Alt4a.tested ./out/Alt4a.ref' ;\
  • ) > Alt4a.sh && chmod +x Alt4a.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/SeqOpt1.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o SeqOpt1.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff SeqOpt1.tested ./out/SeqOpt1.ref' ;\
  • ) > SeqOpt1.sh && chmod +x SeqOpt1.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/SeqOpt2.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o SeqOpt2.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff SeqOpt2.tested ./out/SeqOpt2.ref' ;\
  • ) > SeqOpt2.sh && chmod +x SeqOpt2.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/SeqOpt3.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o SeqOpt3.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff SeqOpt3.tested ./out/SeqOpt3.ref' ;\
  • ) > SeqOpt3.sh && chmod +x SeqOpt3.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Seq.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Seq.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Seq.tested ./out/Seq.ref' ;\
  • ) > Seq.sh && chmod +x Seq.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Var1.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Var1.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Var1.tested ./out/Var1.ref' ;\
  • ) > Var1.sh && chmod +x Var1.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/Var2.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Var2.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff Var2.tested ./out/Var2.ref' ;\
  • ) > Var2.sh && chmod +x Var2.sh
  • (\
  • echo '#!/bin/sh' ;\
  • echo 'set -e' ;\
  • echo 'cat ./in/ListVar.in | \
  • ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -p -A -c -l -O -I -q -X -o ListVar.tested' ;\
  • echo '/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff/...-aterm-2.5pre22385-415v5lim/bin/atdiff ListVar.tested ./out/ListVar.ref' ;\
  • ) > ListVar.sh && chmod +x ListVar.sh
  • PASS: Iter.sh
  • PASS: Iter-sep.sh
  • PASS: Iter-star.sh
  • PASS: Iter-star-sep.sh
  • PASS: Nesting-iter-sep1.sh
  • PASS: Nesting-iter-sep2.sh
  • PASS: Nesting-iter-star-sep.sh
  • PASS: Empty-iter-star-sep.sh
  • PASS: Alt1a.sh
  • PASS: Alt1b.sh
  • PASS: Alt2a.sh
  • PASS: Alt2b.sh
  • PASS: Alt3a.sh
  • PASS: Alt3b.sh
  • PASS: Alt4a.sh
  • PASS: SeqOpt1.sh
  • PASS: SeqOpt2.sh
  • PASS: SeqOpt3.sh
  • PASS: Seq.sh
  • PASS: Var1.sh
  • PASS: Var2.sh
  • PASS: ListVar.sh
  • ===================
  • All 22 tests passed
  • ===================
  • make[6]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test'
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test'
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT'
  • make[4]: Nothing to be done for `check-am'.
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT'
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/implodePT'
  • Making check in filterPT
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT'
  • Making check in test
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test'
  • Making check in sdf
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/sdf'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/sdf'
  • Making check in terms
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/terms'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/terms'
  • Making check in in
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/in'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/in'
  • Making check in out
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/out'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/out'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test'
  • make check-TESTS
  • make[6]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test'
  • sed "s@__GRAMMAR__@Nested@g;\
  • s@__GRAMMAR_FLAGS__@-n Water@g;\
  • s@__FILTER__@../../../utils/filterPT/filterPT@g;\
  • s@__IMPLODE__@../../../utils/implodePT/implodePT@g;\
  • s@__SRCDIR__@.@g;\
  • s@__ATDIFF__@/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff@g/...-aterm-2.5pre22385-415v5lim/bin/atdiff@g;" < ./template.sh > Nested.sh && chmod +x Nested.sh
  • sed "s@__GRAMMAR__@Simple@g;\
  • s@__GRAMMAR_FLAGS__@-n Water@g;\
  • s@__FILTER__@../../../utils/filterPT/filterPT@g;\
  • s@__IMPLODE__@../../../utils/implodePT/implodePT@g;\
  • s@__SRCDIR__@.@g;\
  • s@__ATDIFF__@/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff@g/...-aterm-2.5pre22385-415v5lim/bin/atdiff@g;" < ./template.sh > Simple.sh && chmod +x Simple.sh
  • sed "s@__GRAMMAR__@Overlapping@g;\
  • s@__GRAMMAR_FLAGS__@-N Island@g;\
  • s@__FILTER__@../../../utils/filterPT/filterPT@g;\
  • s@__IMPLODE__@../../../utils/implodePT/implodePT@g;\
  • s@__SRCDIR__@.@g;\
  • s@__ATDIFF__@/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff@g/...-aterm-2.5pre22385-415v5lim/bin/atdiff@g;" < ./template.sh > Overlapping.sh && chmod +x Overlapping.sh
  • sed "s@__GRAMMAR__@Ambiguous@g;\
  • s@__GRAMMAR_FLAGS__@-n ThisNonterminalDoesNotExist@g;\
  • s@__FILTER__@../../../utils/filterPT/filterPT@g;\
  • s@__IMPLODE__@../../../utils/implodePT/implodePT@g;\
  • s@__SRCDIR__@.@g;\
  • s@__ATDIFF__@/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/atdiff@g/...-aterm-2.5pre22385-415v5lim/bin/atdiff@g;" < ./template.sh > Ambiguous.sh && chmod +x Ambiguous.sh
  • PASS: Nested.sh
  • PASS: Simple.sh
  • PASS: Overlapping.sh
  • PASS: Ambiguous.sh
  • ==================
  • All 4 tests passed
  • ==================
  • make[6]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test'
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test'
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT'
  • make[4]: Nothing to be done for `check-am'.
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT'
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils/filterPT'
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils'
  • make[3]: Nothing to be done for `check-am'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/utils'
  • Making check in test
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test'
  • Making check in terms
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test/terms'
  • make libtestTerms.a genTermsDict.sh
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test/terms'
  • sed 's@__ATERM__@/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim@g'/...-aterm-2.5pre22385-415v5lim@g' < genTermsDict.sh.src > genTermsDict.sh && chmod +x genTermsDict.sh
  • ./genTermsDict.sh ./*.pt > terms.dict
  • /nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/bin/dicttoc/...-aterm-2.5pre22385-415v5lim/bin/dicttoc -dict terms.dict
  • if gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"pt-support\" -DVERSION=\"2.1\" -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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -I. -I. -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -g -O2 -MT terms_dict.o -MD -MP -MF ".deps/terms_dict.Tpo" -c -o terms_dict.o terms_dict.c; \
  • then mv -f ".deps/terms_dict.Tpo" ".deps/terms_dict.Po"; else rm -f ".deps/terms_dict.Tpo"; exit 1; fi
  • rm -f libtestTerms.a
  • ar cru libtestTerms.a terms_dict.o
  • ranlib libtestTerms.a
  • make[4]: `genTermsDict.sh' is up to date.
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test/terms'
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test/terms'
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test'
  • make mept-test.exe
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test'
  • if gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"pt-support\" -DVERSION=\"2.1\" -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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -I. -I. -I../libmept -I../test/terms -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -g -O2 -MT mept-test.o -MD -MP -MF ".deps/mept-test.Tpo" -c -o mept-test.o mept-test.c; \
  • then mv -f ".deps/mept-test.Tpo" ".deps/mept-test.Po"; else rm -f ".deps/mept-test.Tpo"; exit 1; fi
  • /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o mept-test.exe mept-test.o -L../libmept -lmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lErrorAPI -lLocationAPI -lATB -lATerm -L../test/terms -ltestTerms -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lATerm
  • mkdir .libs
  • gcc -g -O2 -o .libs/mept-test.exe mept-test.o -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept /tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept/.libs/libmept.dll.a -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src /tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib/.libs/libErrorAPI.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib/.libs/libLocationAPI.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src/.libs/libATB.dll.a -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test/terms -ltestTerms /nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/libATerm.dll.a/...-aterm-2.5pre22385-415v5lim/lib/libATerm.dll.a -L/nix/store/9f49zc1ihbxfx5i0p6hpqhplvipfagqf-sdf2-bundle/lib/...-sdf2-bundle/lib -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib
  • creating mept-test.exe
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test'
  • make check-TESTS
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test'
  • PASS: mept-test
  • ==================
  • All 1 tests passed
  • ==================
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test'
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/test'
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support'
  • make[2]: Nothing to be done for `check-am'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support'
  • make[1]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support'
  • Making check in asf-support
  • make[1]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asf-support'
  • Making check in lib
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asf-support/lib'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asf-support/lib'
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asf-support'
  • make[2]: Nothing to be done for `check-am'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asf-support'
  • make[1]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asf-support'
  • Making check in sdf-support
  • make[1]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support'
  • Making check in lib
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/lib'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/lib'
  • Making check in utils
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils'
  • Making check in sdf-modules
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils/sdf-modules'
  • Making check in src
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils/sdf-modules/src'
  • make[4]: Nothing to be done for `check'.
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils/sdf-modules/src'
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils/sdf-modules'
  • make[4]: Nothing to be done for `check-am'.
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils/sdf-modules'
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils/sdf-modules'
  • Making check in sdf-renaming
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils/sdf-renaming'
  • Making check in src
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils/sdf-renaming/src'
  • make[4]: Nothing to be done for `check'.
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils/sdf-renaming/src'
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils/sdf-renaming'
  • make[4]: Nothing to be done for `check-am'.
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils/sdf-renaming'
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils/sdf-renaming'
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils'
  • make[3]: Nothing to be done for `check-am'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/utils'
  • Making check in test
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/test'
  • make pt2sdf.exe grammars.exe sorts.exe
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/test'
  • if gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"sdf-support\" -DVERSION=\"2.3\" -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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -I. -I. -I../lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -DSRC_DIR=\".\" -g -O2 -MT pt2sdf-test.o -MD -MP -MF ".deps/pt2sdf-test.Tpo" -c -o pt2sdf-test.o pt2sdf-test.c; \
  • then mv -f ".deps/pt2sdf-test.Tpo" ".deps/pt2sdf-test.Po"; else rm -f ".deps/pt2sdf-test.Tpo"; exit 1; fi
  • /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o pt2sdf.exe pt2sdf-test.o -L../lib -lPT2SDF -lSDFME -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lmept -lPTMEPT -lErrorAPI -lLocationAPI -lATB -lATerm -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lErrorAPI -lLocationAPI -lATB -lATerm -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lATerm
  • mkdir .libs
  • gcc -g -O2 -o .libs/pt2sdf.exe pt2sdf-test.o -L/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/lib /tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/lib/.libs/libPT2SDF.dll.a -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib /tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/lib/.libs/libSDFME.dll.a -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src /tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept/.libs/libPTMEPT.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept/.libs/libmept.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib/.libs/libErrorAPI.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib/.libs/libLocationAPI.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src/.libs/libATB.dll.a /nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/libATerm.dll.a/...-aterm-2.5pre22385-415v5lim/lib/libATerm.dll.a -L/nix/store/9f49zc1ihbxfx5i0p6hpqhplvipfagqf-sdf2-bundle/lib/...-sdf2-bundle/lib -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib
  • creating pt2sdf.exe
  • if gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"sdf-support\" -DVERSION=\"2.3\" -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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -I. -I. -I../lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -DSRC_DIR=\".\" -g -O2 -MT grammars.o -MD -MP -MF ".deps/grammars.Tpo" -c -o grammars.o grammars.c; \
  • then mv -f ".deps/grammars.Tpo" ".deps/grammars.Po"; else rm -f ".deps/grammars.Tpo"; exit 1; fi
  • /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o grammars.exe grammars.o -L../lib -lSDFME -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lmept -lPTMEPT -lErrorAPI -lLocationAPI -lATB -lATerm -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lATerm
  • gcc -g -O2 -o .libs/grammars.exe grammars.o -L/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/lib /tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/lib/.libs/libSDFME.dll.a -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src /tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept/.libs/libPTMEPT.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept/.libs/libmept.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib/.libs/libErrorAPI.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib/.libs/libLocationAPI.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src/.libs/libATB.dll.a /nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/libATerm.dll.a/...-aterm-2.5pre22385-415v5lim/lib/libATerm.dll.a -L/nix/store/9f49zc1ihbxfx5i0p6hpqhplvipfagqf-sdf2-bundle/lib/...-sdf2-bundle/lib -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib
  • creating grammars.exe
  • if gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"sdf-support\" -DVERSION=\"2.3\" -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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -I. -I. -I../lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -DSRC_DIR=\".\" -g -O2 -MT sorts.o -MD -MP -MF ".deps/sorts.Tpo" -c -o sorts.o sorts.c; \
  • then mv -f ".deps/sorts.Tpo" ".deps/sorts.Po"; else rm -f ".deps/sorts.Tpo"; exit 1; fi
  • /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o sorts.exe sorts.o -L../lib -lSDFME -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lmept -lPTMEPT -lErrorAPI -lLocationAPI -lATB -lATerm -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lATerm
  • gcc -g -O2 -o .libs/sorts.exe sorts.o -L/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/lib /tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/lib/.libs/libSDFME.dll.a -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src /tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept/.libs/libPTMEPT.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept/.libs/libmept.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib/.libs/libErrorAPI.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib/.libs/libLocationAPI.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src/.libs/libATB.dll.a /nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/libATerm.dll.a/...-aterm-2.5pre22385-415v5lim/lib/libATerm.dll.a -L/nix/store/9f49zc1ihbxfx5i0p6hpqhplvipfagqf-sdf2-bundle/lib/...-sdf2-bundle/lib -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib
  • creating sorts.exe
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/test'
  • make check-TESTS
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/test'
  • PASS: pt2sdf.exe
  • PASS: grammars.exe
  • PASS: sorts.exe
  • ==================
  • All 3 tests passed
  • ==================
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/test'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/test'
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support'
  • make[2]: Nothing to be done for `check-am'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support'
  • make[1]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support'
  • Making check in sglr
  • make[1]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr'
  • Making check in doc
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/doc'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/doc'
  • Making check in libsglr
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/libsglr'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/libsglr'
  • Making check in sglr
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/sglr'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/sglr'
  • Making check in dump
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/dump'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/dump'
  • Making check in restorebrackets
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/restorebrackets'
  • Making check in src
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/restorebrackets/src'
  • make[3]: Nothing to be done for `check'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/restorebrackets/src'
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/restorebrackets'
  • make[3]: Nothing to be done for `check-am'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/restorebrackets'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/restorebrackets'
  • Making check in test
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/test'
  • Making check in erroneous
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/test/erroneous'
  • make[3]: Nothing to be done for `check'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/test/erroneous'
  • Making check in tables
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/test/tables'
  • make[3]: Nothing to be done for `check'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/test/tables'
  • Making check in terms
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/test/terms'
  • make[3]: Nothing to be done for `check'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/test/terms'
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/test'
  • make check-TESTS
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/test'
  • sed "s@__ATERM__@/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim@g/...-aterm-2.5pre22385-415v5lim@g;\
  • s@__ERROR_SUPPORT__@/nix/store/9f49zc1ihbxfx5i0p6hpqhplvipfagqf-sdf2-bundle@g/...-sdf2-bundle@g;\
  • s@__SRCDIR__@.@g" < regress-terms.sh.src > regress-terms && chmod +x regress-terms
  • .....................
  • PASS: regress-terms
  • ==================
  • All 1 tests passed
  • ==================
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/test'
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/test'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/test'
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr'
  • make[2]: Nothing to be done for `check-am'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr'
  • make[1]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sglr'
  • Making check in tide-support
  • make[1]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/tide-support'
  • Making check in lib
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/tide-support/lib'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/tide-support/lib'
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/tide-support'
  • make[2]: Nothing to be done for `check-am'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/tide-support'
  • make[1]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/tide-support'
  • Making check in asc-support
  • make[1]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support'
  • Making check in utils
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/utils'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/utils'
  • Making check in lib
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/lib'
  • make check-am
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/lib'
  • make builtin-link-test.exe
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/lib'
  • if gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"asc-support\" -DVERSION=\"2.3\" -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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -I. -I. -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/tmp/nix-3156-0/sdf2-bundle-2.4/asf-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/libsglr -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/tmp/nix-3156-0/sdf2-bundle-2.4/tide-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -g -O2 -MT builtin-link-test.o -MD -MP -MF ".deps/builtin-link-test.Tpo" -c -o builtin-link-test.o builtin-link-test.c; \
  • then mv -f ".deps/builtin-link-test.Tpo" ".deps/builtin-link-test.Po"; else rm -f ".deps/builtin-link-test.Tpo"; exit 1; fi
  • /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o builtin-link-test.exe builtin-link-test.o -L. -lasc-support-me -L/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/libsglr -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lsglr -lmept -lPTMEPT -lErrorAPI -lLocationAPI -lATB -lATerm -L/tmp/nix-3156-0/sdf2-bundle-2.4/tide-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -ltide-adapter -lATB -lATerm -L/tmp/nix-3156-0/sdf2-bundle-2.4/asf-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lASFME -lmept -lPTMEPT -lErrorAPI -lLocationAPI -lATB -lATerm -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lmept -lPTMEPT -lErrorAPI -lLocationAPI -lATB -lATerm -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lATB -lATerm -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lErrorAPI -lLocationAPI -lATB -lATerm -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lATerm
  • gcc -g -O2 -o .libs/builtin-link-test.exe builtin-link-test.o -L/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/lib /tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/lib/.libs/libasc-support-me.dll.a -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/libsglr -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -L/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -L/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src /tmp/nix-3156-0/sdf2-bundle-2.4/sglr/libsglr/.libs/libsglr.dll.a -L/tmp/nix-3156-0/sdf2-bundle-2.4/tide-support/lib /tmp/nix-3156-0/sdf2-bundle-2.4/tide-support/lib/.libs/libtide-adapter.dll.a -L/tmp/nix-3156-0/sdf2-bundle-2.4/asf-support/lib /tmp/nix-3156-0/sdf2-bundle-2.4/asf-support/lib/.libs/libASFME.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept/.libs/libPTMEPT.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept/.libs/libmept.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib/.libs/libErrorAPI.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib/.libs/libLocationAPI.dll.a /tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src/.libs/libATB.dll.a /nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/libATerm.dll.a/...-aterm-2.5pre22385-415v5lim/lib/libATerm.dll.a -L/nix/store/9f49zc1ihbxfx5i0p6hpqhplvipfagqf-sdf2-bundle/lib/...-sdf2-bundle/lib -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib
  • creating builtin-link-test.exe
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/lib'
  • make check-TESTS
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/lib'
  • This program does nothing
  • PASS: builtin-link-test.exe
  • ==================
  • All 1 tests passed
  • ==================
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/lib'
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/lib'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/lib'
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support'
  • make[2]: Nothing to be done for `check-am'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support'
  • make[1]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support'
  • Making check in pgen
  • make[1]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen'
  • Making check in grammar
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/grammar'
  • make[2]: Nothing to be done for `check'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/grammar'
  • Making check in sdf-checker
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/sdf-checker'
  • Making check in src
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/sdf-checker/src'
  • make[3]: Nothing to be done for `check'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/sdf-checker/src'
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/sdf-checker'
  • make[3]: Nothing to be done for `check-am'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/sdf-checker'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/sdf-checker'
  • Making check in src
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/src'
  • make test-chars.exe
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/src'
  • if gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"pgen\" -DVERSION=\"2.4\" -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 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -I. -I. -I/tmp/nix-3156-0/sdf2-bundle-2.4/asc-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/tide-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/sglr/libsglr -I/tmp/nix-3156-0/sdf2-bundle-2.4/asf-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/pt-support/libptmept -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/tmp/nix-3156-0/sdf2-bundle-2.4/error-support/lib -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/tmp/nix-3156-0/sdf2-bundle-2.4/toolbuslib/src -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -I/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/include/...-aterm-2.5pre22385-415v5lim/include -g -O2 -MT test-chars.o -MD -MP -MF ".deps/test-chars.Tpo" -c -o test-chars.o test-chars.c; \
  • then mv -f ".deps/test-chars.Tpo" ".deps/test-chars.Po"; else rm -f ".deps/test-chars.Tpo"; exit 1; fi
  • /bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o test-chars.exe test-chars.o characters.o pgen-symbol.o -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -lATerm
  • gcc -g -O2 -o test-chars.exe test-chars.o characters.o pgen-symbol.o -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib /nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/libATerm.dll.a/...-aterm-2.5pre22385-415v5lim/lib/libATerm.dll.a -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib -L/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim/lib/...-aterm-2.5pre22385-415v5lim/lib
  • Info: resolving _ATempty by linking to __imp__ATempty (auto-import)
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/src'
  • make check-TESTS
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/src'
  • PASS: test-chars.exe
  • ==================
  • All 1 tests passed
  • ==================
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/src'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/src'
  • Making check in test
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test'
  • Making check in grammars
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test/grammars'
  • make[3]: Nothing to be done for `check'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test/grammars'
  • Making check in tables
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test/tables'
  • make[3]: Nothing to be done for `check'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test/tables'
  • Making check in terms
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test/terms'
  • make[3]: Nothing to be done for `check'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test/terms'
  • Making check in erroneous
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test/erroneous'
  • make[3]: Nothing to be done for `check'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test/erroneous'
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test'
  • make check-TESTS
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test'
  • sed "s@__TOP_BUILDDIR__@..@g;\
  • s@__TOP_SRCDIR__@..@g;\
  • s@__SGLR__@/nix/store/9f49zc1ihbxfx5i0p6hpqhplvipfagqf-sdf2-bundle@g/...-sdf2-bundle@g;\
  • s@__ERROR_SUPPORT__@/nix/store/9f49zc1ihbxfx5i0p6hpqhplvipfagqf-sdf2-bundle@g/...-sdf2-bundle@g;\
  • s@__ATERM__@/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim@g"/...-aterm-2.5pre22385-415v5lim@g" < regress-lang.sh.src > regress-lang && \
  • chmod +x regress-lang
  • sed "s@__TOP_BUILDDIR__@..@g;\
  • s@__TOP_SRCDIR__@..@g;\
  • s@__SGLR__@/nix/store/9f49zc1ihbxfx5i0p6hpqhplvipfagqf-sdf2-bundle@g/...-sdf2-bundle@g;\
  • s@__ERROR_SUPPORT__@/nix/store/9f49zc1ihbxfx5i0p6hpqhplvipfagqf-sdf2-bundle@g/...-sdf2-bundle@g;\
  • s@__ATERM__@/nix/store/g4f5c7kcjf067k9nx8lvpf9s3lasbmfc-aterm-2.5pre22385-415v5lim@g"/...-aterm-2.5pre22385-415v5lim@g" < regress-terms.sh.src > regress-terms && \
  • chmod +x regress-terms
  • Checking: ../test/grammars/Ambi.sdf
  • ..Checking: ../test/grammars/Backquote.sdf
  • ..Checking: ../test/grammars/Case-insensitive.sdf
  • ..Checking: ../test/grammars/Casl.sdf
  • ..Checking: ../test/grammars/Cyclops.sdf
  • ..Checking: ../test/grammars/Cyclops2.sdf
  • ..Checking: ../test/grammars/Flat.sdf
  • ..Checking: ../test/grammars/Follower.sdf
  • ..Checking: ../test/grammars/IdentifierPrefix.sdf
  • .Checking: ../test/grammars/Integers.sdf
  • ..Checking: ../test/grammars/Isle.sdf
  • ..Checking: ../test/grammars/Jacob.sdf
  • ..Checking: ../test/grammars/List.sdf
  • ..Checking: ../test/grammars/Pico.sdf
  • ..Checking: ../test/grammars/Prefer.sdf
  • ..Checking: ../test/grammars/Prefix.sdf
  • ..Checking: ../test/grammars/Risla.sdf
  • ..Checking: ../test/grammars/Sdf2.sdf
  • ..Checking: ../test/grammars/SimpleCobol.sdf
  • ..
  • PASS: regress-lang
  • ..........
  • PASS: regress-terms
  • ==================
  • All 2 tests passed
  • ==================
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test'
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/test'
  • Making check in removevarsyntax
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/removevarsyntax'
  • Making check in src
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/removevarsyntax/src'
  • make[3]: Nothing to be done for `check'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/removevarsyntax/src'
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/removevarsyntax'
  • make[3]: Nothing to be done for `check-am'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/removevarsyntax'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen/removevarsyntax'
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen'
  • make[2]: Nothing to be done for `check-am'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen'
  • make[1]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/pgen'
  • Making check in sdf-library
  • make[1]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library'
  • Making check in library
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library'
  • Making check in basic
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/basic'
  • make[3]: Nothing to be done for `check'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/basic'
  • Making check in languages
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages'
  • Making check in asf
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/asf'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/asf/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/asf/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/asf'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/asf'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/asf'
  • Making check in asfix
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/asfix'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/asfix/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/asfix/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/asfix'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/asfix'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/asfix'
  • Making check in aterm
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/aterm'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/aterm/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/aterm/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/aterm'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/aterm'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/aterm'
  • Making check in box
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/box'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/box/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/box/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/box'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/box'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/box'
  • Making check in bnf
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/bnf'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/bnf/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/bnf/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/bnf'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/bnf'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/bnf'
  • Making check in casl
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/casl'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/casl/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/casl/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/casl'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/casl'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/casl'
  • Making check in cpp
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/cpp'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/cpp/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/cpp/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/cpp'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/cpp'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/cpp'
  • Making check in ansi-c
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/ansi-c'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/ansi-c/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/ansi-c/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/ansi-c'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/ansi-c'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/ansi-c'
  • Making check in ebnf
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/ebnf'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/ebnf/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/ebnf/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/ebnf'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/ebnf'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/ebnf'
  • Making check in graph
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/graph'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/graph/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/graph/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/graph'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/graph'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/graph'
  • Making check in fortran
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/fortran'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/fortran/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/fortran/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/fortran'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/fortran'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/fortran'
  • Making check in fdl
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/fdl'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/fdl/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/fdl/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/fdl'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/fdl'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/fdl'
  • Making check in logo
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/logo'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/logo/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/logo/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/logo'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/logo'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/logo'
  • Making check in pico
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/pico'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/pico/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/pico/syntax'
  • Making check in examples
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/pico/examples'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/pico/examples'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/pico'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/pico'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/pico'
  • Making check in sdf2
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2/syntax'
  • Making check in idioms
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2/idioms'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2/idioms'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2'
  • Making check in generic-cpp
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/generic-cpp'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/generic-cpp/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/generic-cpp/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/generic-cpp'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/generic-cpp'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/generic-cpp'
  • Making check in java
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/java'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/java/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/java/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/java'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/java'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/java'
  • Making check in xml
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/xml'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/xml/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/xml/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/xml'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/xml'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/xml'
  • Making check in yacc
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/yacc'
  • Making check in syntax
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/yacc/syntax'
  • make[5]: Nothing to be done for `check'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/yacc/syntax'
  • make[5]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/yacc'
  • make[5]: Nothing to be done for `check-am'.
  • make[5]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/yacc'
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages/yacc'
  • make[4]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages'
  • make[4]: Nothing to be done for `check-am'.
  • make[4]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages'
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library/languages'
  • make[3]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library'
  • make[3]: Nothing to be done for `check-am'.
  • make[3]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library'
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library/library'
  • make[2]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library'
  • make[2]: Nothing to be done for `check-am'.
  • make[2]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library'
  • make[1]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4/sdf-library'
  • make[1]: Entering directory `/tmp/nix-3156-0/sdf2-bundle-2.4'
  • make[1]: Nothing to be done for `check-am'.
  • make[1]: Leaving directory `/tmp/nix-3156-0/sdf2-bundle-2.4'