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:     6year...@gmail.com
Last committer: m...@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/393210/logs/stp-1436_1.log
Build URL:      
http://beefy5.nyi.freebsd.org/build.html?mastername=84i386-default&build=393210
Log:

====>> Building math/stp
build started at Fri Jul 31 14:33:21 UTC 2015
port directory: /usr/ports/math/stp
building for: FreeBSD 84i386-default-job-03 8.4-RELEASE-p35 FreeBSD 
8.4-RELEASE-p35 i386
maintained by: 6year...@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-p35
UNAME_r=8.4-RELEASE-p35
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---
=======================<phase: check-sanity   >============================
===>  License MIT accepted by the user
===========================================================================
=======================<phase: pkg-depends    >============================
===>   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-03] Installing pkg-1.5.5...
[84i386-default-job-03] 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
===========================================================================
=======================<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
===>   Installing existing package /packages/All/bison-2.7.1,1.txz
[84i386-default-job-03] Installing bison-2.7.1,1...
[84i386-default-job-03] `-- Installing gettext-runtime-0.19.4...
[84i386-default-job-03] |   `-- Installing indexinfo-0.2.3...
[84i386-default-job-03] |   `-- Extracting indexinfo-0.2.3: .... done
[84i386-default-job-03] |   `-- Installing libiconv-1.14_8...
[84i386-default-job-03] |   `-- Extracting libiconv-1.14_8: .......... done
[84i386-default-job-03] `-- Extracting gettext-runtime-0.19.4: .......... done
[84i386-default-job-03] `-- Installing m4-1.4.17_1,1...
[84i386-default-job-03] `-- Extracting m4-1.4.17_1,1: .......... done
[84i386-default-job-03] 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-03] Installing cmake-3.2.3_2...
[84i386-default-job-03] `-- Installing cmake-modules-3.2.3...
[84i386-default-job-03] `-- Extracting cmake-modules-3.2.3: .......... done
[84i386-default-job-03] `-- Installing curl-7.43.0_2...
[84i386-default-job-03] |   `-- Installing ca_root_nss-3.19.2...
[84i386-default-job-03] |   `-- Extracting ca_root_nss-3.19.2: ....... done
[84i386-default-job-03] `-- Extracting curl-7.43.0_2: .......... done
[84i386-default-job-03] `-- Installing expat-2.1.0_2...
[84i386-default-job-03] `-- Extracting expat-2.1.0_2: .......... done
[84i386-default-job-03] `-- Installing jsoncpp-0.6.0.r2_2...
[84i386-default-job-03] `-- Extracting jsoncpp-0.6.0.r2_2: .......... done
[84i386-default-job-03] `-- Installing libarchive-3.1.2_3,1...
[84i386-default-job-03] |   `-- Installing lzo2-2.09...
[84i386-default-job-03] |   `-- Extracting lzo2-2.09: .......... done
[84i386-default-job-03] `-- Extracting libarchive-3.1.2_3,1: .......... done
[84i386-default-job-03] 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

***************************************************************************
===>   stp-1436_1 depends on file: /usr/local/bin/cmake - found
===>   Returning to build of stp-1436_1
<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.
_______________________________________________
freebsd-pkg-fallout@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-pkg-fallout
To unsubscribe, send any mail to "freebsd-pkg-fallout-unsubscr...@freebsd.org"

Reply via email to