check flags: -
building check-recursive
-
Making check in toolbuslib
-
make[1]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib'
-
building check-recursive
-
Making check in src
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src'
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib'
-
make[1]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib'
-
Making check in error-support
-
make[1]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support'
-
building check-recursive
-
Making check in lib
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib'
-
Making check in utils
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils'
-
building check-recursive
-
Making check in lift-error
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils/lift-error'
-
building check-am
-
make check-TESTS
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils/lift-error'
-
building example.sh
-
building check-TESTS
-
PASS: example.sh
-
==================
-
All 1 tests passed
-
==================
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils/lift-error'
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils/lift-error'
-
Making check in lower-error
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils/lower-error'
-
building check-am
-
make check-TESTS
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils/lower-error'
-
building example.sh
-
building check-TESTS
-
PASS: example.sh
-
==================
-
All 1 tests passed
-
==================
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils/lower-error'
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils/lower-error'
-
Making check in error-diff
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils/error-diff'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils/error-diff'
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/utils'
-
Making check in doc
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/doc'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/doc'
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support'
-
make[1]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support'
-
Making check in pt-support
-
make[1]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support'
-
building check-recursive
-
Making check in libmept
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept'
-
Making check in libptmept
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept'
-
Making check in utils
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils'
-
building check-recursive
-
Making check in implodePT
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT'
-
building check-recursive
-
Making check in test
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test'
-
building check-recursive
-
Making check in terms
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/terms'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/terms'
-
Making check in grammar
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/grammar'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/grammar'
-
Making check in in
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/in'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/in'
-
Making check in out
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/out'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test/out'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test'
-
building check-am
-
make check-TESTS
-
make[6]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test'
-
building Iter.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/Iter.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -X -l -p -o Iter.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Iter.tested ./out/Iter.ref' ;\� ) > Iter.sh && chmod +x Iter.sh
-
building Iter-sep.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 '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Iter-sep.tested ./out/Iter-sep.ref' ;\� ) > Iter-sep.sh && chmod +x Iter-sep.sh
-
building Iter-star.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 '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Iter-star.tested ./out/Iter-star.ref' ;\� ) > Iter-star.sh && chmod +x Iter-star.sh
-
building Iter-star-sep.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 '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Iter-star-sep.tested ./out/Iter-star-sep.ref' ;\� ) > Iter-star-sep.sh && chmod +x Iter-star-sep.sh
-
building Nesting-iter-sep1.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 '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Nesting-iter-sep1.tested ./out/Nesting-iter-sep1.ref' ;\� ) > Nesting-iter-sep1.sh && chmod +x Nesting-iter-sep1.sh
-
building Nesting-iter-sep2.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 '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Nesting-iter-sep2.tested ./out/Nesting-iter-sep2.ref' ;\� ) > Nesting-iter-sep2.sh && chmod +x Nesting-iter-sep2.sh
-
building Nesting-iter-star-sep.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 '/...-aterm-2.5pre21238-kl36fm4c/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
-
building Empty-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 '/...-aterm-2.5pre21238-kl36fm4c/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
-
building Alt1a.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/Alt1a.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt1a.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Alt1a.tested ./out/Alt1a.ref' ;\� ) > Alt1a.sh && chmod +x Alt1a.sh
-
building Alt1b.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/Alt1b.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt1b.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Alt1b.tested ./out/Alt1b.ref' ;\� ) > Alt1b.sh && chmod +x Alt1b.sh
-
building Alt2a.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/Alt2a.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt2a.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Alt2a.tested ./out/Alt2a.ref' ;\� ) > Alt2a.sh && chmod +x Alt2a.sh
-
building Alt2b.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/Alt2b.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt2b.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Alt2b.tested ./out/Alt2b.ref' ;\� ) > Alt2b.sh && chmod +x Alt2b.sh
-
building Alt3a.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/Alt3a.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt3a.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Alt3a.tested ./out/Alt3a.ref' ;\� ) > Alt3a.sh && chmod +x Alt3a.sh
-
building Alt3b.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/Alt3b.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt3b.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Alt3b.tested ./out/Alt3b.ref' ;\� ) > Alt3b.sh && chmod +x Alt3b.sh
-
building Alt4a.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/Alt4a.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Alt4a.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Alt4a.tested ./out/Alt4a.ref' ;\� ) > Alt4a.sh && chmod +x Alt4a.sh
-
building SeqOpt1.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/SeqOpt1.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o SeqOpt1.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff SeqOpt1.tested ./out/SeqOpt1.ref' ;\� ) > SeqOpt1.sh && chmod +x SeqOpt1.sh
-
building SeqOpt2.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/SeqOpt2.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o SeqOpt2.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff SeqOpt2.tested ./out/SeqOpt2.ref' ;\� ) > SeqOpt2.sh && chmod +x SeqOpt2.sh
-
building SeqOpt3.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/SeqOpt3.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o SeqOpt3.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff SeqOpt3.tested ./out/SeqOpt3.ref' ;\� ) > SeqOpt3.sh && chmod +x SeqOpt3.sh
-
building Seq.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/Seq.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Seq.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Seq.tested ./out/Seq.ref' ;\� ) > Seq.sh && chmod +x Seq.sh
-
building Var1.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/Var1.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Var1.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Var1.tested ./out/Var1.ref' ;\� ) > Var1.sh && chmod +x Var1.sh
-
building Var2.sh-
(\� echo '#!/bin/sh' ;\� echo 'set -e' ;\� echo 'cat ./in/Var2.in | \� ../../../utils/flattenPT | ../../../utils/implodePT/implodePT -o Var2.tested' ;\� echo '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff Var2.tested ./out/Var2.ref' ;\� ) > Var2.sh && chmod +x Var2.sh
-
building ListVar.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 '/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff ListVar.tested ./out/ListVar.ref' ;\� ) > ListVar.sh && chmod +x ListVar.sh
-
building check-TESTS
-
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 `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test'
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT/test'
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT'
-
make[4]: Nothing to be done for `check-am'.
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT'
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/implodePT'
-
Making check in filterPT
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT'
-
building check-recursive
-
Making check in test
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test'
-
building check-recursive
-
Making check in sdf
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/sdf'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/sdf'
-
Making check in terms
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/terms'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/terms'
-
Making check in in
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/in'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/in'
-
Making check in out
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/out'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test/out'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test'
-
building check-am
-
make check-TESTS
-
make[6]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test'
-
building Nested.sh-
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__@/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff@g;" < ./template.sh > Nested.sh && chmod +x Nested.sh
-
building Simple.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__@/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff@g;" < ./template.sh > Simple.sh && chmod +x Simple.sh
-
building Overlapping.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__@/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff@g;" < ./template.sh > Overlapping.sh && chmod +x Overlapping.sh
-
building Ambiguous.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__@/...-aterm-2.5pre21238-kl36fm4c/bin/atdiff@g;" < ./template.sh > Ambiguous.sh && chmod +x Ambiguous.sh
-
building check-TESTS
-
PASS: Nested.sh
-
PASS: Simple.sh
-
PASS: Overlapping.sh
-
PASS: Ambiguous.sh
-
==================
-
All 4 tests passed
-
==================
-
make[6]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test'
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT/test'
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT'
-
make[4]: Nothing to be done for `check-am'.
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT'
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils/filterPT'
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/utils'
-
Making check in test
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test'
-
building check-recursive
-
Making check in terms
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test/terms'
-
building check-am
-
make libtestTerms.a genTermsDict.sh
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test/terms'
-
building genTermsDict.sh-
sed 's@__ATERM__@/...-aterm-2.5pre21238-kl36fm4c@g' < genTermsDict.sh.src > genTermsDict.sh && chmod +x genTermsDict.sh
-
building terms.dict-
./genTermsDict.sh ./*.pt > terms.dict
-
building terms_dict.c-
/...-aterm-2.5pre21238-kl36fm4c/bin/dicttoc -dict terms.dict
-
building terms_dict.o-
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/...-aterm-2.5pre21238-kl36fm4c/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
-
building libtestTerms.a
-
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 `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test/terms'
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test/terms'
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test'
-
building check-am
-
make mept-test
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test'
-
building mept-test.o-
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/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/...-aterm-2.5pre21238-kl36fm4c/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
-
building mept-test
-
/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o mept-test mept-test.o -L../libmept -lmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -L/...-aterm-2.5pre21238-kl36fm4c/lib -lErrorAPI -lLocationAPI -lATB -lATerm -L../test/terms -ltestTerms -L/...-aterm-2.5pre21238-kl36fm4c/lib -lATerm
-
mkdir .libs
-
gcc -g -O2 -o .libs/mept-test mept-test.o -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept /private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept/.libs/libmept.dylib -L/...-aterm-2.5pre21238-kl36fm4c/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src /private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib/.libs/libErrorAPI.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib/.libs/libLocationAPI.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src/.libs/libATB.dylib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test/terms -ltestTerms /...-aterm-2.5pre21238-kl36fm4c/lib/libATerm.dylib
-
creating mept-test
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test'
-
make check-TESTS
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test'
-
building check-TESTS
-
PASS: mept-test
-
==================
-
All 1 tests passed
-
==================
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test'
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/test'
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support'
-
make[1]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support'
-
Making check in asf-support
-
make[1]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asf-support'
-
building check-recursive
-
Making check in lib
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asf-support/lib'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asf-support/lib'
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asf-support'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asf-support'
-
make[1]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asf-support'
-
Making check in sdf-support
-
make[1]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support'
-
building check-recursive
-
Making check in lib
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/lib'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/lib'
-
Making check in utils
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils'
-
building check-recursive
-
Making check in sdf-modules
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils/sdf-modules'
-
building check-recursive
-
Making check in src
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils/sdf-modules/src'
-
make[4]: Nothing to be done for `check'.
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils/sdf-modules/src'
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils/sdf-modules'
-
make[4]: Nothing to be done for `check-am'.
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils/sdf-modules'
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils/sdf-modules'
-
Making check in sdf-renaming
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils/sdf-renaming'
-
building check-recursive
-
Making check in src
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils/sdf-renaming/src'
-
make[4]: Nothing to be done for `check'.
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils/sdf-renaming/src'
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils/sdf-renaming'
-
make[4]: Nothing to be done for `check-am'.
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils/sdf-renaming'
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils/sdf-renaming'
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/utils'
-
Making check in test
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/test'
-
building check-am
-
make pt2sdf grammars sorts
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/test'
-
building pt2sdf-test.o-
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/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/...-aterm-2.5pre21238-kl36fm4c/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
-
building pt2sdf
-
/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o pt2sdf pt2sdf-test.o -L../lib -lPT2SDF -lSDFME -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -L/...-aterm-2.5pre21238-kl36fm4c/lib -lmept -lPTMEPT -lErrorAPI -lLocationAPI -lATB -lATerm -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -L/...-aterm-2.5pre21238-kl36fm4c/lib -lErrorAPI -lLocationAPI -lATB -lATerm -L/...-aterm-2.5pre21238-kl36fm4c/lib -lATerm
-
mkdir .libs
-
gcc -g -O2 -o .libs/pt2sdf pt2sdf-test.o -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/lib /private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/lib/.libs/libPT2SDF.dylib -L/...-aterm-2.5pre21238-kl36fm4c/lib /private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/lib/.libs/libSDFME.dylib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src /private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept/.libs/libPTMEPT.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept/.libs/libmept.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib/.libs/libErrorAPI.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib/.libs/libLocationAPI.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src/.libs/libATB.dylib /...-aterm-2.5pre21238-kl36fm4c/lib/libATerm.dylib
-
creating pt2sdf
-
building grammars.o-
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/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/...-aterm-2.5pre21238-kl36fm4c/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
-
building grammars
-
/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o grammars grammars.o -L../lib -lSDFME -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -L/...-aterm-2.5pre21238-kl36fm4c/lib -lmept -lPTMEPT -lErrorAPI -lLocationAPI -lATB -lATerm -L/...-aterm-2.5pre21238-kl36fm4c/lib -lATerm
-
gcc -g -O2 -o .libs/grammars grammars.o -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/lib /private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/lib/.libs/libSDFME.dylib -L/...-aterm-2.5pre21238-kl36fm4c/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src /private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept/.libs/libPTMEPT.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept/.libs/libmept.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib/.libs/libErrorAPI.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib/.libs/libLocationAPI.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src/.libs/libATB.dylib /...-aterm-2.5pre21238-kl36fm4c/lib/libATerm.dylib
-
creating grammars
-
building sorts.o-
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/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/...-aterm-2.5pre21238-kl36fm4c/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
-
building sorts
-
/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o sorts sorts.o -L../lib -lSDFME -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -L/...-aterm-2.5pre21238-kl36fm4c/lib -lmept -lPTMEPT -lErrorAPI -lLocationAPI -lATB -lATerm -L/...-aterm-2.5pre21238-kl36fm4c/lib -lATerm
-
gcc -g -O2 -o .libs/sorts sorts.o -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/lib /private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/lib/.libs/libSDFME.dylib -L/...-aterm-2.5pre21238-kl36fm4c/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src /private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept/.libs/libPTMEPT.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept/.libs/libmept.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib/.libs/libErrorAPI.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib/.libs/libLocationAPI.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src/.libs/libATB.dylib /...-aterm-2.5pre21238-kl36fm4c/lib/libATerm.dylib
-
creating sorts
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/test'
-
make check-TESTS
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/test'
-
building check-TESTS
-
PASS: pt2sdf
-
PASS: grammars
-
PASS: sorts
-
==================
-
All 3 tests passed
-
==================
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/test'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/test'
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support'
-
make[1]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support'
-
Making check in sglr
-
make[1]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr'
-
building check-recursive
-
Making check in doc
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/doc'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/doc'
-
Making check in libsglr
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/libsglr'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/libsglr'
-
Making check in sglr
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/sglr'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/sglr'
-
Making check in dump
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/dump'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/dump'
-
Making check in restorebrackets
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/restorebrackets'
-
building check-recursive
-
Making check in src
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/restorebrackets/src'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/restorebrackets/src'
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/restorebrackets'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/restorebrackets'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/restorebrackets'
-
Making check in test
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/test'
-
building check-recursive
-
Making check in erroneous
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/test/erroneous'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/test/erroneous'
-
Making check in tables
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/test/tables'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/test/tables'
-
Making check in terms
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/test/terms'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/test/terms'
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/test'
-
building check-am
-
make check-TESTS
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/test'
-
building regress-terms-
sed "s@__ATERM__@/...-aterm-2.5pre21238-kl36fm4c@g;\� s@__ERROR_SUPPORT__@/...-sdf2-bundle@g;\� s@__SRCDIR__@.@g" < regress-terms.sh.src > regress-terms && chmod +x regress-terms
-
building check-TESTS
-
.....................
-
PASS: regress-terms
-
==================
-
All 1 tests passed
-
==================
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/test'
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/test'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/test'
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr'
-
make[1]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr'
-
Making check in tide-support
-
make[1]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/tide-support'
-
building check-recursive
-
Making check in lib
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/tide-support/lib'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/tide-support/lib'
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/tide-support'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/tide-support'
-
make[1]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/tide-support'
-
Making check in asc-support
-
make[1]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support'
-
building check-recursive
-
Making check in utils
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/utils'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/utils'
-
Making check in lib
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/lib'
-
building check
-
make check-am
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/lib'
-
building check-am
-
make builtin-link-test
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/lib'
-
building builtin-link-test.o-
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/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/asf-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/libsglr -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/tide-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/...-aterm-2.5pre21238-kl36fm4c/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
-
building builtin-link-test
-
/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o builtin-link-test builtin-link-test.o -L. -lasc-support-me -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/libsglr -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -L/...-aterm-2.5pre21238-kl36fm4c/lib -lsglr -lmept -lPTMEPT -lErrorAPI -lLocationAPI -lATB -lATerm -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/tide-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -L/...-aterm-2.5pre21238-kl36fm4c/lib -ltide-adapter -lATB -lATerm -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/asf-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -L/...-aterm-2.5pre21238-kl36fm4c/lib -lASFME -lmept -lPTMEPT -lErrorAPI -lLocationAPI -lATB -lATerm -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -L/...-aterm-2.5pre21238-kl36fm4c/lib -lmept -lPTMEPT -lErrorAPI -lLocationAPI -lATB -lATerm -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -L/...-aterm-2.5pre21238-kl36fm4c/lib -lATB -lATerm -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -L/...-aterm-2.5pre21238-kl36fm4c/lib -lErrorAPI -lLocationAPI -lATB -lATerm -L/...-aterm-2.5pre21238-kl36fm4c/lib -lATerm
-
gcc -g -O2 -o .libs/builtin-link-test builtin-link-test.o -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/lib /private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/lib/.libs/libasc-support-me.dylib -L/...-aterm-2.5pre21238-kl36fm4c/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/libsglr -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src /private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/libsglr/.libs/libsglr.dylib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/tide-support/lib /private/tmp/nix-11643-0/sdf2-bundle-2.4/tide-support/lib/.libs/libtide-adapter.dylib -L/private/tmp/nix-11643-0/sdf2-bundle-2.4/asf-support/lib /private/tmp/nix-11643-0/sdf2-bundle-2.4/asf-support/lib/.libs/libASFME.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept/.libs/libPTMEPT.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept/.libs/libmept.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib/.libs/libErrorAPI.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib/.libs/libLocationAPI.dylib /private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src/.libs/libATB.dylib /...-aterm-2.5pre21238-kl36fm4c/lib/libATerm.dylib
-
creating builtin-link-test
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/lib'
-
make check-TESTS
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/lib'
-
building check-TESTS
-
This program does nothing
-
PASS: builtin-link-test
-
==================
-
All 1 tests passed
-
==================
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/lib'
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/lib'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/lib'
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support'
-
make[1]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support'
-
Making check in pgen
-
make[1]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen'
-
building check-recursive
-
Making check in grammar
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/grammar'
-
make[2]: Nothing to be done for `check'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/grammar'
-
Making check in sdf-checker
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/sdf-checker'
-
building check-recursive
-
Making check in src
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/sdf-checker/src'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/sdf-checker/src'
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/sdf-checker'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/sdf-checker'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/sdf-checker'
-
Making check in src
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/src'
-
building check-am
-
make test-chars
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/src'
-
building test-chars.o-
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/private/tmp/nix-11643-0/sdf2-bundle-2.4/asc-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/tide-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/sglr/libsglr -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/asf-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/pt-support/libptmept -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/error-support/lib -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/private/tmp/nix-11643-0/sdf2-bundle-2.4/toolbuslib/src -I/...-aterm-2.5pre21238-kl36fm4c/include -I/...-aterm-2.5pre21238-kl36fm4c/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
-
building test-chars
-
/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o test-chars test-chars.o characters.o pgen-symbol.o -L/...-aterm-2.5pre21238-kl36fm4c/lib -lATerm
-
gcc -g -O2 -o test-chars test-chars.o characters.o pgen-symbol.o -L/...-aterm-2.5pre21238-kl36fm4c/lib /...-aterm-2.5pre21238-kl36fm4c/lib/libATerm.dylib
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/src'
-
make check-TESTS
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/src'
-
building check-TESTS
-
PASS: test-chars
-
==================
-
All 1 tests passed
-
==================
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/src'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/src'
-
Making check in test
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test'
-
building check-recursive
-
Making check in grammars
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test/grammars'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test/grammars'
-
Making check in tables
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test/tables'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test/tables'
-
Making check in terms
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test/terms'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test/terms'
-
Making check in erroneous
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test/erroneous'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test/erroneous'
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test'
-
building check-am
-
make check-TESTS
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test'
-
building regress-lang-
sed "s@__TOP_BUILDDIR__@..@g;\� s@__TOP_SRCDIR__@..@g;\� s@__SGLR__@/...-sdf2-bundle@g;\� s@__ERROR_SUPPORT__@/...-sdf2-bundle@g;\� s@__ATERM__@/...-aterm-2.5pre21238-kl36fm4c@g" < regress-lang.sh.src > regress-lang && \� chmod +x regress-lang
-
building regress-terms-
sed "s@__TOP_BUILDDIR__@..@g;\� s@__TOP_SRCDIR__@..@g;\� s@__SGLR__@/...-sdf2-bundle@g;\� s@__ERROR_SUPPORT__@/...-sdf2-bundle@g;\� s@__ATERM__@/...-aterm-2.5pre21238-kl36fm4c@g" < regress-terms.sh.src > regress-terms && \� chmod +x regress-terms
-
building check-TESTS
-
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 `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test'
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/test'
-
Making check in removevarsyntax
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/removevarsyntax'
-
building check-recursive
-
Making check in src
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/removevarsyntax/src'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/removevarsyntax/src'
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/removevarsyntax'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/removevarsyntax'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen/removevarsyntax'
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen'
-
make[1]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/pgen'
-
Making check in sdf-library
-
make[1]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library'
-
building check-recursive
-
Making check in library
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library'
-
building check-recursive
-
Making check in basic
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/basic'
-
make[3]: Nothing to be done for `check'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/basic'
-
Making check in languages
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages'
-
building check-recursive
-
Making check in asf
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/asf'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/asf/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/asf/syntax'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/asf'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/asf'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/asf'
-
Making check in asfix
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/asfix'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/asfix/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/asfix/syntax'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/asfix'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/asfix'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/asfix'
-
Making check in aterm
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/aterm'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/aterm/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/aterm/syntax'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/aterm'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/aterm'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/aterm'
-
Making check in box
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/box'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/box/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/box/syntax'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/box'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/box'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/box'
-
Making check in casl
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/casl'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/casl/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/casl/syntax'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/casl'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/casl'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/casl'
-
Making check in cpp
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/cpp'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/cpp/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/cpp/syntax'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/cpp'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/cpp'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/cpp'
-
Making check in ansi-c
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/ansi-c'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/ansi-c/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/ansi-c/syntax'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/ansi-c'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/ansi-c'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/ansi-c'
-
Making check in graph
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/graph'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/graph/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/graph/syntax'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/graph'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/graph'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/graph'
-
Making check in fdl
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/fdl'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/fdl/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/fdl/syntax'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/fdl'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/fdl'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/fdl'
-
Making check in pico
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/pico'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/pico/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/pico/syntax'
-
Making check in examples
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/pico/examples'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/pico/examples'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/pico'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/pico'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/pico'
-
Making check in sdf2
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2/syntax'
-
Making check in idioms
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2/idioms'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2/idioms'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/sdf2'
-
Making check in generic-cpp
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/generic-cpp'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/generic-cpp/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/generic-cpp/syntax'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/generic-cpp'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/generic-cpp'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/generic-cpp'
-
Making check in java
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/java'
-
building check-recursive
-
Making check in syntax
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/java/syntax'
-
make[5]: Nothing to be done for `check'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/java/syntax'
-
make[5]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/java'
-
make[5]: Nothing to be done for `check-am'.
-
make[5]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/java'
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages/java'
-
make[4]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages'
-
make[4]: Nothing to be done for `check-am'.
-
make[4]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages'
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library/languages'
-
make[3]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library'
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library/library'
-
make[2]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library'
-
make[1]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4/sdf-library'
-
make[1]: Entering directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4'
-
make[1]: Nothing to be done for `check-am'.
-
make[1]: Leaving directory `/private/tmp/nix-11643-0/sdf2-bundle-2.4'