From owner-freebsd-pkg-fallout@FreeBSD.ORG Fri Nov 21 11:40:06 2014 Return-Path: Delivered-To: pkg-fallout@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id C2FC418D for ; Fri, 21 Nov 2014 11:40:06 +0000 (UTC) Received: from beefy1.isc.freebsd.org (beefy1.isc.freebsd.org [IPv6:2001:4f8:3:ffe0:4072:0:16:38]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id AEAF123A; Fri, 21 Nov 2014 11:40:06 +0000 (UTC) Received: from beefy1.isc.freebsd.org (localhost [127.0.0.1]) by beefy1.isc.freebsd.org (8.14.9/8.14.9) with ESMTP id sALBe6RF008560; Fri, 21 Nov 2014 11:40:06 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy1.isc.freebsd.org (8.14.9/8.14.9/Submit) id sALBe6SD008522; Fri, 21 Nov 2014 11:40:06 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Fri, 21 Nov 2014 11:40:06 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201411211140.sALBe6SD008522@beefy1.isc.freebsd.org> To: 6yearold@gmail.com Subject: [package - 84i386-default][math/stp] Failed for stp-1436_1 in build Cc: pkg-fallout@FreeBSD.org X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.18-1 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 21 Nov 2014 11:40:06 -0000 You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: 6yearold@gmail.com Last committer: antoine@FreeBSD.org Ident: $FreeBSD: head/math/stp/Makefile 366210 2014-08-26 12:44:36Z antoine $ Log URL: http://beefy1.isc.freebsd.org/data/84i386-default/2014-11-21_06h38m52s/logs/stp-1436_1.log Build URL: http://beefy1.isc.freebsd.org/build.html?mastername=84i386-default&build=2014-11-21_06h38m52s Log: ====>> Building math/stp build started at Fri Nov 21 11:36:30 UTC 2014 port directory: /usr/ports/math/stp building for: FreeBSD 84i386-default-job-10 8.4-RELEASE-p16 FreeBSD 8.4-RELEASE-p16 i386 maintained by: 6yearold@gmail.com Makefile ident: $FreeBSD: head/math/stp/Makefile 366210 2014-08-26 12:44:36Z antoine $ Poudriere version: 3.1-pre Host OSVERSION: 1100047 Jail OSVERSION: 804000 ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE-p16 UNAME_r=8.4-RELEASE-p16 FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/.m/84i386-default/ref PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNAME=stp-1436_1 OLDPWD=/root PWD=/usr/local/poudriere/data/.m/84i386-default/ref/.p/pool MASTERNAME=84i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ---End OPTIONS List--- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/stp/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/stp/work HOME=/wrkdirs/usr/ports/math/stp/work TMPDIR="/tmp" ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl XDG_DATA_HOME=/wrkdirs/usr/ports/math/stp/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/stp/work HOME=/wrkdirs/usr/ports/math/stp/work TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/stp/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/stp/work HOME=/wrkdirs/usr/ports/math/stp/work TMPDIR="/tmp" XDG_DATA_HOME=/wrkdirs/usr/ports/math/stp/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/stp/work HOME=/wrkdirs/usr/ports/math/stp/work TMPDIR="/tmp" NO_PIE=yes SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" CC="cc" CFLAGS="-O2 -pipe -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -o root -g wheel -m 555" BSD_INSTALL_LIB="install -s -o root -g wheel -m 444" BSD_INSTALL_SCRIPT="install -o root -g wheel -m 555" BSD_INSTALL_DATA="install -o root -g wheel -m 0644" BSD_INSTALL_MAN="install -o root -g wheel -m 444" --End MAKE_ENV-- --PLIST_SUB-- CMAKE_BUILD_TYPE="release" OSREL=8.4 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib PERL_VERSION=5.16.3 PERL_VER=5.16 PERL_ARCH=mach PERL5_MAN3=lib/perl5/5.16/man/man3 SITE_ARCH=lib/perl5/site_perl/5.16/mach SITE_PERL=lib/perl5/site_perl/5.16 DOCSDIR="share/doc/stp" EXAMPLESDIR="share/examples/stp" DATADIR="share/stp" WWWDIR="www/stp" ETCDIR="etc/stp" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/stp DOCSDIR=/usr/local/share/doc/stp EXAMPLESDIR=/usr/local/share/examples/stp WWWDIR=/usr/local/www/stp ETCDIR=/usr/local/etc/stp --End SUB_LIST-- ---Begin make.conf--- ARCH=i386 MACHINE=i386 MACHINE_ARCH=i386 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs ARCH=i386 MACHINE=i386 MACHINE_ARCH=i386 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles #### /usr/local/etc/poudriere.d/make.conf #### WITH_PKGNG=yes #WITH_PKGNG=devel # clean-restricted via poudriere.conf NO_RESTRICTED #NO_RESTRICTED=yes DISABLE_MAKE_JOBS=poudriere ---End make.conf--- =================================================== ===> License MIT accepted by the user =========================================================================== =================================================== ===> stp-1436_1 depends on file: /usr/local/sbin/pkg - not found ===> Verifying install for /usr/local/sbin/pkg in /usr/ports/ports-mgmt/pkg ===> Installing existing package /packages/All/pkg-1.3.8_3.txz [84i386-default-job-10] Installing pkg-1.3.8_3... done Message for pkg-1.3.8_3: If you are upgrading from the old package format, first run: # pkg2ng ===> Returning to build of stp-1436_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by stp-1436_1 for building =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by stp-1436_1 for building => SHA256 Checksum OK for stp-1436.tar.xz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by stp-1436_1 for building ===> Extracting for stp-1436_1 => SHA256 Checksum OK for stp-1436.tar.xz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for stp-1436_1 =========================================================================== =================================================== ===> stp-1436_1 depends on executable: bison - not found ===> Verifying install for bison in /usr/ports/devel/bison ===> Installing existing package /packages/All/bison-2.7.1,1.txz [84i386-default-job-10] Installing indexinfo-0.2... done [84i386-default-job-10] Installing libiconv-1.14_4... done [84i386-default-job-10] Installing gettext-0.18.3.1_1... done [84i386-default-job-10] Installing m4-1.4.17_1,1... done [84i386-default-job-10] Installing bison-2.7.1,1... done ===> Returning to build of stp-1436_1 ===> stp-1436_1 depends on file: /usr/local/bin/cmake - not found ===> Verifying install for /usr/local/bin/cmake in /usr/ports/devel/cmake ===> Installing existing package /packages/All/cmake-3.0.2.txz [84i386-default-job-10] Installing cmake-modules-3.0.2... done [84i386-default-job-10] Installing ca_root_nss-3.17.2_1... done [84i386-default-job-10] Installing curl-7.38.0_2... done [84i386-default-job-10] Installing expat-2.1.0_1... done [84i386-default-job-10] Installing cmake-3.0.2... done ===> Returning to build of stp-1436_1 ===> stp-1436_1 depends on package: flex>=2.5.38 - not found ===> Verifying install for flex>=2.5.38 in /usr/ports/textproc/flex ===> Installing existing package /packages/All/flex-2.5.39_2.txz [84i386-default-job-10] Installing flex-2.5.39_2... done ===> Returning to build of stp-1436_1 ===> stp-1436_1 depends on file: /usr/local/bin/perl5.16.3 - not found ===> Verifying install for /usr/local/bin/perl5.16.3 in /usr/ports/lang/perl5.16 ===> Installing existing package /packages/All/perl5-5.16.3_11.txz [84i386-default-job-10] Installing perl5-5.16.3_11... done ===> Returning to build of stp-1436_1 =========================================================================== =================================================== ===> stp-1436_1 depends on shared library: libboost_program_options.so - not found ===> Verifying for libboost_program_options.so in /usr/ports/devel/boost-libs ===> Installing existing package /packages/All/boost-libs-1.55.0_4.txz [84i386-default-job-10] Installing icu-53.1... done [84i386-default-job-10] Installing boost-libs-1.55.0_4... done Message for boost-libs-1.55.0_4: You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. ===> Returning to build of stp-1436_1 ===> stp-1436_1 depends on shared library: libboost_system.so - found (/usr/local/lib/libboost_system.so.1.55.0) =========================================================================== =================================================== ===> Configuring for stp-1436_1 ===> Performing in-source build /bin/mkdir -p /wrkdirs/usr/ports/math/stp/work/stp-1436 -- The C compiler identification is GNU 4.2.1 -- The CXX compiler identification is GNU 4.2.1 -- Check for working C compiler: /usr/bin/cc -- Check for working C compiler: /usr/bin/cc -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working CXX compiler: /usr/bin/c++ -- Check for working CXX compiler: /usr/bin/c++ -- works In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STPManager.h:16, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:11: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'array_id' /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'i' /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'v' /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:58: warning: unused parameter 'i' /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:71: warning: unused parameter 'x' In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:11: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STPManager.h:382: warning: unused parameter 'children' In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../to-sat/ASTNode/ToCNF.h:17, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../to-sat/ASTNode/ToSAT.h:13, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STP.h:18, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:12: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../to-sat/ASTNode/ClauseList.h:84: warning: unused parameter 'v' /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/../mtl/Alloc.h: In member function 'T& Minisat::RegionAllocator::operator[](uint32_t) [with T = unsigned int]': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/SolverTypes.h:222: instantiated from here /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/../mtl/Alloc.h:64: warning: comparison of unsigned expression >= 0 is always true /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/../mtl/Alloc.h: In member function 'const T& Minisat::RegionAllocator::operator[](uint32_t) const [with T = unsigned int]': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/SolverTypes.h:223: instantiated from here /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/../mtl/Alloc.h:65: warning: comparison of unsigned expression >= 0 is always true /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/../mtl/Alloc.h: In member function 'T* Minisat::RegionAllocator::lea(uint32_t) [with T = unsigned int]': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/SolverTypes.h:224: instantiated from here /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/../mtl/Alloc.h:67: warning: comparison of unsigned expression >= 0 is always true /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/../mtl/Alloc.h: In member function 'const T* Minisat::RegionAllocator::lea(uint32_t) const [with T = unsigned int]': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/SolverTypes.h:225: instantiated from here /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/../mtl/Alloc.h:68: warning: comparison of unsigned expression >= 0 is always true /usr/local/bin/cmake -E cmake_progress_report /wrkdirs/usr/ports/math/stp/work/stp-1436/CMakeFiles 58 [ 99%] Building CXX object src/main/CMakeFiles/globalstp.dir/GitSHA1.cpp.o cd /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main && /usr/bin/c++ -D__STDC_LIMIT_MACROS -O2 -pipe -fno-strict-aliasing -Wall -Wextra -Wunused -Wsign-compare -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -O2 -pipe -fno-strict-aliasing -I/wrkdirs/usr/ports/math/stp/work/stp-1436/include -I/usr/local/include -I/wrkdirs/usr/ports/math/stp/work/stp-1436/src/AST -o CMakeFiles/globalstp.dir/GitSHA1.cpp.o -c /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/GitSHA1.cpp /usr/local/bin/cmake -E cmake_progress_report /wrkdirs/usr/ports/math/stp/work/stp-1436/CMakeFiles 57 58 [ 99%] Built target globalstp /usr/bin/make -f src/libstp/CMakeFiles/libstp.dir/build.make src/libstp/CMakeFiles/libstp.dir/depend cd /wrkdirs/usr/ports/math/stp/work/stp-1436 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/stp/work/stp-1436 /wrkdirs/usr/ports/math/stp/work/stp-1436/src/libstp /wrkdirs/usr/ports/math/stp/work/stp-1436 /wrkdirs/usr/ports/math/stp/work/stp-1436/src/libstp /wrkdirs/usr/ports/math/stp/work/stp-1436/src/libstp/CMakeFiles/libstp.dir/DependInfo.cmake Scanning dependencies of target libstp /usr/bin/make -f src/libstp/CMakeFiles/libstp.dir/build.make src/libstp/CMakeFiles/libstp.dir/build Linking CXX static library ../../lib/libstp.a cd /wrkdirs/usr/ports/math/stp/work/stp-1436/src/libstp && /usr/local/bin/cmake -P CMakeFiles/libstp.dir/cmake_clean_target.cmake cd /wrkdirs/usr/ports/math/stp/work/stp-1436/src/libstp && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/libstp.dir/link.txt --verbose=1 /usr/bin/ar cr ../../lib/libstp.a ../AST/CMakeFiles/AST.dir/ASTKind.cpp.o ../AST/CMakeFiles/AST.dir/ArrayTransformer.cpp.o ../AST/CMakeFiles/AST.dir/ASTInterior.cpp.o ../AST/CMakeFiles/AST.dir/ASTNode.cpp.o ../AST/CMakeFiles/AST.dir/ASTUtil.cpp.o ../AST/CMakeFiles/AST.dir/ASTBVConst.cpp.o ../AST/CMakeFiles/AST.dir/ASTmisc.cpp.o ../AST/CMakeFiles/AST.dir/ASTSymbol.cpp.o ../AST/CMakeFiles/AST.dir/RunTimes.cpp.o ../AST/CMakeFiles/AST.dir/NodeFactory/HashingNodeFactory.cpp.o ../AST/CMakeFiles/AST.dir/NodeFactory/NodeFactory.cpp.o ../AST/CMakeFiles/AST.dir/NodeFactory/SimplifyingNodeFactory.cpp.o ../AST/CMakeFiles/AST.dir/NodeFactory/TypeChecker.cpp.o ../main/CMakeFiles/globalstp.dir/Globals.cpp.o ../main/CMakeFiles/globalstp.dir/GitSHA1.cpp.o ../STPManager/CMakeFiles/stpmgr.dir/STP.cpp.o ../STPManager/CMakeFiles/stpmgr.dir/STPManager.cpp.o ../absrefine_counterexample/CMakeFiles/abstractionrefinement.dir/AbstractionRefinement.cpp.o ../absrefine_counterexample/CMakeFiles/abstractionrefine ment.dir/CounterExample.cpp.o ../to-sat/CMakeFiles/tosat.dir/BitBlaster.cpp.o ../to-sat/CMakeFiles/tosat.dir/ToSATBase.cpp.o ../to-sat/CMakeFiles/tosat.dir/AIG/BBNodeManagerAIG.cpp.o ../to-sat/CMakeFiles/tosat.dir/AIG/ToCNFAIG.cpp.o ../to-sat/CMakeFiles/tosat.dir/AIG/ToSATAIG.cpp.o ../to-sat/CMakeFiles/tosat.dir/ASTNode/ClauseList.cpp.o ../to-sat/CMakeFiles/tosat.dir/ASTNode/SimpBool.cpp.o ../to-sat/CMakeFiles/tosat.dir/ASTNode/ToCNF.cpp.o ../to-sat/CMakeFiles/tosat.dir/ASTNode/ToSAT.cpp.o ../sat/CMakeFiles/sat.dir/CryptoMinisat.cpp.o ../sat/CMakeFiles/sat.dir/MinisatCore.cpp.o ../sat/CMakeFiles/sat.dir/MinisatCore_prop.cpp.o ../sat/CMakeFiles/sat.dir/SimplifyingMinisat.cpp.o ../sat/minisat/CMakeFiles/minisat2.dir/simp/SimpSolver.cc.o ../sat/minisat/CMakeFiles/minisat2.dir/core/Solver.cc.o ../sat/minisat/CMakeFiles/minisat2.dir/core_prop/Solver_prop.cc.o ../sat/minisat/CMakeFiles/minisat2.dir/utils/System.cc.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/ClauseAllocator.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptomini! sat2.dir/ClauseCleaner.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/FailedVarSearcher.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/FindUndef.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/Gaussian.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/Logger.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/MatrixFinder.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/OnlyNonLearntBins.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/PackedRow.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/PartFinder.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/PartHandler.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/RestartTypeChooser.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/Solver.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/StateSaver.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/Subsumer.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/UselessB inRemover.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/VarReplacer.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/XorFinder.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/XorSubsumer.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/time_mem.cpp.o ../simplifier/CMakeFiles/simplifier.dir/bvsolver.cpp.o ../simplifier/CMakeFiles/simplifier.dir/consteval.cpp.o ../simplifier/CMakeFiles/simplifier.dir/MutableASTNode.cpp.o ../simplifier/CMakeFiles/simplifier.dir/PropagateEqualities.cpp.o ../simplifier/CMakeFiles/simplifier.dir/RemoveUnconstrained.cpp.o ../simplifier/CMakeFiles/simplifier.dir/simplifier.cpp.o ../simplifier/CMakeFiles/simplifier.dir/SubstitutionMap.cpp.o ../simplifier/CMakeFiles/simplifier.dir/VariablesInExpression.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Arithmetic.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Boolean.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP /ConstantBitP_Comparison.cpp.o ../simplifier! /CMakeFil! es/simplifier.dir/constantBitP/ConstantBitP_Division.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_MaxPrecision.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Multiplication.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitPropagation.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Shifting.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_TransferFunctions.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Utility.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/FixedBits.cpp.o ../extlib-constbv/CMakeFiles/constantbv.dir/constantbv.cpp.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigCheck.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigDfs.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigFanout.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMan.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMem.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/a ig/aigMffc.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigObj.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigOper.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigOrder.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigPart.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigRepr.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigRet.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigScl.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigSeq.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigShow.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTable.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTime.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTiming.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTruth.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTsim.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigUtil.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigWin.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfCore.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfCut.c.o ../extlib-abc/CMakeFiles/abc. dir/aig/cnf/cnfData.c.o ../extlib-abc/CMakeF! iles/abc.! dir/aig/cnf/cnfMan.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfMap.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfPost.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfUtil.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfWrite.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darBalance.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darCore.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darCut.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darData.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darLib.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darMan.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darPrec.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darRefact.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darScript.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/kit/kitAig.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/kit/kitGraph.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/kit/kitIsop.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/kit/kitSop.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/kit/kitTruth.c.o ../c_interface/C MakeFiles/cinterface.dir/c_interface.cpp.o ../cpp_interface/CMakeFiles/cppinterface.dir/cpp_interface.cpp.o ../parser/CMakeFiles/parser.dir/LetMgr.cpp.o ../parser/CMakeFiles/parser.dir/lexcvc.cpp.o ../parser/CMakeFiles/parser.dir/parsecvc.cpp.o ../parser/CMakeFiles/parser.dir/lexsmt2.cpp.o ../parser/CMakeFiles/parser.dir/parsesmt2.cpp.o ../parser/CMakeFiles/parser.dir/lexsmt.cpp.o ../parser/CMakeFiles/parser.dir/parsesmt.cpp.o ../printer/CMakeFiles/printer.dir/AssortedPrinters.cpp.o ../printer/CMakeFiles/printer.dir/BenchPrinter.cpp.o ../printer/CMakeFiles/printer.dir/CPrinter.cpp.o ../printer/CMakeFiles/printer.dir/dotPrinter.cpp.o ../printer/CMakeFiles/printer.dir/GDLPrinter.cpp.o ../printer/CMakeFiles/printer.dir/LispPrinter.cpp.o ../printer/CMakeFiles/printer.dir/PLPrinter.cpp.o ../printer/CMakeFiles/printer.dir/SMTLIB1Printer.cpp.o ../printer/CMakeFiles/printer.dir/SMTLIB2Printer.cpp.o ../printer/CMakeFiles/printer.dir/SMTLIBPrinter.cpp.o /usr/bin/ranlib ../../lib/libstp.a /usr/local/bin/cmake -E cmake_progress_report /wrkdirs/usr/ports/math/stp/work/stp-1436/CMakeFiles [ 99%] Built target libstp /usr/bin/make -f src/main/CMakeFiles/stp.dir/build.make src/main/CMakeFiles/stp.dir/depend cd /wrkdirs/usr/ports/math/stp/work/stp-1436 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/stp/work/stp-1436 /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main /wrkdirs/usr/ports/math/stp/work/stp-1436 /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/CMakeFiles/stp.dir/DependInfo.cmake Scanning dependencies of target stp /usr/bin/make -f src/main/CMakeFiles/stp.dir/build.make src/main/CMakeFiles/stp.dir/build /usr/local/bin/cmake -E cmake_progress_report /wrkdirs/usr/ports/math/stp/work/stp-1436/CMakeFiles 92 [100%] Building CXX object src/main/CMakeFiles/stp.dir/main.cpp.o cd /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main && /usr/bin/c++ -D__STDC_LIMIT_MACROS -O2 -pipe -fno-strict-aliasing -Wall -Wextra -Wunused -Wsign-compare -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -O2 -pipe -fno-strict-aliasing -I/wrkdirs/usr/ports/math/stp/work/stp-1436/include -I/usr/local/include -I/wrkdirs/usr/ports/math/stp/work/stp-1436/src/AST -o CMakeFiles/stp.dir/main.cpp.o -c /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/AST.h:15, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:11: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/ASTInternal.h:109: warning: unused parameter 'c_friendly' In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/AST.h:18, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:11: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/ASTBVConst.h:75: warning: unused parameter 'l' In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/STPManager.h:16, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/ArrayTransformer.h:14, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:14, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'array_id' /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'i' /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'v' /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:58: warning: unused parameter 'i' /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:71: warning: unused parameter 'x' In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/ArrayTransformer.h:14, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:14, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/STPManager.h:382: warning: unused parameter 'children' In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../to-sat/ASTNode/ToCNF.h:17, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../to-sat/ASTNode/ToSAT.h:13, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:18, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../to-sat/ASTNode/ClauseList.h:84: warning: unused parameter 'v' In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:18: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../cpp_interface/cpp_interface.h: In member function 'void BEEV::Cpp_interface::checkInvariant()': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../cpp_interface/cpp_interface.h:66: warning: comparison between signed and unsigned integer expressions /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../cpp_interface/cpp_interface.h:67: warning: comparison between signed and unsigned integer expressions In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/vec.h:84, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/cnf_short.h:38, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:21: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/vecStr.h: In function 'int Vec_StrBase10Log(unsigned int)': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/vecStr.h:418: warning: comparison of unsigned expression >= 0 is always true In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/cnf_short.h:39, from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:21: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/aig.h: In function 'int Aig_Base2Log(unsigned int)': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/aig.h:160: warning: comparison of unsigned expression >= 0 is always true /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/aig.h: In function 'int Aig_Base10Log(unsigned int)': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/aig.h:161: warning: comparison of unsigned expression >= 0 is always true /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/../mtl/Alloc.h: In member function 'T& Minisat::RegionAllocator::operator[](uint32_t) [with T = unsigned int]': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/SolverTypes.h:222: instantiated from here /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/../mtl/Alloc.h:64: warning: comparison of unsigned expression >= 0 is always true /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/../mtl/Alloc.h: In member function 'const T& Minisat::RegionAllocator::operator[](uint32_t) const [with T = unsigned int]': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/SolverTypes.h:223: instantiated from here /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/../mtl/Alloc.h:65: warning: comparison of unsigned expression >= 0 is always true /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/../mtl/Alloc.h: In member function 'T* Minisat::RegionAllocator::lea(uint32_t) [with T = unsigned int]': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/SolverTypes.h:224: instantiated from here /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/../mtl/Alloc.h:67: warning: comparison of unsigned expression >= 0 is always true /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/../mtl/Alloc.h: In member function 'const T* Minisat::RegionAllocator::lea(uint32_t) const [with T = unsigned int]': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/SolverTypes.h:225: instantiated from here /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/../mtl/Alloc.h:68: warning: comparison of unsigned expression >= 0 is always true Linking CXX executable ../../stp cd /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main && /usr/local/bin/cmake -E cmake_link_script CMakeFiles/stp.dir/link.txt --verbose=1 /usr/bin/c++ -O2 -pipe -fno-strict-aliasing -Wall -Wextra -Wunused -Wsign-compare -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -O2 -pipe -fno-strict-aliasing CMakeFiles/stp.dir/main.cpp.o -o ../../stp ../../lib/libstp.a /usr/local/lib/libboost_program_options.a /usr/local/lib/libboost_system.a local symbol 0: discarded in section `.text._ZN5boost15throw_exceptionINS_15program_options14unknown_optionEEEvRKT_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 1: discarded in section `.text._ZN5boost15program_options14unknown_optionD1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 2: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 3: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 4: discarded in section `.text._ZN5boost15program_options22error_with_option_name15set_option_nameERKSs' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 5: discarded in section `.text._ZNSt3mapISsSsSt4lessISsESaISt4pairIKSsSsEEEixERS3_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 6: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueESt17_Rb_tree_iteratorIS2_ERKS2_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 7: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 8: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueERKS2_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 9: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 10: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE8_M_eraseEPSt13_Rb_tree_nodeIS3_E' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 11: discarded in section `.text._ZNSt6vectorISsSaISsEEC2ERKS1_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 12: discarded in section `.text._ZN5boost15program_options22error_with_option_nameC2ERKS1_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 13: discarded in section `.text._ZN5boost15program_options25error_with_no_option_nameD1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 14: discarded in section `.text._ZN5boost15program_options25error_with_no_option_nameD0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 15: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE7_M_copyEPKSt13_Rb_tree_nodeIS3_EPSB_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 16: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE14_M_create_nodeERKS3_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 17: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE7_M_copyEPKSt13_Rb_tree_nodeIS2_EPSA_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 18: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE13_M_clone_nodeEPKSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 19: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 20: discarded in section `.text._ZNSt6vectorISsSaISsEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPSsS1_EERKSs' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 21: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_15program_options14unknown_optionEED2Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 22: discarded in section `.text._ZNK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 23: discarded in section `.text._ZNK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEE7rethrowEv' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 24: discarded in section `.text._ZTv0_n12_NK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 25: discarded in section `.text._ZTv0_n16_NK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEE7rethrowEv' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 26: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_15program_options14unknown_optionEEC2ERKS4_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 27: discarded in section `.text._ZN5boost15program_options14unknown_optionD0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 28: discarded in section `.text._ZNSt3mapISsSsSt4lessISsESaISt4pairIKSsSsEEEixERS3_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 29: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD1Ev' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 30: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD0Ev' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 31: discarded in section `.text._ZN5boost15program_options22error_with_option_name15set_option_nameERKSs' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 32: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 33: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE8_M_eraseEPSt13_Rb_tree_nodeIS3_E' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 34: discarded in section `.text._ZN5boost15program_options22error_with_option_nameC2ERKS1_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 35: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE7_M_copyEPKSt13_Rb_tree_nodeIS3_EPSB_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 36: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE14_M_create_nodeERKS3_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 37: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE7_M_copyEPKSt13_Rb_tree_nodeIS2_EPSA_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 38: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE13_M_clone_nodeEPKSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 39: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 40: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueESt17_Rb_tree_iteratorIS2_ERKS2_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 41: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 42: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueERKS2_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 43: discarded in section `.text._ZNSt3mapISsSsSt4lessISsESaISt4pairIKSsSsEEEixERS3_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 44: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 45: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 46: discarded in section `.text._ZN5boost15program_options22error_with_option_name15set_option_nameERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 47: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE8_M_eraseEPSt13_Rb_tree_nodeISsE' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 48: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE16_M_insert_uniqueESt17_Rb_tree_iteratorISsERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 49: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE9_M_insertEPSt18_Rb_tree_node_baseS7_RKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 50: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE16_M_insert_uniqueERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 51: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE7_M_copyEPKSt13_Rb_tree_nodeIS2_EPSA_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 52: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE13_M_clone_nodeEPKSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 53: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 54: discarded in section `.text._ZN5boost15program_options22error_with_option_nameC2ERKS1_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 55: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE7_M_copyEPKSt13_Rb_tree_nodeIS3_EPSB_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 56: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE8_M_eraseEPSt13_Rb_tree_nodeIS3_E' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 57: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE14_M_create_nodeERKS3_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 58: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 59: discarded in section `.text._ZN5boost15throw_exceptionINS_17bad_function_callEEEvRKT_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 60: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 61: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_17bad_function_callEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 62: discarded in section `.text._ZThn8_N5boost16exception_detail19error_info_injectorINS_17bad_function_callEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 63: discarded in section `.text._ZThn8_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 64: discarded in section `.text._ZTv0_n20_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 65: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 66: discarded in section `.text._ZNK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 67: discarded in section `.text._ZNK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEE7rethrowEv' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 68: discarded in section `.text._ZThn8_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 69: discarded in section `.text._ZTv0_n12_NK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 70: discarded in section `.text._ZTv0_n16_NK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEE7rethrowEv' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 71: discarded in section `.text._ZTv0_n20_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 72: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_17bad_function_callEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 73: discarded in section `.text._ZThn8_N5boost16exception_detail19error_info_injectorINS_17bad_function_callEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 74: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEEC1ERKS5_NS5_9clone_tagE' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 75: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEEC1ERKS4_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 76: discarded in section `.text._ZNSt6vectorISsSaISsEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPSsS1_EERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 77: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueESt17_Rb_tree_iteratorIS2_ERKS2_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 78: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 79: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueERKS2_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 80: discarded in section `.text._ZN5boost15program_options16ambiguous_optionD2Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 81: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(convert.o) *** Error code 1 Stop in /wrkdirs/usr/ports/math/stp/work/stp-1436. *** Error code 1 Stop in /wrkdirs/usr/ports/math/stp/work/stp-1436. *** Error code 1 Stop in /wrkdirs/usr/ports/math/stp/work/stp-1436. *** Error code 1 Stop in /usr/ports/math/stp.