Date: Fri, 13 Jan 2017 02:24:44 GMT From: pkg-fallout@FreeBSD.org To: pkg-fallout@FreeBSD.org Subject: [package - 110arm64-default][math/stp] Failed for stp-1436_3 in build Message-ID: <201701130224.v0D2Oi9U035409@thunderx1.nyi.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: jbeich@FreeBSD.org Ident: $FreeBSD: head/math/stp/Makefile 430692 2017-01-06 08:45:03Z jbeich $ Log URL: http://thunderx1.nyi.freebsd.org/data/110arm64-default/431215/logs/stp-1436_3.log Build URL: http://thunderx1.nyi.freebsd.org/build.html?mastername=110arm64-default&build=431215 Log: ====>> Building math/stp build started at Fri Jan 13 01:56:53 UTC 2017 port directory: /usr/ports/math/stp building for: FreeBSD 110arm64-default-job-02 11.0-RELEASE-p1 FreeBSD 11.0-RELEASE-p1 arm64 maintained by: 6yearold@gmail.com Makefile ident: $FreeBSD: head/math/stp/Makefile 430692 2017-01-06 08:45:03Z jbeich $ Poudriere version: 3.1.14 Host OSVERSION: 1100121 Jail OSVERSION: 1100122 Job Id: 02 !!! Jail is newer than host. (Jail: 1100122, Host: 1100121) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- SHELL=/bin/csh UNAME_v=FreeBSD 11.0-RELEASE-p1 UNAME_r=11.0-RELEASE-p1 BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 OPSYS=FreeBSD ARCH=aarch64 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/.m/110arm64-default/ref UID=0 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin _JAVA_VERSION_LIST_REGEXP=1.6\|1.7\|1.8\|1.6+\|1.7+\|1.8+ POUDRIERE_BUILD_TYPE=bulk PKGNAME=stp-1436_3 OSREL=11.0 _OSRELEASE=11.0-RELEASE-p1 PYTHONBASE=/usr/local OLDPWD=/ _SMP_CPUS=48 PWD=/usr/local/poudriere/data/.m/110arm64-default/ref/.p/pool MASTERNAME=110arm64-default SCRIPTPREFIX=/usr/local/share/poudriere _JAVA_VENDOR_LIST_REGEXP=openjdk\|oracle\|sun USER=root HOME=/root POUDRIERE_VERSION=3.1.14 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh CONFIGURE_MAX_CMD_LEN=262144 LIBEXECPREFIX=/usr/local/libexec/poudriere LOCALBASE=/usr/local PACKAGE_BUILDING=yes _JAVA_OS_LIST_REGEXP=native\|linux OSVERSION=1100122 ---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 MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no 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=11.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib PERL_VERSION=5.24.1 PERL_VER=5.24 PERL5_MAN1=lib/perl5/site_perl/man/man1 PERL5_MAN3=lib/perl5/site_perl/man/man3 SITE_PERL=lib/perl5/site_perl SITE_ARCH=lib/perl5/site_perl/mach/5.24 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--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles #### /usr/local/etc/poudriere.d/make.conf #### # XXX: We really need this but cannot use it while 'make checksum' does not # try the next mirror on checksum failure. It currently retries the same # failed mirror and then fails rather then trying another. It *does* # try the next if the size is mismatched though. #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_3 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.9.4_1.txz [110arm64-default-job-02] Installing pkg-1.9.4_1... [110arm64-default-job-02] Extracting pkg-1.9.4_1: .......... done ===> stp-1436_3 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of stp-1436_3 =========================================================================== =======================<phase: fetch-depends >============================ =========================================================================== =======================<phase: fetch >============================ ===> License MIT accepted by the user ===> Fetching all distfiles required by stp-1436_3 for building =========================================================================== =======================<phase: checksum >============================ ===> License MIT accepted by the user ===> Fetching all distfiles required by stp-1436_3 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_3 for building ===> Extracting for stp-1436_3 => SHA256 Checksum OK for stp-1436.tar.xz. =========================================================================== =======================<phase: patch-depends >============================ =========================================================================== =======================<phase: patch >============================ ===> Patching for stp-1436_3 =========================================================================== =======================<phase: build-depends >============================ ===> stp-1436_3 depends on executable: bison - not found ===> Installing existing package /packages/All/bison-2.7.1_1,1.txz [110arm64-default-job-02] Installing bison-2.7.1_1,1... [110arm64-default-job-02] `-- Installing indexinfo-0.2.6... [110arm64-default-job-02] `-- Extracting indexinfo-0.2.6: .... done [110arm64-default-job-02] `-- Installing gettext-runtime-0.19.8.1_1... [110arm64-default-job-02] `-- Extracting gettext-runtime-0.19.8.1_1: .......... done [110arm64-default-job-02] `-- Installing m4-1.4.17_1,1... [110arm64-default-job-02] `-- Extracting m4-1.4.17_1,1: .......... done [110arm64-default-job-02] Extracting bison-2.7.1_1,1: .......... done ===> stp-1436_3 depends on executable: bison - found ===> Returning to build of stp-1436_3 ===> stp-1436_3 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.7.1.txz [110arm64-default-job-02] Installing cmake-3.7.1... [110arm64-default-job-02] `-- Installing expat-2.2.0_1... [110arm64-default-job-02] `-- Extracting expat-2.2.0_1: .......... done [110arm64-default-job-02] `-- Installing cmake-modules-3.7.1... [110arm64-default-job-02] `-- Extracting cmake-modules-3.7.1: .......... done [110arm64-default-job-02] `-- Installing curl-7.52.1_1... [110arm64-default-job-02] | `-- Installing libnghttp2-1.18.1... [110arm64-default-job-02] | `-- Extracting libnghttp2-1.18.1: .......... done [110arm64-default-job-02] | `-- Installing ca_root_nss-3.28.1... [110arm64-default-job-02] | `-- Extracting ca_root_nss-3.28.1: ........ done [110arm64-default-job-02] `-- Extracting curl-7.52.1_1: .......... done [110arm64-default-job-02] `-- Installing libarchive-3.2.2,1... [110arm64-default-job-02] | `-- Installing liblz4-131... [110arm64-default-job-02] | `-- Extracting liblz4-131: .......... done [110arm64-default-job-02] | `-- Installing lzo2-2.09... [110arm64-default-job-02] | `-- Extracting lzo2-2.09: .......... done [110arm64-default-job-02] `-- Extracting libarchive-3.2.2,1: .......... done [110arm64-default-job-02] `-- Installing jsoncpp-1.8.0_1... [110arm64-default-job-02] `-- Extracting jsoncpp-1.8.0_1: .......... done [110arm64-default-job-02] `-- Installing libuv-1.10.2... [110arm64-default-job-02] `-- Extracting libuv-1.10.2: .......... done [110arm64-default-job-02] Extracting cmake-3.7.1: .......... done Message from ca_root_nss-3.28.1: ********************************* 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. <snip> In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/AST.h:15: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/AST/ASTInternal.h:109:46: warning: unused parameter 'c_friendly' [-Wunused-parameter] virtual void nodeprint(ostream& os, bool c_friendly = false) ^ In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:10: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/AST.h:18: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/AST/ASTBVConst.h:75:62: warning: unused parameter 'l' [-Wunused-parameter] ASTBVConst(CBV bv, unsigned int width, enum CBV_LIFETIME l ) ^ In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:11: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STPManager.h:16: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:4: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/mtl/Vec.h:44:34: warning: unused parameter 'other' [-Wunused-parameter] vec<T>& operator = (vec<T>& other) { assert(0); return *this; } ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/mtl/Vec.h:45:34: warning: unused parameter 'other' [-Wunused-parameter] vec (vec<T>& other) { assert(0); } ^ In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:11: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STPManager.h:16: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:5: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/SolverTypes.h:30: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/../mtl/Map.h:69:46: warning: unused parameter 'other' [-Wunused-parameter] Map<K,D,H,E>& operator = (Map<K,D,H,E>& other) { assert(0); } ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/minisat/core/../mtl/Map.h:70:46: warning: unused parameter 'other' [-Wunused-parameter] Map (Map<K,D,H,E>& other) { assert(0); } ^ In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:11: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STPManager.h:16: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:32:23: warning: unused parameter 'array_id' [-Wunused-parameter] bool addArray(int array_id, const SATSolver::vec_literals& i, const SATSolver::vec_literals& v, const Minisat::vec<Minisat::lbool>&, const Minisat::vec<Minisat::lbool>& ) ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:32:64: warning: unused parameter 'i' [-Wunused-parameter] bool addArray(int array_id, const SATSolver::vec_literals& i, const SATSolver::vec_literals& v, const Minisat::vec<Minisat::lbool>&, const Minisat::vec<Minisat::lbool>& ) ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:32:98: warning: unused parameter 'v' [-Wunused-parameter] bool addArray(int array_id, const SATSolver::vec_literals& i, const SATSolver::vec_literals& v, const Minisat::vec<Minisat::lbool>&, const Minisat::vec<Minisat::lbool>& ) ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:58:30: warning: unused parameter 'i' [-Wunused-parameter] virtual void setSeed(int i) ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:71:32: warning: unused parameter 'x' [-Wunused-parameter] virtual void setFrozen(Var 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:22: warning: unused parameter 'children' [-Wunused-parameter] const ASTVec &children = _empty_ASTVec) { ^ In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:12: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STP.h:18: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../to-sat/ASTNode/ToSAT.h:13: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../to-sat/ASTNode/ToCNF.h:17: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../to-sat/ASTNode/ClauseList.h:84:19: warning: unused parameter 'v' [-Wunused-parameter] void reserve(int v) { ^ 13 warnings generated. [ 98%] 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 -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 -std=c++11 -O2 -pipe -fno-strict-aliasing -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -O2 -pipe -fno-strict-aliasing -o CMakeFiles/globalstp.dir/GitSHA1.cpp.o -c /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/GitSHA1.cpp [ 98%] 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 [ 99%] 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 qc ../../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 [ 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 [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 -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 -std=c++11 -O2 -pipe -fno-strict-aliasing -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -O2 -pipe -fno-strict-aliasing -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/main.cpp:11: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/AST.h:15: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/AST/ASTInternal.h:109:46: warning: unused parameter 'c_friendly' [-Wunused-parameter] virtual void nodeprint(ostream& os, bool c_friendly = false) ^ In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:11: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/AST.h:18: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/AST/ASTBVConst.h:75:62: warning: unused parameter 'l' [-Wunused-parameter] ASTBVConst(CBV bv, unsigned int width, enum CBV_LIFETIME l ) ^ In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:14: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/ArrayTransformer.h:14: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/AST/../STPManager/STPManager.h:16: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../sat/SATSolver.h:4: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../sat/minisat/mtl/Vec.h:44:34: warning: unused parameter 'other' [-Wunused-parameter] vec<T>& operator = (vec<T>& other) { assert(0); return *this; } ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../sat/minisat/mtl/Vec.h:45:34: warning: unused parameter 'other' [-Wunused-parameter] vec (vec<T>& other) { assert(0); } ^ In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:14: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/ArrayTransformer.h:14: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/AST/../STPManager/STPManager.h:16: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../sat/SATSolver.h:5: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../sat/minisat/core/SolverTypes.h:30: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../sat/minisat/core/../mtl/Map.h:69:46: warning: unused parameter 'other' [-Wunused-parameter] Map<K,D,H,E>& operator = (Map<K,D,H,E>& other) { assert(0); } ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../sat/minisat/core/../mtl/Map.h:70:46: warning: unused parameter 'other' [-Wunused-parameter] Map (Map<K,D,H,E>& other) { assert(0); } ^ In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:14: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/ArrayTransformer.h:14: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/AST/../STPManager/STPManager.h:16: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../sat/SATSolver.h:32:23: warning: unused parameter 'array_id' [-Wunused-parameter] bool addArray(int array_id, const SATSolver::vec_literals& i, const SATSolver::vec_literals& v, const Minisat::vec<Minisat::lbool>&, const Minisat::vec<Minisat::lbool>& ) ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../sat/SATSolver.h:32:64: warning: unused parameter 'i' [-Wunused-parameter] bool addArray(int array_id, const SATSolver::vec_literals& i, const SATSolver::vec_literals& v, const Minisat::vec<Minisat::lbool>&, const Minisat::vec<Minisat::lbool>& ) ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../sat/SATSolver.h:32:98: warning: unused parameter 'v' [-Wunused-parameter] bool addArray(int array_id, const SATSolver::vec_literals& i, const SATSolver::vec_literals& v, const Minisat::vec<Minisat::lbool>&, const Minisat::vec<Minisat::lbool>& ) ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../sat/SATSolver.h:58:30: warning: unused parameter 'i' [-Wunused-parameter] virtual void setSeed(int i) ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../sat/SATSolver.h:71:32: warning: unused parameter 'x' [-Wunused-parameter] virtual void setFrozen(Var x) ^ In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:14: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/ArrayTransformer.h:14: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/AST/../STPManager/STPManager.h:382:22: warning: unused parameter 'children' [-Wunused-parameter] const ASTVec &children = _empty_ASTVec) { ^ In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:18: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../to-sat/ASTNode/ToSAT.h:13: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../to-sat/ASTNode/ToCNF.h:17: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../to-sat/ASTNode/ClauseList.h:84:19: warning: unused parameter 'v' [-Wunused-parameter] void reserve(int 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:66:34: warning: comparison of integers of different signs: 'int' and 'size_type' (aka 'unsigned long') [-Wsign-compare] assert(bm.getAssertLevel() == cache.size()); ~~~~~~~~~~~~~~~~~~~ ^ ~~~~~~~~~~~~ /usr/include/assert.h:54:21: note: expanded from macro 'assert' #define assert(e) ((e) ? (void)0 : __assert(__func__, __FILE__, \ ^ 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:67:34: warning: comparison of integers of different signs: 'int' and 'size_type' (aka 'unsigned long') [-Wsign-compare] assert(bm.getAssertLevel() == symbols.size()); ~~~~~~~~~~~~~~~~~~~ ^ ~~~~~~~~~~~~~~ /usr/include/assert.h:54:21: note: expanded from macro 'assert' #define assert(e) ((e) ? (void)0 : __assert(__func__, __FILE__, \ ^ In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:21: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/cnf_short.h:38: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/vec.h:84: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/vecStr.h:421:50: warning: for loop has empty body [-Wempty-body] for ( Res = 0, Num--; Num; Num /= 10, Res++ ); ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/vecStr.h:421:50: note: put the semicolon on a separate line to silence this warning In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:21: In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/cnf_short.h:39: /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/aig.h:160:152: warning: for loop has empty body [-Wempty-body] static inline int Aig_Base2Log( unsigned n ) { int r; assert( n >= 0 ); if ( n < 2 ) return n; for ( r = 0, n--; n; n >>= 1, r++ ); return r; } ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/aig.h:160:152: note: put the semicolon on a separate line to silence this warning /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/aig.h:161:152: warning: for loop has empty body [-Wempty-body] static inline int Aig_Base10Log( unsigned n ) { int r; assert( n >= 0 ); if ( n < 2 ) return n; for ( r = 0, n--; n; n /= 10, r++ ); return r; } ^ /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../extlib-abc/aig.h:161:152: note: put the semicolon on a separate line to silence this warning 18 warnings generated. [100%] 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++ -std=c++11 -O2 -pipe -fno-strict-aliasing -Wall -Wextra -Wunused -Wsign-compare -Wtype-limits -Wuninitialized -Wno-deprecated -Wstrict-aliasing -Wpointer-arith -Wheader-guard -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 CMakeFiles/stp.dir/main.cpp.o: In function `main': /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:(.text+0x24fc): undefined reference to `sbrk' c++: error: linker command failed with exit code 1 (use -v to see invocation) *** Error code 1 Stop. make[3]: stopped in /wrkdirs/usr/ports/math/stp/work/stp-1436 *** Error code 1 Stop. make[2]: stopped in /wrkdirs/usr/ports/math/stp/work/stp-1436 *** Error code 1 Stop. make[1]: stopped in /wrkdirs/usr/ports/math/stp/work/stp-1436 *** Error code 1 Stop. make: stopped in /usr/ports/math/stp
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201701130224.v0D2Oi9U035409>