From owner-freebsd-pkg-fallout@freebsd.org Tue Jul 28 21:05:46 2015 Return-Path: Delivered-To: freebsd-pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 4A55B9ADAF3 for ; Tue, 28 Jul 2015 21:05:46 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id 346E5C50 for ; Tue, 28 Jul 2015 21:05:46 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.ysv.freebsd.org (Postfix) id 26CBB9ADAF1; Tue, 28 Jul 2015 21:05:46 +0000 (UTC) Delivered-To: pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 0C2259ADAF0 for ; Tue, 28 Jul 2015 21:05:46 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy5.nyi.freebsd.org (beefy5.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:e8]) (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 AAA88C4E; Tue, 28 Jul 2015 21:05:45 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy5.nyi.freebsd.org (localhost [127.0.0.1]) by beefy5.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id t6SL5i3d024657; Tue, 28 Jul 2015 21:05:44 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy5.nyi.freebsd.org (8.15.2/8.15.2/Submit) id t6SL5iA9024629; Tue, 28 Jul 2015 21:05:44 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Tue, 28 Jul 2015 21:05:44 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201507282105.t6SL5iA9024629@beefy5.nyi.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.20 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 28 Jul 2015 21:05:46 -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: mat@FreeBSD.org Ident: $FreeBSD: head/math/stp/Makefile 383107 2015-04-03 11:26:48Z mat $ Log URL: http://beefy5.nyi.freebsd.org/data/84i386-default/393044/logs/stp-1436_1.log Build URL: http://beefy5.nyi.freebsd.org/build.html?mastername=84i386-default&build=393044 Log: ====>> Building math/stp build started at Tue Jul 28 21:02:00 UTC 2015 port directory: /usr/ports/math/stp building for: FreeBSD 84i386-default-job-05 8.4-RELEASE-p34 FreeBSD 8.4-RELEASE-p34 i386 maintained by: 6yearold@gmail.com Makefile ident: $FreeBSD: head/math/stp/Makefile 383107 2015-04-03 11:26:48Z mat $ Poudriere version: 3.1.7 Host OSVERSION: 1100077 Jail OSVERSION: 804000 ---Begin Environment--- SHELL=/bin/csh UNAME_p=i386 UNAME_m=i386 OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE-p34 UNAME_r=8.4-RELEASE-p34 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=/ PWD=/usr/local/poudriere/data/.m/84i386-default/ref/.p/pool MASTERNAME=84i386-default SCRIPTPREFIX=/usr/local/share/poudriere USER=root HOME=/root POUDRIERE_VERSION=3.1.7 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh LIBEXECPREFIX=/usr/local/libexec/poudriere LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ---End OPTIONS List--- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- 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" 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 -m 555" BSD_INSTALL_LIB="install -s -m 444" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -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.20.2 PERL_VER=5.20 PERL5_MAN3=lib/perl5/site_perl/man/man3 SITE_PERL=lib/perl5/site_perl SITE_ARCH=lib/perl5/site_perl/mach/5.20 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--- MACHINE=i386 MACHINE_ARCH=i386 ARCH=${MACHINE_ARCH} USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles #### /usr/local/etc/poudriere.d/make.conf #### MASTER_SITE_FREEBSD=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 ===> Installing existing package /packages/All/pkg-1.5.5.txz [84i386-default-job-05] Installing pkg-1.5.5... [84i386-default-job-05] Extracting pkg-1.5.5: .......... done Message for pkg-1.5.5: If you are upgrading from the old package format, first run: # pkg2ng ===> stp-1436_1 depends on file: /usr/local/sbin/pkg - found ===> 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 ===> Installing existing package /packages/All/bison-2.7.1,1.txz [84i386-default-job-05] Installing bison-2.7.1,1... [84i386-default-job-05] `-- Installing gettext-runtime-0.19.4... [84i386-default-job-05] | `-- Installing indexinfo-0.2.3... [84i386-default-job-05] | `-- Extracting indexinfo-0.2.3: .... done [84i386-default-job-05] | `-- Installing libiconv-1.14_8... [84i386-default-job-05] | `-- Extracting libiconv-1.14_8: .......... done [84i386-default-job-05] `-- Extracting gettext-runtime-0.19.4: .......... done [84i386-default-job-05] `-- Installing m4-1.4.17_1,1... [84i386-default-job-05] `-- Extracting m4-1.4.17_1,1: .......... done [84i386-default-job-05] Extracting bison-2.7.1,1: .......... done ===> stp-1436_1 depends on executable: bison - found ===> Returning to build of stp-1436_1 ===> stp-1436_1 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.2.3_2.txz [84i386-default-job-05] Installing cmake-3.2.3_2... [84i386-default-job-05] `-- Installing cmake-modules-3.2.3... [84i386-default-job-05] `-- Extracting cmake-modules-3.2.3: .......... done [84i386-default-job-05] `-- Installing curl-7.43.0_2... [84i386-default-job-05] | `-- Installing ca_root_nss-3.19.2... [84i386-default-job-05] | `-- Extracting ca_root_nss-3.19.2: ....... done [84i386-default-job-05] `-- Extracting curl-7.43.0_2: .......... done [84i386-default-job-05] `-- Installing expat-2.1.0_2... [84i386-default-job-05] `-- Extracting expat-2.1.0_2: .......... done [84i386-default-job-05] `-- Installing jsoncpp-0.6.0.r2_2... [84i386-default-job-05] `-- Extracting jsoncpp-0.6.0.r2_2: .......... done [84i386-default-job-05] `-- Installing libarchive-3.1.2_2,1... [84i386-default-job-05] | `-- Installing libxml2-2.9.2_3... [84i386-default-job-05] | `-- Extracting libxml2-2.9.2_3: .......... done [84i386-default-job-05] | `-- Installing lzo2-2.09... [84i386-default-job-05] | `-- Extracting lzo2-2.09: .......... done [84i386-default-job-05] `-- Extracting libarchive-3.1.2_2,1: .......... done [84i386-default-job-05] Extracting cmake-3.2.3_2: .......... done Message for ca_root_nss-3.19.2: ********************************* WARNING ********************************* FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. *********************************** NOTE ********************************** This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem *************************************************************************** /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 cq ../../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._ZStplIcSt11char_traitsIcESaIcEESbIT_T0_T1_EPKS3_RKS6_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 1: discarded in section `.text._ZN5boost15throw_exceptionINS_15program_options14unknown_optionEEEvRKT_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 2: discarded in section `.text._ZN5boost15program_options14unknown_optionC2ERKSs' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 3: discarded in section `.text._ZNSt6vectorISsSaISsEED2Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 4: 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 5: 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 6: discarded in section `.text._ZSt24__uninitialized_copy_auxIN9__gnu_cxx17__normal_iteratorIPKSsSt6vectorISsSaISsEEEEPSsET0_T_SA_S9_St12__false_type' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 7: discarded in section `.text._ZN5boost15program_options22error_with_option_nameC2ERKS1_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 8: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD2Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 9: 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 10: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE13_M_clone_nodeEPKSt13_Rb_tree_nodeIS3_E' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 11: discarded in section `.text._ZNSt4pairIKSsS_ISsSsEEC2ERKS2_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 12: 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 13: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE14_M_create_nodeERKS2_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 14: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 15: 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 16: discarded in section `.text._ZSt22__uninitialized_copy_aIPSsS0_SsET0_T_S2_S1_SaIT1_E' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 17: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEED1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 18: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_15program_options14unknown_optionEED2Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 19: discarded in section `.text._ZThn68_N5boost16exception_detail19error_info_injectorINS_15program_options14unknown_optionEED1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 20: discarded in section `.text._ZThn68_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEED1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 21: discarded in section `.text._ZTv0_n20_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEED1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 22: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEED0Ev' 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_optionEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 24: 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 25: discarded in section `.text._ZThn68_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEED0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 26: 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 27: 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 28: discarded in section `.text._ZTv0_n20_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEED0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 29: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_15program_options14unknown_optionEED0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 30: discarded in section `.text._ZThn68_N5boost16exception_detail19error_info_injectorINS_15program_options14unknown_optionEED0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 31: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEEC1ERKS6_NS6_9clone_tagE' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 32: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEEC1ERKS5_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 33: discarded in section `.text._ZN5boost15program_options25error_with_no_option_nameC2ERKSsS3_' from /usr/local/lib/libboost_program_options.a(options_description.o) local symbol 34: discarded in section `.text._ZNSt3mapISsSsSt4lessISsESaISt4pairIKSsSsEEEixERS3_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 35: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD2Ev' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 36: 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 37: discarded in section `.text._ZNSt4pairIKSsSsED2Ev' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 38: 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 39: discarded in section `.text._ZNSt4pairIKSsS_ISsSsEED2Ev' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 40: discarded in section `.text._ZN5boost15program_options22error_with_option_name15set_option_nameERKSs' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 41: discarded in section `.text._ZN5boost15program_options22error_with_option_nameC2ERKS1_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 42: 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 43: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE13_M_clone_nodeEPKSt13_Rb_tree_nodeIS3_E' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 44: discarded in section `.text._ZNSt4pairIKSsS_ISsSsEEC2ERKS2_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 45: 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 46: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE14_M_create_nodeERKS2_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 47: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 48: 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 49: 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 50: discarded in section `.text._ZN5boost15program_options22error_with_option_name18set_original_tokenERKSs' from /usr/local/lib/libboost_program_options.a(variables_map.o) local symbol 51: discarded in section `.text._ZNSt6vectorISsSaISsEED2Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 52: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD2Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 53: discarded in section `.text._ZNSt3mapISsSsSt4lessISsESaISt4pairIKSsSsEEEixERS3_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 54: discarded in section `.text._ZStplIcSt11char_traitsIcESaIcEESbIT_T0_T1_ERKS6_S3_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 55: discarded in section `.text._ZStplIcSt11char_traitsIcESaIcEESbIT_T0_T1_EPKS3_RKS6_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 56: discarded in section `.text._ZN5boost15program_options22error_with_option_name15set_option_nameERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 57: 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 58: 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 59: 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 60: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE16_M_insert_uniqueERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 61: 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 62: 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 63: discarded in section `.text._ZNSt4pairIKSsSsED2Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 64: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE14_M_create_nodeERKS2_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 65: discarded in section `.text._ZN5boost15program_options22error_with_option_nameC2ERKS1_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 66: 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 67: 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 68: discarded in section `.text._ZNSt4pairIKSsS_ISsSsEED2Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 69: discarded in section `.text._ZNSt4pairISsSsED2Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 70: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 71: discarded in section `.text._ZN5boost15throw_exceptionINS_17bad_function_callEEEvRKT_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 72: discarded in section `.text._ZN5boost17bad_function_callC2Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 73: 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 74: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_17bad_function_callEED2Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 75: 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 76: 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 77: 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 78: 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 79: 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 80: 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 81: 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 82: 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 83: 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 84: 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 85: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEEC1ERKS5_' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 86: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_17bad_function_callEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 87: 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 88: 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 89: 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 90: 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 91: discarded in section `.text._ZSt22__uninitialized_copy_aIPSsS0_SsET0_T_S2_S1_SaIT1_E' from /usr/local/lib/libboost_program_options.a(value_semantic.o) local symbol 92: 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 93: 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 94: 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.