=> Bootstrap dependency digest>=20010302: found digest-20121220
=> Checksum SHA1 OK for stp-r1434.tar.gz
=> Checksum RMD160 OK for stp-r1434.tar.gz
===> Installing dependencies for stp-1.0nb1434
=> Tool dependency bash-[0-9]*: found bash-4.2nb2
=> Tool dependency bison>=1.0: found bison-2.7.1
=> Tool dependency gmake>=3.81: found gmake-3.82nb6
=> Tool dependency perl>=5.0: found perl-5.16.3
===> Overriding tools for stp-1.0nb1434
===> Extracting for stp-1.0nb1434
=> Substituting "bash" in scripts/Makefile.common
=> Substituting "bison" in src/parser/Makefile
===> Patching for stp-1.0nb1434
=> Applying pkgsrc patches for stp-1.0nb1434
===> Creating toolchain wrappers for stp-1.0nb1434
===> Configuring for stp-1.0nb1434
=> Replacing bash interpreter in scripts/liblinks.sh tests/generated_tests/runMulDivRem.sh unit_test/unit_test.sh.
=> Replacing Perl interpreter in scripts/run_tests.pl src/AST/genkinds.pl tests/crypto-tests/tea.pl tests/generated_tests/run-experiments.pl tests/generated_tests/testgen.pl tests/generated_tests/extract.pl.
Setting prefix to... /usr/pkg
Setting CC to... gcc
Setting CXX to... g++
STP is configured successfully.

Type 'make' to compile STP.
Type 'make install' to compile & install STP.