[package - 84i386-default][math/stp] Failed for stp-1436_1 in build
pkg-fallout at FreeBSD.org
pkg-fallout at FreeBSD.org
Sat May 2 07:33:08 UTC 2015
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 at gmail.com
Last committer: mat at 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/385145/logs/stp-1436_1.log
Build URL: http://beefy5.nyi.freebsd.org/build.html?mastername=84i386-default&build=385145
Log:
====>> Building math/stp
build started at Sat May 2 07:29:25 UTC 2015
port directory: /usr/ports/math/stp
building for: FreeBSD 84i386-default-job-04 8.4-RELEASE-p27 FreeBSD 8.4-RELEASE-p27 i386
maintained by: 6yearold at gmail.com
Makefile ident: $FreeBSD: head/math/stp/Makefile 383107 2015-04-03 11:26:48Z mat $
Poudriere version: 3.1.4
Host OSVERSION: 1100070
Jail OSVERSION: 804000
---Begin Environment---
UNAME_p=i386
UNAME_m=i386
OSVERSION=804000
UNAME_v=FreeBSD 8.4-RELEASE-p27
UNAME_r=8.4-RELEASE-p27
FTP_PASSIVE_MODE=YES
BLOCKSIZE=K
MAIL=/var/mail/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin
STATUS=1
SAVED_TERM=screen
MASTERMNT=/usr/local/poudriere/data/.m/84i386-default/ref
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.4
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 -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.18.4
PERL_VER=5.18
PERL5_MAN3=lib/perl5/site_perl/man/man3
SITE_PERL=lib/perl5/site_perl
SITE_ARCH=lib/perl5/site_perl/mach/5.18
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---
=======================<phase: check-sanity >============================
===> License MIT accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===> 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.5.1.txz
[84i386-default-job-04] Installing pkg-1.5.1...
[84i386-default-job-04] Extracting pkg-1.5.1... done
Message for pkg-1.5.1:
If you are upgrading from the old package format, first run:
# pkg2ng
===> Returning to build of stp-1436_1
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> License MIT accepted by the user
===> Fetching all distfiles required by stp-1436_1 for building
===========================================================================
=======================<phase: checksum >============================
===> License MIT accepted by the user
===> Fetching all distfiles required by stp-1436_1 for building
=> SHA256 Checksum OK for stp-1436.tar.xz.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract >============================
===> 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.
===========================================================================
=======================<phase: patch-depends >============================
===========================================================================
=======================<phase: patch >============================
===> Patching for stp-1436_1
===========================================================================
=======================<phase: build-depends >============================
===> 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-04] Installing bison-2.7.1,1...
[84i386-default-job-04] `-- Installing gettext-runtime-0.19.4...
[84i386-default-job-04] | `-- Installing indexinfo-0.2.3...
[84i386-default-job-04] | `-- Extracting indexinfo-0.2.3... done
[84i386-default-job-04] | `-- Installing libiconv-1.14_8...
[84i386-default-job-04] | `-- Extracting libiconv-1.14_8... done
[84i386-default-job-04] `-- Extracting gettext-runtime-0.19.4... done
[84i386-default-job-04] `-- Installing m4-1.4.17_1,1...
[84i386-default-job-04] `-- Extracting m4-1.4.17_1,1... done
[84i386-default-job-04] Extracting 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.1.3.txz
[84i386-default-job-04] Installing cmake-3.1.3...
[84i386-default-job-04] `-- Installing cmake-modules-3.1.3...
[84i386-default-job-04] `-- Extracting cmake-modules-3.1.3... done
[84i386-default-job-04] `-- Installing curl-7.42.1...
[84i386-default-job-04] | `-- Installing ca_root_nss-3.18.1...
[84i386-default-job-04] | `-- Extracting ca_root_nss-3.18.1... done
[84i386-default-job-04] `-- Extracting curl-7.42.1... done
[84i386-default-job-04] `-- Installing expat-2.1.0_2...
[84i386-default-job-04] `-- Extracting expat-2.1.0_2... done
[84i386-default-job-04] `-- Installing libarchive-3.1.2_2,1...
[84i386-default-job-04] | `-- Installing libxml2-2.9.2_2...
[84i386-default-job-04] | `-- Extracting libxml2-2.9.2_2... done
[84i386-default-job-04] | `-- Installing lzo2-2.09...
[84i386-default-job-04] | `-- Extracting lzo2-2.09... done
[84i386-default-job-04] `-- Extracting libarchive-3.1.2_2,1... done
[84i386-default-job-04] Extracting cmake-3.1.3... done
Message for ca_root_nss-3.18.1:
********************************* WARNING *********************************
FreeBSD does not, and can not warrant that the certificate 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
***************************************************************************
===> Returning to build of stp-1436_1
===> stp-1436_1 depends on package: flex>=2.5.38 - not found
<snip>
/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<T>::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<T>::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<T>::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<T>::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<T>::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<T>::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<T>::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<T>::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.
More information about the freebsd-pkg-fallout
mailing list