check flags: building check-recursive Making check in libmept make[1]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/libmept' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/libmept' Making check in libptmept make[1]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/libptmept' make[1]: Nothing to be done for `check'. make[1]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/libptmept' Making check in utils make[1]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils' building check-recursive Making check in implodePT make[2]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT' building check-recursive Making check in test make[3]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test' building check-recursive Making check in terms make[4]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/terms' make[4]: Nothing to be done for `check'. make[4]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/terms' Making check in grammar make[4]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/grammar' make[4]: Nothing to be done for `check'. make[4]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/grammar' Making check in in make[4]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/in' make[4]: Nothing to be done for `check'. make[4]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/in' Making check in out make[4]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/out' make[4]: Nothing to be done for `check'. make[4]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/out' make[4]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test' building check-am make check-TESTS make[5]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 '/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test' make[4]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test' make[3]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT/test' make[3]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT' make[2]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/implodePT' Making check in filterPT make[2]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT' building check-recursive Making check in test make[3]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test' building check-recursive Making check in sdf make[4]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/sdf' make[4]: Nothing to be done for `check'. make[4]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/sdf' Making check in terms make[4]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/terms' make[4]: Nothing to be done for `check'. make[4]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/terms' Making check in in make[4]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/in' make[4]: Nothing to be done for `check'. make[4]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/in' Making check in out make[4]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/out' make[4]: Nothing to be done for `check'. make[4]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/out' make[4]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test' building check-am make check-TESTS make[5]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-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__@/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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__@/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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__@/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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__@/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test' make[4]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test' make[3]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT/test' make[3]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT' make[3]: Nothing to be done for `check-am'. make[3]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT' make[2]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils/filterPT' make[2]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils' make[2]: Nothing to be done for `check-am'. make[2]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils' make[1]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/utils' Making check in test make[1]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/test' building check-recursive Making check in terms make[2]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/test/terms' building check-am make libtestTerms.a genTermsDict.sh make[3]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/test/terms' building genTermsDict.sh sed 's@__ATERM__@/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q@g' < genTermsDict.sh.src > genTermsDict.sh && chmod +x genTermsDict.sh  building terms.dict ./genTermsDict.sh ./*.pt > terms.dict building terms_dict.c /nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -I. -I. -I/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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 `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/test/terms' make[2]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/test/terms' make[2]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/test' building check-am make mept-test make[3]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-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=8 -DSIZEOF_VOID_P=8 -DSIZEOF_INT=4 -DSIZEOF_LONG=8 -DSIZEOF_DOUBLE=8 -I. -I. -I../libmept -I../test/terms -I/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/include -I/nix/store/ya4c8vwdblw2gmys28l6arswymz8gzpc-error-support-1.6pre26366-s7k3ndxx/include -I/nix/store/0x5rcxf11pz1bl6b4h9pslx76m3i64v6-toolbuslib-1.2pre27200-23pdqv1w/include -I/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/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/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/lib -L/nix/store/ya4c8vwdblw2gmys28l6arswymz8gzpc-error-support-1.6pre26366-s7k3ndxx/lib -L/nix/store/0x5rcxf11pz1bl6b4h9pslx76m3i64v6-toolbuslib-1.2pre27200-23pdqv1w/lib -lErrorAPI -lLocationAPI -lATB -lnsl -lATerm -L../test/terms -ltestTerms -L/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/lib -lATerm  mkdir .libs gcc -g -O2 -o .libs/mept-test mept-test.o -L/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/libmept /tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/libmept/.libs/libmept.so -L/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/lib -L/nix/store/ya4c8vwdblw2gmys28l6arswymz8gzpc-error-support-1.6pre26366-s7k3ndxx/lib -L/nix/store/0x5rcxf11pz1bl6b4h9pslx76m3i64v6-toolbuslib-1.2pre27200-23pdqv1w/lib /nix/store/ya4c8vwdblw2gmys28l6arswymz8gzpc-error-support-1.6pre26366-s7k3ndxx/lib/libErrorAPI.so /nix/store/ya4c8vwdblw2gmys28l6arswymz8gzpc-error-support-1.6pre26366-s7k3ndxx/lib/libLocationAPI.so /nix/store/0x5rcxf11pz1bl6b4h9pslx76m3i64v6-toolbuslib-1.2pre27200-23pdqv1w/lib/libATB.so -lnsl -L/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/test/terms -ltestTerms /nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/lib/libATerm.so -Wl,--rpath -Wl,/nix/store/nz8m0ckrr0rs5c6l9w4q1psnqjsyngx1-pt-support/lib -Wl,--rpath -Wl,/nix/store/ya4c8vwdblw2gmys28l6arswymz8gzpc-error-support-1.6pre26366-s7k3ndxx/lib -Wl,--rpath -Wl,/nix/store/0x5rcxf11pz1bl6b4h9pslx76m3i64v6-toolbuslib-1.2pre27200-23pdqv1w/lib -Wl,--rpath -Wl,/nix/store/1kfv34x9p1n6wqgng8pjpr1xrqv8apgp-aterm-2.6pre24721-zsklmp1q/lib creating mept-test make[3]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/test' make check-TESTS make[3]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/test' building check-TESTS PASS: mept-test ================== All 1 tests passed ================== make[3]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/test' make[2]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/test' make[1]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4/test' make[1]: Entering directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4' make[1]: Nothing to be done for `check-am'. make[1]: Leaving directory `/tmp/nix-build-lwwadlccy0pscw90w2pmra8rx6ky6qfi-pt-support.drv-0/pt-support-2.4'