check flags:    
building check-recursive
Making check in libmept
make[1]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/libmept'
Making check in libptmept
make[1]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/libptmept'
Making check in utils
make[1]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils'
building check-recursive
Making check in implodePT
make[2]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/terms'
Making check in grammar
make[4]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/grammar'
Making check in in
make[4]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/in'
Making check in out
make[4]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/implodePT/test/out'
make[4]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/implodePT/test'
make[4]: Leaving directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/implodePT/test'
make[3]: Leaving directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/implodePT/test'
make[3]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/implodePT'
make[2]: Leaving directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/implodePT'
Making check in filterPT
make[2]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/sdf'
Making check in terms
make[4]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/terms'
Making check in in
make[4]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/in'
Making check in out
make[4]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/filterPT/test/out'
make[4]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/filterPT/test'
make[4]: Leaving directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/filterPT/test'
make[3]: Leaving directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/filterPT/test'
make[3]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/filterPT'
make[2]: Leaving directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils/filterPT'
make[2]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils'
make[1]: Leaving directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/utils'
Making check in test
make[1]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/test'
building check-recursive
Making check in terms
make[2]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/test/terms'
building genTermsDict.sh
sed 's@__ATERM__@/nix/store/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj@g' < genTermsDict.sh.src > genTermsDict.sh && chmod +x genTermsDict.sh	
building terms.dict
./genTermsDict.sh ./*.pt > terms.dict
building terms_dict.c
/nix/store/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/nix/store/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/test/terms'
make[2]: Leaving directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/test/terms'
make[2]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/test'
building check-am
make  mept-test
make[3]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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/nix/store/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/include -I/nix/store/jm9137m9csgd7fcr2gw8aj0drhr96vq7-error-support-1.6pre26366-s7y23jyj/include -I/nix/store/ssnvzm63ijbvxpb3f9infg25kkkcmgm3-toolbuslib-1.2pre27200-qpyv0pgz/include   -I/nix/store/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/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/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/lib -L/nix/store/jm9137m9csgd7fcr2gw8aj0drhr96vq7-error-support-1.6pre26366-s7y23jyj/lib -L/nix/store/ssnvzm63ijbvxpb3f9infg25kkkcmgm3-toolbuslib-1.2pre27200-qpyv0pgz/lib -lErrorAPI -lLocationAPI -lATB -lATerm   -L../test/terms -ltestTerms -L/nix/store/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/lib -lATerm    
mkdir .libs
gcc -g -O2 -o .libs/mept-test mept-test.o  -L/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/libmept /private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/libmept/.libs/libmept.dylib -L/nix/store/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/lib -L/nix/store/jm9137m9csgd7fcr2gw8aj0drhr96vq7-error-support-1.6pre26366-s7y23jyj/lib -L/nix/store/ssnvzm63ijbvxpb3f9infg25kkkcmgm3-toolbuslib-1.2pre27200-qpyv0pgz/lib /nix/store/jm9137m9csgd7fcr2gw8aj0drhr96vq7-error-support-1.6pre26366-s7y23jyj/lib/libErrorAPI.dylib /nix/store/jm9137m9csgd7fcr2gw8aj0drhr96vq7-error-support-1.6pre26366-s7y23jyj/lib/libLocationAPI.dylib /nix/store/ssnvzm63ijbvxpb3f9infg25kkkcmgm3-toolbuslib-1.2pre27200-qpyv0pgz/lib/libATB.dylib -L/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/test/terms -ltestTerms /nix/store/vf7bd933bsgx00s0lbk1whhzbfsiadn2-aterm-2.6pre24721-6c0zs3sj/lib/libATerm.dylib 
creating mept-test
make[3]: Leaving directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/test'
make  check-TESTS
make[3]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/test'
make[2]: Leaving directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/test'
make[1]: Leaving directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4/test'
make[1]: Entering directory `/private/tmp/nix-build-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-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-cykab2m6a3hpbyx7jd9hkps1q5r7hjn8-pt-support.drv-0/pt-support-2.4'