Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 17 Oct 2014 19:44:17 GMT
From:      pkg-fallout@FreeBSD.org
To:        6yearold@gmail.com
Cc:        pkg-fallout@FreeBSD.org
Subject:   [package - 84i386-default][math/stp] Failed for stp-1436_1 in build
Message-ID:  <201410171944.s9HJiHfC052135@beefy1.isc.freebsd.org>

next in thread | raw e-mail | index | archive | help
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.

Maintainer:     6yearold@gmail.com
Last committer: antoine@FreeBSD.org
Ident:          $FreeBSD: head/math/stp/Makefile 366210 2014-08-26 12:44:36Z antoine $
Log URL:        http://beefy1.isc.freebsd.org/data/84i386-default/2014-10-17_15h23m17s/logs/stp-1436_1.log
Build URL:      http://beefy1.isc.freebsd.org/build.html?mastername=84i386-default&build=2014-10-17_15h23m17s
Log:

====>> Building math/stp
build started at Fri Oct 17 19:40:39 UTC 2014
port directory: /usr/ports/math/stp
building for: FreeBSD 84i386-default-job-16 8.4-RELEASE-p16 FreeBSD 8.4-RELEASE-p16 i386
maintained by: 6yearold@gmail.com
Makefile ident:      $FreeBSD: head/math/stp/Makefile 366210 2014-08-26 12:44:36Z antoine $
Poudriere version: 3.1-pre
Host OSVERSION: 1100027
Jail OSVERSION: 804000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=804000
UNAME_v=FreeBSD 8.4-RELEASE-p16
UNAME_r=8.4-RELEASE-p16
FTP_PASSIVE_MODE=YES
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/.m/84i386-default/ref
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin
POUDRIERE_BUILD_TYPE=bulk
PKGNAME=stp-1436_1
OLDPWD=/root
PWD=/usr/local/poudriere/data/.m/84i386-default/ref/.p/pool
MASTERNAME=84i386-default
USER=root
HOME=/root
POUDRIERE_VERSION=3.1-pre
LOCALBASE=/usr/local
PACKAGE_BUILDING=yes
---End Environment---

---Begin OPTIONS List---
---End OPTIONS List---

--CONFIGURE_ARGS--

--End CONFIGURE_ARGS--

--CONFIGURE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/stp/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/stp/work  HOME=/wrkdirs/usr/ports/math/stp/work TMPDIR="/tmp" ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl XDG_DATA_HOME=/wrkdirs/usr/ports/math/stp/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/stp/work  HOME=/wrkdirs/usr/ports/math/stp/work TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh
--End CONFIGURE_ENV--

--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/stp/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/stp/work  HOME=/wrkdirs/usr/ports/math/stp/work TMPDIR="/tmp" XDG_DATA_HOME=/wrkdirs/usr/ports/math/stp/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/stp/work  HOME=/wrkdirs/usr/ports/math/stp/work TMPDIR="/tmp" NO_PIE=yes SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local  LOCALBASE=/usr/local  LIBDIR="/usr/lib"  CC="cc" CFLAGS="-O2 -pipe -fno-strict-aliasing"  CPP="cpp" CPPFLAGS=""  LDFLAGS="" LIBS=""  CXX="c++" CXXFLAGS="-O2 -pipe -fno-strict-aliasing"  MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install  -s -o root -g wheel -m 555"  BSD_INSTALL_LIB="install  -s -o root -g wheel -m 444"  BSD_INSTALL_SCRIPT="install  -o root -g wheel -m 555"  BSD_INSTALL_DATA="install  -o root -g wheel -m 0644"  BSD_INSTALL_MAN="install  -o root -g wheel -m 444"
--End MAKE_ENV--

--PLIST_SUB--
CMAKE_BUILD_TYPE="release"
OSREL=8.4
PREFIX=%D
LOCALBASE=/usr/local
RESETPREFIX=/usr/local
PORTDOCS=""
PORTEXAMPLES=""
LIB32DIR=lib
PERL_VERSION=5.16.3
PERL_VER=5.16
PERL_ARCH=mach
PERL5_MAN3=lib/perl5/5.16/man/man3
SITE_PERL=lib/perl5/site_perl/5.16
DOCSDIR="share/doc/stp"
EXAMPLESDIR="share/examples/stp"
DATADIR="share/stp"
WWWDIR="www/stp"
ETCDIR="etc/stp"
--End PLIST_SUB--

