=> Bootstrap dependency digest>=20010302: found digest-20121220 ===> Building for stp-1.0nb1434 /usr/pkg/bin/gmake -C src/AST gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/AST' Making dependencies gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/AST' gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/AST' ./genkinds.pl Making dependencies gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/AST' gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/AST' g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTKind.o ASTKind.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTInterior.o ASTInterior.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTUtil.o ASTUtil.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTSymbol.o ASTSymbol.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ArrayTransformer.o ArrayTransformer.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTmisc.o ASTmisc.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTBVConst.o ASTBVConst.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTNode.o ASTNode.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o RunTimes.o RunTimes.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o NodeFactory/SimplifyingNodeFactory.o NodeFactory/SimplifyingNodeFactory.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o NodeFactory/NodeFactory.o NodeFactory/NodeFactory.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o NodeFactory/TypeChecker.o NodeFactory/TypeChecker.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o NodeFactory/HashingNodeFactory.o NodeFactory/HashingNodeFactory.cpp rm -f libast.a ar qcs libast.a ASTKind.o ASTInterior.o ASTUtil.o ASTSymbol.o ArrayTransformer.o ASTmisc.o ASTBVConst.o ASTNode.o RunTimes.o NodeFactory/SimplifyingNodeFactory.o NodeFactory/NodeFactory.o NodeFactory/TypeChecker.o NodeFactory/HashingNodeFactory.o gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/AST' /usr/pkg/bin/gmake -C src/main gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/main' /usr/pkg/bin/bash: svnversion: command not found cat: versionString.stamp: no such file or directory Making dependencies gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/main' gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/main' /usr/pkg/bin/bash: svnversion: command not found cat: versionString.stamp: no such file or directory g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o versionString.o versionString.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o Globals.o Globals.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o main.o main.cpp rm -f libmain.a ar qcs libmain.a versionString.o Globals.o gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/main' /usr/pkg/bin/gmake -C src/STPManager gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/STPManager' Making dependencies gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/STPManager' gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/STPManager' g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o STPManager.o STPManager.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o STP.o STP.cpp rm -f libstpmgr.a ar qcs libstpmgr.a STPManager.o STP.o gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/STPManager' /usr/pkg/bin/gmake -C src/printer gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/printer' Making dependencies gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/printer' gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/printer' g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o SMTLIB1Printer.o SMTLIB1Printer.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o LispPrinter.o LispPrinter.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o SMTLIB2Printer.o SMTLIB2Printer.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o SMTLIBPrinter.o SMTLIBPrinter.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o GDLPrinter.o GDLPrinter.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o AssortedPrinters.o AssortedPrinters.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o CPrinter.o CPrinter.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o PLPrinter.o PLPrinter.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o dotPrinter.o dotPrinter.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o BenchPrinter.o BenchPrinter.cpp rm -f libprinter.a ar qcs libprinter.a SMTLIB1Printer.o LispPrinter.o SMTLIB2Printer.o SMTLIBPrinter.o GDLPrinter.o AssortedPrinters.o CPrinter.o PLPrinter.o dotPrinter.o BenchPrinter.o gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/printer' /usr/pkg/bin/gmake -C src/absrefine_counterexample gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/absrefine_counterexample' Making dependencies gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/absrefine_counterexample' gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/absrefine_counterexample' g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o CounterExample.o CounterExample.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o AbstractionRefinement.o AbstractionRefinement.cpp rm -f libabstractionrefinement.a ar qcs libabstractionrefinement.a CounterExample.o AbstractionRefinement.o gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/absrefine_counterexample' /usr/pkg/bin/gmake -C src/to-sat gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/to-sat' Making dependencies gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/to-sat' gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/to-sat' g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ToSATBase.o ToSATBase.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o BitBlaster.o BitBlaster.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o AIG/ToSATAIG.o AIG/ToSATAIG.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o AIG/ToCNFAIG.o AIG/ToCNFAIG.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o AIG/BBNodeManagerAIG.o AIG/BBNodeManagerAIG.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTNode/ToCNF.o ASTNode/ToCNF.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTNode/ClauseList.o ASTNode/ClauseList.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTNode/ToSAT.o ASTNode/ToSAT.cpp g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTNode/SimpBool.o ASTNode/SimpBool.cpp rm -f libtosat.a ar qcs libtosat.a ToSATBase.o BitBlaster.o AIG/ToSATAIG.o AIG/ToCNFAIG.o AIG/BBNodeManagerAIG.o ASTNode/ToCNF.o ASTNode/ClauseList.o ASTNode/ToSAT.o ASTNode/SimpBool.o gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/to-sat' /usr/pkg/bin/gmake -C src/sat core gmake[1]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat' /usr/pkg/bin/gmake -C core libr gmake[2]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/core' Making dependencies gmake[2]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/core' gmake[2]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/core' Compiling: /usr/pkgsrc/work/minix/stp/work/stp/src/sat/core/Solver.or Compiling: utils/Options.or Compiling: utils/System.or Making library: lib_release.a ( /usr/pkgsrc/work/minix/stp/work/stp/src/sat/core/Solver.or utils/Options.or utils/System.or ) a - /usr/pkgsrc/work/minix/stp/work/stp/src/sat/core/Solver.or a - ../utils/Options.or a - ../utils/System.or Making Soft Link: lib_release.a -> lib.a gmake[2]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/core' /usr/pkg/bin/gmake -C core_prop libr gmake[2]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/core_prop' Making dependencies gmake[2]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/core_prop' gmake[2]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/core_prop' Compiling: /usr/pkgsrc/work/minix/stp/work/stp/src/sat/core_prop/Solver_prop.or Making library: lib_release.a ( /usr/pkgsrc/work/minix/stp/work/stp/src/sat/core_prop/Solver_prop.or utils/Options.or utils/System.or ) a - /usr/pkgsrc/work/minix/stp/work/stp/src/sat/core_prop/Solver_prop.or a - ../utils/Options.or a - ../utils/System.or Making Soft Link: lib_release.a -> lib.a gmake[2]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/core_prop' /usr/pkg/bin/gmake -C simp libr gmake[2]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/simp' Making dependencies Depends on: core gmake[2]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/simp' gmake[2]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/simp' Compiling: /usr/pkgsrc/work/minix/stp/work/stp/src/sat/simp/SimpSolver.or Making library: lib_release.a ( /usr/pkgsrc/work/minix/stp/work/stp/src/sat/simp/SimpSolver.or utils/Options.or utils/System.or core/Solver.or ) a - /usr/pkgsrc/work/minix/stp/work/stp/src/sat/simp/SimpSolver.or a - ../utils/Options.or a - ../utils/System.or a - ../core/Solver.or Making Soft Link: lib_release.a -> lib.a gmake[2]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/simp' /usr/pkg/bin/gmake -C utils libr gmake[2]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/utils' Making dependencies gmake[2]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/utils' gmake[2]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/utils' Making library: lib_release.a ( /usr/pkgsrc/work/minix/stp/work/stp/src/sat/utils/Options.or /usr/pkgsrc/work/minix/stp/work/stp/src/sat/utils/System.or ) a - /usr/pkgsrc/work/minix/stp/work/stp/src/sat/utils/Options.or a - /usr/pkgsrc/work/minix/stp/work/stp/src/sat/utils/System.or Making Soft Link: lib_release.a -> lib.a gmake[2]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/utils' /usr/pkg/bin/gmake -C cryptominisat2 lib all gmake[2]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/cryptominisat2' Making dependencies gmake[2]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/cryptominisat2' gmake[2]: Entering directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/cryptominisat2' g++ -Wno-error -march=i586 -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O2 -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../.. -Imtl -IMTRand -DEXT_HASH_MAP -ffloat-store -c -DEXT_HASH_MAP -Wno-deprecated -c -o Logger.o Logger.cpp /var/tmp//ccnzxTnL.s: Assembler messages: /var/tmp//ccnzxTnL.s:1755: Error: no such instruction: `pinsrd $0x1,%esi,%xmm1' /var/tmp//ccnzxTnL.s:1879: Error: no such instruction: `pinsrd $0x1,%esi,%xmm1' gmake[2]: *** [Logger.o] Error 1 gmake[2]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat/cryptominisat2' gmake[1]: *** [cryptominisat2/libminisat.a] Error 2 gmake[1]: Leaving directory `/usr/pkgsrc/work/minix/stp/work/stp/src/sat' gmake: *** [src/sat/libminisat.a] Error 2 *** Error code 2 Stop. bmake: stopped in /usr/pkgsrc/minix/stp *** Error code 1 Stop. bmake: stopped in /usr/pkgsrc/minix/stp