From owner-freebsd-pkg-fallout@freebsd.org Fri Jan 20 01:07:03 2017 Return-Path: Delivered-To: freebsd-pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 6126ACB654B for ; Fri, 20 Jan 2017 01:07:03 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.ysv.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 4F67D1F7B for ; Fri, 20 Jan 2017 01:07:03 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.ysv.freebsd.org (Postfix) id 4EC8CCB654A; Fri, 20 Jan 2017 01:07:03 +0000 (UTC) Delivered-To: pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 4E5BDCB6549 for ; Fri, 20 Jan 2017 01:07:03 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from thunderx1.nyi.freebsd.org (thunderx1.nyi.freebsd.org [IPv6:2610:1c1:1:6082::16:fb]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 1645E1F7A for ; Fri, 20 Jan 2017 01:07:03 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from thunderx1.nyi.freebsd.org (localhost [127.0.0.1]) by thunderx1.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id v0K172bJ096710 for ; Fri, 20 Jan 2017 01:07:02 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by thunderx1.nyi.freebsd.org (8.15.2/8.15.2/Submit) id v0K172KV096698; Fri, 20 Jan 2017 01:07:02 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Fri, 20 Jan 2017 01:07:02 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201701200107.v0K172KV096698@thunderx1.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - 110arm64-default][math/stp] Failed for stp-1436_3 in build X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 20 Jan 2017 01:07:03 -0000 You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: 6yearold@gmail.com Last committer: 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/431832/logs/stp-1436_3.log Build URL: http://thunderx1.nyi.freebsd.org/build.html?mastername=110arm64-default&build=431832 Log: ====>> Building math/stp build started at Fri Jan 20 00:34:06 UTC 2017 port directory: /usr/ports/math/stp building for: FreeBSD 110arm64-default-job-22 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: 22 !!! 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--- =================================================== ===> License MIT accepted by the user =========================================================================== =================================================== ===> 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-22] Installing pkg-1.9.4_1... [110arm64-default-job-22] 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 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by stp-1436_3 for building =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by stp-1436_3 for building => SHA256 Checksum OK for stp-1436.tar.xz. =========================================================================== =================================================== =========================================================================== =================================================== ===> 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. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for stp-1436_3 =========================================================================== =================================================== ===> stp-1436_3 depends on executable: bison - not found ===> Installing existing package /packages/All/bison-3.0.4,1.txz [110arm64-default-job-22] Installing bison-3.0.4,1... [110arm64-default-job-22] `-- Installing indexinfo-0.2.6... [110arm64-default-job-22] `-- Extracting indexinfo-0.2.6: .... done [110arm64-default-job-22] `-- Installing gettext-runtime-0.19.8.1_1... [110arm64-default-job-22] `-- Extracting gettext-runtime-0.19.8.1_1: .......... done [110arm64-default-job-22] `-- Installing m4-1.4.18,1... [110arm64-default-job-22] `-- Extracting m4-1.4.18,1: .......... done [110arm64-default-job-22] Extracting bison-3.0.4,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-22] Installing cmake-3.7.1... [110arm64-default-job-22] `-- Installing expat-2.2.0_1... [110arm64-default-job-22] `-- Extracting expat-2.2.0_1: .......... done [110arm64-default-job-22] `-- Installing cmake-modules-3.7.1... [110arm64-default-job-22] `-- Extracting cmake-modules-3.7.1: .......... done [110arm64-default-job-22] `-- Installing curl-7.52.1_1... [110arm64-default-job-22] | `-- Installing libnghttp2-1.18.1... [110arm64-default-job-22] | `-- Extracting libnghttp2-1.18.1: .......... done [110arm64-default-job-22] | `-- Installing ca_root_nss-3.28.1... [110arm64-default-job-22] | `-- Extracting ca_root_nss-3.28.1: ........ done [110arm64-default-job-22] `-- Extracting curl-7.52.1_1: .......... done [110arm64-default-job-22] `-- Installing libarchive-3.2.2,1... [110arm64-default-job-22] | `-- Installing liblz4-131... [110arm64-default-job-22] | `-- Extracting liblz4-131: .......... done [110arm64-default-job-22] | `-- Installing lzo2-2.09... [110arm64-default-job-22] | `-- Extracting lzo2-2.09: .......... done [110arm64-default-job-22] `-- Extracting libarchive-3.2.2,1: .......... done [110arm64-default-job-22] `-- Installing jsoncpp-1.8.0_1... [110arm64-default-job-22] `-- Extracting jsoncpp-1.8.0_1: .......... done [110arm64-default-job-22] `-- Installing libuv-1.10.2... [110arm64-default-job-22] `-- Extracting libuv-1.10.2: .......... done [110arm64-default-job-22] 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. 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& operator = (vec& 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& 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& operator = (Map& 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& 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&, const Minisat::vec& ) ^ /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&, const Minisat::vec& ) ^ /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&, const Minisat::vec& ) ^ /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& operator = (vec& 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& 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& operator = (Map& 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& 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&, const Minisat::vec& ) ^ /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&, const Minisat::vec& ) ^ /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&, const Minisat::vec& ) ^ /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