--SUB_LIST--
PREFIX=/usr/local
LOCALBASE=/usr/local
DATADIR=/usr/local/share/stp
DOCSDIR=/usr/local/share/doc/stp
EXAMPLESDIR=/usr/local/share/examples/stp
WWWDIR=/usr/local/www/stp
ETCDIR=/usr/local/etc/stp
--End SUB_LIST--

---Begin make.conf---
ARCH=i386
MACHINE=i386
MACHINE_ARCH=i386
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
ARCH=i386
MACHINE=i386
MACHINE_ARCH=i386
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
#### /usr/local/etc/poudriere.d/make.conf ####
WITH_PKGNG=yes
#WITH_PKGNG=devel
# clean-restricted via poudriere.conf NO_RESTRICTED
#NO_RESTRICTED=yes
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
=======================<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.3.8_3.txz
[84i386-default-job-16] Installing pkg-1.3.8_3... done
Message for pkg-1.3.8_3:
 If you are upgrading from the old package format, first run:

  # pkg2ng
===>   Returning to build of stp-1436_1
===========================================================================
=======================<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-16] Installing indexinfo-0.2... done
[84i386-default-job-16] Installing libiconv-1.14_4... done
[84i386-default-job-16] Installing gettext-0.18.3.1_1... done
[84i386-default-job-16] Installing m4-1.4.17_1,1... done
[84i386-default-job-16] Installing bison-2.7.1,1... done
===>   Returning to build of stp-1436_1
===>   stp-1436_1 depends on file: /usr/local/bin/cmake - not found
===>    Verifying install for /usr/local/bin/cmake in /usr/ports/devel/cmake
===>   Installing existing package /packages/All/cmake-3.0.2.txz
[84i386-default-job-16] Installing cmake-modules-3.0.2... done
[84i386-default-job-16] Installing ca_root_nss-3.17.1... done
[84i386-default-job-16] Installing curl-7.38.0_2... done
[84i386-default-job-16] Installing expat-2.1.0_1... done
[84i386-default-job-16] Installing cmake-3.0.2... done
===>   Returning to build of stp-1436_1
===>   stp-1436_1 depends on package: flex>=2.5.38 - not found
===>    Verifying install for flex>=2.5.38 in /usr/ports/textproc/flex
===>   Installing existing package /packages/All/flex-2.5.39_2.txz
[84i386-default-job-16] Installing flex-2.5.39_2... done
===>   Returning to build of stp-1436_1
===>   stp-1436_1 depends on file: /usr/local/bin/perl5.16.3 - not found
===>    Verifying install for /usr/local/bin/perl5.16.3 in /usr/ports/lang/perl5.16
===>   Installing existing package /packages/All/perl5-5.16.3_11.txz
[84i386-default-job-16] Installing perl5-5.16.3_11... done
===>   Returning to build of stp-1436_1
===========================================================================
=======================<phase: lib-depends    >============================
===>   stp-1436_1 depends on shared library: libboost_program_options.so - not found
===>    Verifying for libboost_program_options.so in /usr/ports/devel/boost-libs
===>   Installing existing package /packages/All/boost-libs-1.55.0_4.txz
[84i386-default-job-16] Installing icu-53.1... done
[84i386-default-job-16] Installing boost-libs-1.55.0_4... done
Message for boost-libs-1.55.0_4:
 You have built the Boost library with thread support.

