Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 4 Jan 2017 00:22:41 GMT
From:      pkg-fallout@FreeBSD.org
To:        pkg-fallout@FreeBSD.org
Subject:   [package - 110arm64-quarterly][math/stp] Failed for stp-1436_2 in build
Message-ID:  <201701040022.v040MfcR080705@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: branches/2017Q1/math/stp/Makefile 426908 2016-11-23 12:45:46Z jbeich $
Log URL:        http://thunderx1.nyi.freebsd.org/data/110arm64-quarterly/430428/logs/stp-1436_2.log
Build URL:      http://thunderx1.nyi.freebsd.org/build.html?mastername=110arm64-quarterly&build=430428
Log:

====>> Building math/stp
build started at Tue Jan  3 23:51:54 UTC 2017
port directory: /usr/ports/math/stp
building for: FreeBSD 110arm64-quarterly-job-24 11.0-RELEASE-p1 FreeBSD 11.0-RELEASE-p1 arm64
maintained by: 6yearold@gmail.com
Makefile ident:      $FreeBSD: branches/2017Q1/math/stp/Makefile 426908 2016-11-23 12:45:46Z jbeich $
Poudriere version: 3.1.14
Host OSVERSION: 1100121
Jail OSVERSION: 1100122
Job Id: 24




!!! 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-quarterly/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_2
OSREL=11.0
_OSRELEASE=11.0-RELEASE-p1
PYTHONBASE=/usr/local
OLDPWD=/
_SMP_CPUS=48
PWD=/usr/local/poudriere/data/.m/110arm64-quarterly/ref/.p/pool
MASTERNAME=110arm64-quarterly
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_2 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.9.4_1.txz
[110arm64-quarterly-job-24] Installing pkg-1.9.4_1...
[110arm64-quarterly-job-24] Extracting pkg-1.9.4_1: .......... done
===>   stp-1436_2 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of stp-1436_2
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===>  License MIT accepted by the user
=> stp-1436.tar.xz doesn't seem to exist in /portdistfiles/.
=> Attempting to fetch http://intara.arrowdodger.ru/stp-1436.tar.xz
fetch: http://intara.arrowdodger.ru/stp-1436.tar.xz: No address record
=> Attempting to fetch http://distcache.FreeBSD.org/ports-distfiles/stp-1436.tar.xz
stp-1436.tar.xz                                          0  B    0  Bps
===> Fetching all distfiles required by stp-1436_2 for building
===========================================================================
=======================<phase: checksum       >============================
===>  License MIT accepted by the user
===> Fetching all distfiles required by stp-1436_2 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_2 for building
===>  Extracting for stp-1436_2
=> SHA256 Checksum OK for stp-1436.tar.xz.
===========================================================================
=======================<phase: patch-depends  >============================
===========================================================================
=======================<phase: patch          >============================
===>  Patching for stp-1436_2
===========================================================================
=======================<phase: build-depends  >============================
===>   stp-1436_2 depends on executable: bison - not found
===>   Installing existing package /packages/All/bison-2.7.1_1,1.txz
[110arm64-quarterly-job-24] Installing bison-2.7.1_1,1...
[110arm64-quarterly-job-24] `-- Installing indexinfo-0.2.6...
[110arm64-quarterly-job-24] `-- Extracting indexinfo-0.2.6: .... done
[110arm64-quarterly-job-24] `-- Installing gettext-runtime-0.19.8.1_1...
[110arm64-quarterly-job-24] `-- Extracting gettext-runtime-0.19.8.1_1: .......... done
[110arm64-quarterly-job-24] `-- Installing m4-1.4.17_1,1...
[110arm64-quarterly-job-24] `-- Extracting m4-1.4.17_1,1: .......... done
[110arm64-quarterly-job-24] Extracting bison-2.7.1_1,1: .......... done
===>   stp-1436_2 depends on executable: bison - found
===>   Returning to build of stp-1436_2
===>   stp-1436_2 depends on file: /usr/local/bin/cmake - not found
===>   Installing existing package /packages/All/cmake-3.7.1.txz
[110arm64-quarterly-job-24] Installing cmake-3.7.1...
[110arm64-quarterly-job-24] `-- Installing expat-2.2.0_1...
[110arm64-quarterly-job-24] `-- Extracting expat-2.2.0_1: .......... done
[110arm64-quarterly-job-24] `-- Installing cmake-modules-3.7.1...
[110arm64-quarterly-job-24] `-- Extracting cmake-modules-3.7.1: .......... done
[110arm64-quarterly-job-24] `-- Installing curl-7.52.1...
[110arm64-quarterly-job-24] |   `-- Installing libnghttp2-1.18.0...
[110arm64-quarterly-job-24] |   `-- Extracting libnghttp2-1.18.0: .......... done
[110arm64-quarterly-job-24] |   `-- Installing ca_root_nss-3.28...
[110arm64-quarterly-job-24] |   `-- Extracting ca_root_nss-3.28: ....... done
[110arm64-quarterly-job-24] `-- Extracting curl-7.52.1: .......... done
[110arm64-quarterly-job-24] `-- Installing libarchive-3.2.2,1...
[110arm64-quarterly-job-24] |   `-- Installing liblz4-131...
[110arm64-quarterly-job-24] |   `-- Extracting liblz4-131: .......... done
[110arm64-quarterly-job-24] |   `-- Installing lzo2-2.09...
[110arm64-quarterly-job-24] |   `-- Extracting lzo2-2.09: .......... done
[110arm64-quarterly-job-24] `-- Extracting libarchive-3.2.2,1: .......... done
[110arm64-quarterly-job-24] `-- Installing jsoncpp-1.8.0_1...
[110arm64-quarterly-job-24] `-- Extracting jsoncpp-1.8.0_1: .......... done
[110arm64-quarterly-job-24] `-- Installing libuv-1.10.1...
[110arm64-quarterly-job-24] `-- Extracting libuv-1.10.1: .......... done
[110arm64-quarterly-job-24] Extracting cmake-3.7.1: .......... done
Message from ca_root_nss-3.28:
********************************* WARNING *********************************
<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?201701040022.v040MfcR080705>