check flags: -
building check-recursive
-
Making check in libmept
-
make[1]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/libmept'
-
make[1]: Nothing to be done for `check'.
-
make[1]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/libmept'
-
Making check in libptmept
-
make[1]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/libptmept'
-
make[1]: Nothing to be done for `check'.
-
make[1]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/libptmept'
-
Making check in utils
-
make[1]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils'
-
building check-recursive
-
Making check in implodePT
-
make[2]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT'
-
building check-recursive
-
Making check in test
-
make[3]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test'
-
building check-recursive
-
Making check in terms
-
make[4]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/terms'
-
make[4]: Nothing to be done for `check'.
-
make[4]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/terms'
-
Making check in grammar
-
make[4]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/grammar'
-
make[4]: Nothing to be done for `check'.
-
make[4]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/grammar'
-
Making check in in
-
make[4]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/in'
-
make[4]: Nothing to be done for `check'.
-
make[4]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/in'
-
Making check in out
-
make[4]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/out'
-
make[4]: Nothing to be done for `check'.
-
make[4]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/out'
-
make[4]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test'
-
building check-am
-
make check-TESTS
-
make[5]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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[5]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test'
-
make[4]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test'
-
make[3]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT/test'
-
make[3]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT'
-
make[2]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/implodePT'
-
Making check in filterPT
-
make[2]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT'
-
building check-recursive
-
Making check in test
-
make[3]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test'
-
building check-recursive
-
Making check in sdf
-
make[4]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/sdf'
-
make[4]: Nothing to be done for `check'.
-
make[4]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/sdf'
-
Making check in terms
-
make[4]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/terms'
-
make[4]: Nothing to be done for `check'.
-
make[4]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/terms'
-
Making check in in
-
make[4]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/in'
-
make[4]: Nothing to be done for `check'.
-
make[4]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/in'
-
Making check in out
-
make[4]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/out'
-
make[4]: Nothing to be done for `check'.
-
make[4]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/out'
-
make[4]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test'
-
building check-am
-
make check-TESTS
-
make[5]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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.6pre24721-qy6yz6yp/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[5]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test'
-
make[4]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test'
-
make[3]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT/test'
-
make[3]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT'
-
make[3]: Nothing to be done for `check-am'.
-
make[3]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT'
-
make[2]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils/filterPT'
-
make[2]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils'
-
make[2]: Nothing to be done for `check-am'.
-
make[2]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils'
-
make[1]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/utils'
-
Making check in test
-
make[1]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test'
-
building check-recursive
-
Making check in terms
-
make[2]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test/terms'
-
building check-am
-
make libtestTerms.a genTermsDict.sh
-
make[3]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test/terms'
-
building genTermsDict.sh-
sed 's@__ATERM__@/...-aterm-2.6pre24721-qy6yz6yp@g' < genTermsDict.sh.src > genTermsDict.sh && chmod +x genTermsDict.sh
-
building terms.dict-
./genTermsDict.sh ./*.pt > terms.dict
-
building terms_dict.c-
/...-aterm-2.6pre24721-qy6yz6yp/bin/dicttoc -dict terms.dict
-
building terms_dict.o-
gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"pt-support\" -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 -D__EXTENSIONS__=1 -D_ALL_SOURCE=1 -D_GNU_SOURCE=1 -D_POSIX_PTHREAD_SEMANTICS=1 -D_TANDEM_SOURCE=1 -DALIGNOF_VOID_P=4 -DSIZEOF_VOID_P=4 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_DOUBLE=8 -I. -I. -I/...-aterm-2.6pre24721-qy6yz6yp/include -g -O2 -c terms_dict.c
-
building libtestTerms.a
-
rm -f libtestTerms.a
-
ar cru libtestTerms.a terms_dict.o
-
ranlib libtestTerms.a
-
make[3]: `genTermsDict.sh' is up to date.
-
make[3]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test/terms'
-
make[2]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test/terms'
-
make[2]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test'
-
building check-am
-
make mept-test
-
make[3]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test'
-
building mept-test.o-
gcc -DPACKAGE_NAME=\"\" -DPACKAGE_TARNAME=\"\" -DPACKAGE_VERSION=\"\" -DPACKAGE_STRING=\"\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE=\"pt-support\" -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 -D__EXTENSIONS__=1 -D_ALL_SOURCE=1 -D_GNU_SOURCE=1 -D_POSIX_PTHREAD_SEMANTICS=1 -D_TANDEM_SOURCE=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/...-aterm-2.6pre24721-qy6yz6yp/include -I/...-error-support-1.6pre26366-ksr9jhnh/include -I/...-toolbuslib-1.2pre27200-25nz9rx1/include -I/...-aterm-2.6pre24721-qy6yz6yp/include -g -O2 -c mept-test.c
-
building mept-test
-
/bin/sh ../libtool --tag=CC --mode=link gcc -g -O2 -o mept-test mept-test.o -L../libmept -lmept -L/...-aterm-2.6pre24721-qy6yz6yp/lib -L/...-error-support-1.6pre26366-ksr9jhnh/lib -L/...-toolbuslib-1.2pre27200-25nz9rx1/lib -lErrorAPI -lLocationAPI -lATB -lATerm -L../test/terms -ltestTerms -L/...-aterm-2.6pre24721-qy6yz6yp/lib -lATerm
-
mkdir .libs
-
gcc -g -O2 -o .libs/mept-test mept-test.o -L/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/libmept /private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/libmept/.libs/libmept.dylib -L/...-aterm-2.6pre24721-qy6yz6yp/lib -L/...-error-support-1.6pre26366-ksr9jhnh/lib -L/...-toolbuslib-1.2pre27200-25nz9rx1/lib /...-error-support-1.6pre26366-ksr9jhnh/lib/libErrorAPI.dylib /...-error-support-1.6pre26366-ksr9jhnh/lib/libLocationAPI.dylib /...-toolbuslib-1.2pre27200-25nz9rx1/lib/libATB.dylib -L/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test/terms -ltestTerms /...-aterm-2.6pre24721-qy6yz6yp/lib/libATerm.dylib
-
creating mept-test
-
make[3]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test'
-
make check-TESTS
-
make[3]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test'
-
building check-TESTS
-
PASS: mept-test
-
==================
-
All 1 tests passed
-
==================
-
make[3]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test'
-
make[2]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test'
-
make[1]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4/test'
-
make[1]: Entering directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4'
-
make[1]: Nothing to be done for `check-am'.
-
make[1]: Leaving directory `/private/tmp/nix-build-p0s65sjgmkn6c7w3c8br33agx47x7yah-pt-support.drv-0/pt-support-2.4'