Don't forget to add -pthread to your linker options when
linking your code.
===>   Returning to build of stp-1436_1
===>   stp-1436_1 depends on shared library: libboost_system.so - found (/usr/local/lib/libboost_system.so.1.55.0)
===========================================================================
=======================<phase: configure      >============================
===>  Configuring for stp-1436_1
===>  Performing in-source build
/bin/mkdir -p /wrkdirs/usr/ports/math/stp/work/stp-1436
-- The C compiler identification is GNU 4.2.1
-- The CXX compiler identification is GNU 4.2.1
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
<snip>
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STPManager.h:16,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:11:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'array_id'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'i'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'v'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:58: warning: unused parameter 'i'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:71: warning: unused parameter 'x'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:11:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STPManager.h:382: warning: unused parameter 'children'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../to-sat/ASTNode/ToCNF.h:17,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../to-sat/ASTNode/ToSAT.h:13,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STP.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:12:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../to-sat/ASTNode/ClauseList.h:84: warning: unused parameter 'v'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/../mtl/Alloc.h: In member function 'T& Minisat::RegionAllocator<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 cr ../../lib/libstp.a  ../AST/CMakeFiles/AST.dir/ASTKind.cpp.o ../AST/CMakeFiles/AST.dir/ArrayTransformer.cpp.o ../AST/CMakeFiles/AST.dir/ASTInterior.cpp.o ../AST/CMakeFiles/AST.dir/ASTNode.cpp.o ../AST/CMakeFiles/AST.dir/ASTUtil.cpp.o ../AST/CMakeFiles/AST.dir/ASTBVConst.cpp.o ../AST/CMakeFiles/AST.dir/ASTmisc.cpp.o ../AST/CMakeFiles/AST.dir/ASTSymbol.cpp.o ../AST/CMakeFiles/AST.dir/RunTimes.cpp.o ../AST/CMakeFiles/AST.dir/NodeFactory/HashingNodeFactory.cpp.o ../AST/CMakeFiles/AST.dir/NodeFactory/NodeFactory.cpp.o ../AST/CMakeFiles/AST.dir/NodeFactory/SimplifyingNodeFactory.cpp.o ../AST/CMakeFiles/AST.dir/NodeFactory/TypeChecker.cpp.o ../main/CMakeFiles/globalstp.dir/Globals.cpp.o ../main/CMakeFiles/globalstp.dir/GitSHA1.cpp.o ../STPManager/CMakeFiles/stpmgr.dir/STP.cpp.o ../STPManager/CMakeFiles/stpmgr.dir/STPManager.cpp.o ../absrefine_counterexample/CMakeFiles/abstractionrefinement.dir/AbstractionRefinement.cpp.o ../absrefine_counterexample/CMakeFiles/abstractionrefine
 ment.dir/CounterExample.cpp.o ../to-sat/CMakeFiles/tosat.dir/BitBlaster.cpp.o ../to-sat/CMakeFiles/tosat.dir/ToSATBase.cpp.o ../to-sat/CMakeFiles/tosat.dir/AIG/BBNodeManagerAIG.cpp.o ../to-sat/CMakeFiles/tosat.dir/AIG/ToCNFAIG.cpp.o ../to-sat/CMakeFiles/tosat.dir/AIG/ToSATAIG.cpp.o ../to-sat/CMakeFiles/tosat.dir/ASTNode/ClauseList.cpp.o ../to-sat/CMakeFiles/tosat.dir/ASTNode/SimpBool.cpp.o ../to-sat/CMakeFiles/tosat.dir/ASTNode/ToCNF.cpp.o ../to-sat/CMakeFiles/tosat.dir/ASTNode/ToSAT.cpp.o ../sat/CMakeFiles/sat.dir/CryptoMinisat.cpp.o ../sat/CMakeFiles/sat.dir/MinisatCore.cpp.o ../sat/CMakeFiles/sat.dir/MinisatCore_prop.cpp.o ../sat/CMakeFiles/sat.dir/SimplifyingMinisat.cpp.o ../sat/minisat/CMakeFiles/minisat2.dir/simp/SimpSolver.cc.o ../sat/minisat/CMakeFiles/minisat2.dir/core/Solver.cc.o ../sat/minisat/CMakeFiles/minisat2.dir/core_prop/Solver_prop.cc.o ../sat/minisat/CMakeFiles/minisat2.dir/utils/System.cc.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/ClauseAllocator.cpp.o
  ../sat/cryptominisat2/CMakeFiles/cryptomini!
 sat2.dir/ClauseCleaner.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/FailedVarSearcher.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/FindUndef.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/Gaussian.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/Logger.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/MatrixFinder.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/OnlyNonLearntBins.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/PackedRow.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/PartFinder.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/PartHandler.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/RestartTypeChooser.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/Solver.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/StateSaver.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/Subsumer.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/UselessB
 inRemover.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/VarReplacer.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/XorFinder.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/XorSubsumer.cpp.o ../sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/time_mem.cpp.o ../simplifier/CMakeFiles/simplifier.dir/bvsolver.cpp.o ../simplifier/CMakeFiles/simplifier.dir/consteval.cpp.o ../simplifier/CMakeFiles/simplifier.dir/MutableASTNode.cpp.o ../simplifier/CMakeFiles/simplifier.dir/PropagateEqualities.cpp.o ../simplifier/CMakeFiles/simplifier.dir/RemoveUnconstrained.cpp.o ../simplifier/CMakeFiles/simplifier.dir/simplifier.cpp.o ../simplifier/CMakeFiles/simplifier.dir/SubstitutionMap.cpp.o ../simplifier/CMakeFiles/simplifier.dir/VariablesInExpression.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Arithmetic.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Boolean.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP
 /ConstantBitP_Comparison.cpp.o ../simplifier!
 /CMakeFil!
 es/simplifier.dir/constantBitP/ConstantBitP_Division.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_MaxPrecision.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Multiplication.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitPropagation.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Shifting.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_TransferFunctions.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/ConstantBitP_Utility.cpp.o ../simplifier/CMakeFiles/simplifier.dir/constantBitP/FixedBits.cpp.o ../extlib-constbv/CMakeFiles/constantbv.dir/constantbv.cpp.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigCheck.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigDfs.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigFanout.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMan.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigMem.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/a
 ig/aigMffc.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigObj.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigOper.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigOrder.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigPart.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigRepr.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigRet.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigScl.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigSeq.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigShow.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTable.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTime.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTiming.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTruth.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigTsim.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigUtil.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/aig/aigWin.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfCore.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfCut.c.o ../extlib-abc/CMakeFiles/abc.
 dir/aig/cnf/cnfData.c.o ../extlib-abc/CMakeF!
 iles/abc.!
 dir/aig/cnf/cnfMan.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfMap.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfPost.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfUtil.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/cnf/cnfWrite.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darBalance.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darCore.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darCut.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darData.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darLib.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darMan.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darPrec.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darRefact.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/dar/darScript.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/kit/kitAig.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/kit/kitGraph.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/kit/kitIsop.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/kit/kitSop.c.o ../extlib-abc/CMakeFiles/abc.dir/aig/kit/kitTruth.c.o ../c_interface/C
 MakeFiles/cinterface.dir/c_interface.cpp.o ../cpp_interface/CMakeFiles/cppinterface.dir/cpp_interface.cpp.o ../parser/CMakeFiles/parser.dir/LetMgr.cpp.o ../parser/CMakeFiles/parser.dir/lexcvc.cpp.o ../parser/CMakeFiles/parser.dir/parsecvc.cpp.o ../parser/CMakeFiles/parser.dir/lexsmt2.cpp.o ../parser/CMakeFiles/parser.dir/parsesmt2.cpp.o ../parser/CMakeFiles/parser.dir/lexsmt.cpp.o ../parser/CMakeFiles/parser.dir/parsesmt.cpp.o ../printer/CMakeFiles/printer.dir/AssortedPrinters.cpp.o ../printer/CMakeFiles/printer.dir/BenchPrinter.cpp.o ../printer/CMakeFiles/printer.dir/CPrinter.cpp.o ../printer/CMakeFiles/printer.dir/dotPrinter.cpp.o ../printer/CMakeFiles/printer.dir/GDLPrinter.cpp.o ../printer/CMakeFiles/printer.dir/LispPrinter.cpp.o ../printer/CMakeFiles/printer.dir/PLPrinter.cpp.o ../printer/CMakeFiles/printer.dir/SMTLIB1Printer.cpp.o ../printer/CMakeFiles/printer.dir/SMTLIB2Printer.cpp.o ../printer/CMakeFiles/printer.dir/SMTLIBPrinter.cpp.o
/usr/bin/ranlib ../../lib/libstp.a
/usr/local/bin/cmake -E cmake_progress_report /wrkdirs/usr/ports/math/stp/work/stp-1436/CMakeFiles
[ 99%] Built target libstp
/usr/bin/make -f src/main/CMakeFiles/stp.dir/build.make src/main/CMakeFiles/stp.dir/depend
cd /wrkdirs/usr/ports/math/stp/work/stp-1436 && /usr/local/bin/cmake -E cmake_depends "Unix Makefiles" /wrkdirs/usr/ports/math/stp/work/stp-1436 /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main /wrkdirs/usr/ports/math/stp/work/stp-1436 /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/CMakeFiles/stp.dir/DependInfo.cmake
Scanning dependencies of target stp
/usr/bin/make -f src/main/CMakeFiles/stp.dir/build.make src/main/CMakeFiles/stp.dir/build
/usr/local/bin/cmake -E cmake_progress_report /wrkdirs/usr/ports/math/stp/work/stp-1436/CMakeFiles 92
[100%] Building CXX object src/main/CMakeFiles/stp.dir/main.cpp.o
cd /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main && /usr/bin/c++   -D__STDC_LIMIT_MACROS -O2 -pipe -fno-strict-aliasing -Wall -Wextra -Wunused -Wsign-compare -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -O2 -pipe -fno-strict-aliasing -I/wrkdirs/usr/ports/math/stp/work/stp-1436/include -I/usr/local/include -I/wrkdirs/usr/ports/math/stp/work/stp-1436/src/AST -o CMakeFiles/stp.dir/main.cpp.o -c /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/AST.h:15,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:11:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/ASTInternal.h:109: warning: unused parameter 'c_friendly'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/AST.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:11:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/ASTBVConst.h:75: warning: unused parameter 'l'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/STPManager.h:16,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/ArrayTransformer.h:14,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:14,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'array_id'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'i'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'v'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:58: warning: unused parameter 'i'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:71: warning: unused parameter 'x'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/ArrayTransformer.h:14,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:14,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/STPManager.h:382: warning: unused parameter 'children'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../to-sat/ASTNode/ToCNF.h:17,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../to-sat/ASTNode/ToSAT.h:13,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../to-sat/ASTNode/ClauseList.h:84: warning: unused parameter 'v'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:18:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../cpp_interface/cpp_interface.h: In member function 'void BEEV::Cpp_interface::checkInvariant()':
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../cpp_interface/cpp_interface.h:66: warning: comparison between signed and unsigned integer expressions
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../cpp_interface/cpp_interface.h:67: warning: comparison between signed and unsigned integer expressions
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/vec.h:84,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/cnf_short.h:38,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:21:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/vecStr.h: In function 'int Vec_StrBase10Log(unsigned int)':
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/vecStr.h:418: warning: comparison of unsigned expression >= 0 is always true
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/cnf_short.h:39,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:21:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/aig.h: In function 'int Aig_Base2Log(unsigned int)':
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/aig.h:160: warning: comparison of unsigned expression >= 0 is always true
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/aig.h: In function 'int Aig_Base10Log(unsigned int)':
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/aig.h:161: warning: comparison of unsigned expression >= 0 is always true
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/minisat/core/../mtl/Alloc.h: In member function 'T& Minisat::RegionAllocator<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._ZN5boost15throw_exceptionINS_15program_options14unknown_optionEEEvRKT_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 1: discarded in section `.text._ZN5boost15program_options14unknown_optionD1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 2: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 3: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 4: discarded in section `.text._ZN5boost15program_options22error_with_option_name15set_option_nameERKSs' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 5: discarded in section `.text._ZNSt3mapISsSsSt4lessISsESaISt4pairIKSsSsEEEixERS3_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 6: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueESt17_Rb_tree_iteratorIS2_ERKS2_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 7: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 8: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueERKS2_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 9: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 10: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE8_M_eraseEPSt13_Rb_tree_nodeIS3_E' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 11: discarded in section `.text._ZNSt6vectorISsSaISsEEC2ERKS1_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 12: discarded in section `.text._ZN5boost15program_options22error_with_option_nameC2ERKS1_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 13: discarded in section `.text._ZN5boost15program_options25error_with_no_option_nameD1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 14: discarded in section `.text._ZN5boost15program_options25error_with_no_option_nameD0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 15: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE7_M_copyEPKSt13_Rb_tree_nodeIS3_EPSB_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 16: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE14_M_create_nodeERKS3_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 17: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE7_M_copyEPKSt13_Rb_tree_nodeIS2_EPSA_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 18: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE13_M_clone_nodeEPKSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 19: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 20: discarded in section `.text._ZNSt6vectorISsSaISsEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPSsS1_EERKSs' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 21: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_15program_options14unknown_optionEED2Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 22: discarded in section `.text._ZNK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 23: discarded in section `.text._ZNK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEE7rethrowEv' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 24: discarded in section `.text._ZTv0_n12_NK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 25: discarded in section `.text._ZTv0_n16_NK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEE7rethrowEv' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 26: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_15program_options14unknown_optionEEC2ERKS4_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 27: discarded in section `.text._ZN5boost15program_options14unknown_optionD0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 28: discarded in section `.text._ZNSt3mapISsSsSt4lessISsESaISt4pairIKSsSsEEEixERS3_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 29: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD1Ev' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 30: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD0Ev' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 31: discarded in section `.text._ZN5boost15program_options22error_with_option_name15set_option_nameERKSs' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 32: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 33: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE8_M_eraseEPSt13_Rb_tree_nodeIS3_E' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 34: discarded in section `.text._ZN5boost15program_options22error_with_option_nameC2ERKS1_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 35: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE7_M_copyEPKSt13_Rb_tree_nodeIS3_EPSB_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 36: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE14_M_create_nodeERKS3_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 37: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE7_M_copyEPKSt13_Rb_tree_nodeIS2_EPSA_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 38: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE13_M_clone_nodeEPKSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 39: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 40: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueESt17_Rb_tree_iteratorIS2_ERKS2_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 41: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 42: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueERKS2_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 43: discarded in section `.text._ZNSt3mapISsSsSt4lessISsESaISt4pairIKSsSsEEEixERS3_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 44: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 45: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 46: discarded in section `.text._ZN5boost15program_options22error_with_option_name15set_option_nameERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 47: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE8_M_eraseEPSt13_Rb_tree_nodeISsE' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 48: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE16_M_insert_uniqueESt17_Rb_tree_iteratorISsERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 49: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE9_M_insertEPSt18_Rb_tree_node_baseS7_RKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 50: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE16_M_insert_uniqueERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 51: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE7_M_copyEPKSt13_Rb_tree_nodeIS2_EPSA_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 52: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE13_M_clone_nodeEPKSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 53: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 54: discarded in section `.text._ZN5boost15program_options22error_with_option_nameC2ERKS1_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 55: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE7_M_copyEPKSt13_Rb_tree_nodeIS3_EPSB_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 56: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE8_M_eraseEPSt13_Rb_tree_nodeIS3_E' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 57: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE14_M_create_nodeERKS3_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 58: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 59: discarded in section `.text._ZN5boost15throw_exceptionINS_17bad_function_callEEEvRKT_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 60: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 61: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_17bad_function_callEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 62: discarded in section `.text._ZThn8_N5boost16exception_detail19error_info_injectorINS_17bad_function_callEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 63: discarded in section `.text._ZThn8_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 64: discarded in section `.text._ZTv0_n20_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 65: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 66: discarded in section `.text._ZNK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 67: discarded in section `.text._ZNK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEE7rethrowEv' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 68: discarded in section `.text._ZThn8_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 69: discarded in section `.text._ZTv0_n12_NK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 70: discarded in section `.text._ZTv0_n16_NK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEE7rethrowEv' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 71: discarded in section `.text._ZTv0_n20_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 72: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_17bad_function_callEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 73: discarded in section `.text._ZThn8_N5boost16exception_detail19error_info_injectorINS_17bad_function_callEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 74: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEEC1ERKS5_NS5_9clone_tagE' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 75: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEEC1ERKS4_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 76: discarded in section `.text._ZNSt6vectorISsSaISsEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPSsS1_EERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 77: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueESt17_Rb_tree_iteratorIS2_ERKS2_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 78: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 79: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueERKS2_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 80: discarded in section `.text._ZN5boost15program_options16ambiguous_optionD2Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 81: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(convert.o)
*** Error code 1

Stop in /wrkdirs/usr/ports/math/stp/work/stp-1436.
*** Error code 1

Stop in /wrkdirs/usr/ports/math/stp/work/stp-1436.
*** Error code 1

Stop in /wrkdirs/usr/ports/math/stp/work/stp-1436.
*** Error code 1

Stop in /usr/ports/math/stp.



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201410171944.s9HJiHfC052135>