Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 08 Aug 2014 15:29:05 +0000
From:      <pkg-fallout@FreeBSD.org>
To:        6yearold@gmail.com
Cc:        pkg-fallout@FreeBSD.org
Subject:   [package - 84i386-default][math/stp] Failed for stp-1436 in build
Message-ID:  <53e4ecc1.651.f589f45@beefy1.isc.freebsd.org>

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

Maintainer:     6yearold@gmail.com
Last committer: adamw@FreeBSD.org
Ident:          $FreeBSD: head/math/stp/Makefile 363392 2014-07-29 21:07:39Z adamw $
Log URL:        http://beefy1.isc.freebsd.org/data/84i386-default/2014-08-08_15h13m19s/logs/stp-1436.log
Build URL:      http://beefy1.isc.freebsd.org/build.html?mastername=84i386-default&build=2014-08-08_15h13m19s
Log:

====>> Building math/stp
build started at Fri Aug  8 15:25:08 UTC 2014
port directory: /usr/ports/math/stp
building for: FreeBSD 84i386-default-job-16 8.4-RELEASE-p14 FreeBSD 8.4-RELEASE-p14 i386
maintained by: 6yearold@gmail.com
Makefile ident:      $FreeBSD: head/math/stp/Makefile 363392 2014-07-29 21:07:39Z adamw $
Poudriere version: 3.1-pre
Host OSVERSION: 1100027
Jail OSVERSION: 804000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=804000
UNAME_v=FreeBSD 8.4-RELEASE-p14
UNAME_r=8.4-RELEASE-p14
FTP_PASSIVE_MODE=YES
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=screen
MASTERMNT=/usr/local/poudriere/data/.m/84i386-default/ref
PKG_EXT=txz
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin
POUDRIERE_BUILD_TYPE=bulk
PKGNG=1
PKGNAME=stp-1436
PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f
PKG_ADD=/usr/local/sbin/pkg-static add
OLDPWD=/root
PWD=/usr/local/poudriere/data/.m/84i386-default/ref/.p/pool
MASTERNAME=84i386-default
USER=root
HOME=/root
POUDRIERE_VERSION=3.1-pre
LOCALBASE=/usr/local
PACKAGE_BUILDING=yes
PKG_VERSION=/.p/pkg-static version
PKG_BIN=/usr/local/sbin/pkg-static
---End Environment---

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

--CONFIGURE_ARGS--

--End CONFIGURE_ARGS--

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

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

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

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

---Begin make.conf---
ARCH=i386
MACHINE=i386
MACHINE_ARCH=i386
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
ARCH=i386
MACHINE=i386
MACHINE_ARCH=i386
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
#### /usr/local/etc/poudriere.d/make.conf ####
WITH_PKGNG=yes
# clean-restricted via poudriere.conf NO_RESTRICTED
#NO_RESTRICTED=yes
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
=======================<phase: check-sanity   >============================
===>  License MIT accepted by the user
===========================================================================
=======================<phase: pkg-depends    >============================
===>   stp-1436 depends on file: /usr/local/sbin/pkg - not found
===>    Verifying install for /usr/local/sbin/pkg in /usr/ports/ports-mgmt/pkg
===>   Installing existing package /packages/All/pkg-1.3.5.1.txz
[84i386-default-job-16] Installing pkg-1.3.5.1... done
Message for pkg-1.3.5.1:
 If you are upgrading from the old package format, first run:

  # pkg2ng
===>   Returning to build of stp-1436
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===>  License MIT accepted by the user
===> Fetching all distfiles required by stp-1436 for building
===========================================================================
=======================<phase: checksum       >============================
===>  License MIT accepted by the user
===> Fetching all distfiles required by stp-1436 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 for building
===>  Extracting for stp-1436
=> SHA256 Checksum OK for stp-1436.tar.xz.
===========================================================================
=======================<phase: patch-depends  >============================
===========================================================================
=======================<phase: patch          >============================
===>  Patching for stp-1436
===========================================================================
=======================<phase: build-depends  >============================
===>   stp-1436 depends on executable: bison - not found
===>    Verifying install for bison in /usr/ports/devel/bison
===>   Installing existing package /packages/All/bison-2.7.1,1.txz
[84i386-default-job-16] Installing indexinfo-0.2... done
[84i386-default-job-16] Installing libiconv-1.14_3... done
[84i386-default-job-16] Installing libiconv-1.14_3... done
[84i386-default-job-16] Installing m4-1.4.17_1,1... done
[84i386-default-job-16] Installing m4-1.4.17_1,1... done
===>   Returning to build of stp-1436
===>   stp-1436 depends on file: /usr/local/bin/cmake - not found
===>    Verifying install for /usr/local/bin/cmake in /usr/ports/devel/cmake
===>   Installing existing package /packages/All/cmake-2.8.12.1_4.txz
[84i386-default-job-16] Installing cmake-modules-2.8.12.1_1... done
[84i386-default-job-16] Installing cmake-modules-2.8.12.1_1... done
===>   Returning to build of stp-1436
===>   stp-1436 depends on package: flex>=2.5.38 - not found
===>    Verifying install for flex>=2.5.38 in /usr/ports/textproc/flex
===>   Installing existing package /packages/All/flex-2.5.39_1.txz
[84i386-default-job-16] Installing flex-2.5.39_1... done
===>   Returning to build of stp-1436
===>   stp-1436 depends on file: /usr/local/bin/perl5.16.3 - not found
===>    Verifying install for /usr/local/bin/perl5.16.3 in /usr/ports/lang/perl5.16
===>   Installing existing package /packages/All/perl5-5.16.3_11.txz
[84i386-default-job-16] Installing perl5-5.16.3_11... done
===>   Returning to build of stp-1436
===========================================================================
=======================<phase: lib-depends    >============================
===>   stp-1436 depends on shared library: libboost_program_options.so - not found
===>    Verifying for libboost_program_options.so in /usr/ports/devel/boost-libs
===>   Installing existing package /packages/All/boost-libs-1.55.0_3.txz
[84i386-default-job-16] Installing icu-53.1... done
[84i386-default-job-16] Installing icu-53.1... done
Message for boost-libs-1.55.0_3:
 You have built the Boost library with thread support.

Don't forget to add -pthread to your linker options when
linking your code.
===>   Returning to build of stp-1436
===>   stp-1436 depends on shared library: libboost_system.so - found (/usr/local/lib/libboost_system.so.1.55.0)
===========================================================================
=======================<phase: configure      >============================
===>  Configuring for stp-1436
===>  Performing in-source build
/bin/mkdir -p /wrkdirs/usr/ports/math/stp/work/stp-1436
-- The C compiler identification is GNU 4.2.1
-- The CXX compiler identification is GNU 4.2.1
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Check for working CXX compiler: /usr/bin/CC
<snip>
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/XorFinder.cpp:18:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/MersenneTwister.h: In member function 'void MINISAT::MTRand::seed(long unsigned int*, long unsigned int)':
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/MersenneTwister.h:237: warning: enumeral and non-enumeral type in conditional expression
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/VarReplacer.h:32,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/XorFinder.h:31,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/XorFinder.cpp:18:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/Solver.h: At global scope:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/Solver.h:683: warning: unused parameter 'var'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/Solver.h:683: warning: unused parameter 'name'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/Solver.h:819: warning: unused parameter 'expr'
[ 95%] Building CXX object src/sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/XorSubsumer.cpp.o
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/Solver.h:38,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/XorSubsumer.cpp:6:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/MersenneTwister.h: In member function 'void MINISAT::MTRand::seed(long unsigned int*, long unsigned int)':
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/MersenneTwister.h:237: warning: enumeral and non-enumeral type in conditional expression
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/Solver.h:40,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/XorSubsumer.cpp:6:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/Clause.h: At global scope:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/Clause.h:262: warning: unused parameter '_group'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/XorSubsumer.cpp:6:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/Solver.h:683: warning: unused parameter 'var'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/Solver.h:683: warning: unused parameter 'name'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/Solver.h:819: warning: unused parameter 'expr'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/cryptominisat2/XorSubsumer.cpp:423: warning: unused parameter 'doFullSubsume'
[ 95%] Building CXX object src/sat/cryptominisat2/CMakeFiles/cryptominisat2.dir/time_mem.cpp.o
[ 95%] Built target cryptominisat2
Scanning dependencies of target minisat2
[ 95%] Building CXX object src/sat/minisat/CMakeFiles/minisat2.dir/simp/SimpSolver.cc.o
[ 96%] Building CXX object src/sat/minisat/CMakeFiles/minisat2.dir/core/Solver.cc.o
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core/Solver.cc:1023:2: warning: no newline at end of file
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core/Solver.cc:859: warning: unused parameter 'map'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core/Solver.cc:898: warning: unused parameter 'assumps'
[ 97%] Building CXX object src/sat/minisat/CMakeFiles/minisat2.dir/core_prop/Solver_prop.cc.o
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core_prop/Solver_prop.cc:1865:2: warning: no newline at end of file
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core_prop/Solver_prop.cc:33:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core_prop/../core_prop/Solver_prop.h: In member function 'void Minisat::Solver_prop::ArrayAccess::print()':
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core_prop/../core_prop/Solver_prop.h:230: warning: format '%ld' expects type 'long int', but argument 2 has type 'long long unsigned int'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core_prop/Solver_prop.cc: In member function 'bool Minisat::Solver_prop::addArray(int, const Minisat::vec<Minisat::Lit>&, const Minisat::vec<Minisat::Lit>&, const Minisat::vec<Minisat::lbool>&, const Minisat::vec<Minisat::lbool>&)':
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core_prop/Solver_prop.cc:176: warning: comparison between signed and unsigned integer expressions
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core_prop/Solver_prop.cc:176: warning: comparison between signed and unsigned integer expressions
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core_prop/Solver_prop.cc: At global scope:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core_prop/Solver_prop.cc:338: warning: unused parameter 'b'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/sat/minisat/core_prop/Solver_prop.cc:1738: warning: unused parameter 'assumps'
[ 97%] Building CXX object src/sat/minisat/CMakeFiles/minisat2.dir/utils/System.cc.o
[ 97%] Built target minisat2
Scanning dependencies of target CopyPublicHeaders
Copying c_interface.h to /wrkdirs/usr/ports/math/stp/work/stp-1436/include/stp
Copying cpp_interface.h to /wrkdirs/usr/ports/math/stp/work/stp-1436/include/stp
[ 97%] Built target CopyPublicHeaders
Scanning dependencies of target globalstp
[ 98%] Building CXX object src/main/CMakeFiles/globalstp.dir/Globals.cpp.o
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/AST.h:15,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:10:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/ASTInternal.h:109: warning: unused parameter 'c_friendly'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/AST.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:10:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/ASTBVConst.h:75: warning: unused parameter 'l'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STPManager.h:16,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:11:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'array_id'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'i'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'v'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:58: warning: unused parameter 'i'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../sat/SATSolver.h:71: warning: unused parameter 'x'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:11:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STPManager.h:382: warning: unused parameter 'children'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../to-sat/ASTNode/ToCNF.h:17,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../to-sat/ASTNode/ToSAT.h:13,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/STP.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/Globals.cpp:12:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../STPManager/../to-sat/ASTNode/ClauseList.h:84: warning: unused parameter 'v'
[ 99%] Building CXX object src/main/CMakeFiles/globalstp.dir/GitSHA1.cpp.o
[ 99%] Built target globalstp
Scanning dependencies of target libstp
Linking CXX static library ../../lib/libstp.a
[ 99%] Built target libstp
Scanning dependencies of target stp
[100%] Building CXX object src/main/CMakeFiles/stp.dir/main.cpp.o
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/AST.h:15,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:11:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/ASTInternal.h:109: warning: unused parameter 'c_friendly'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/AST.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:11:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../AST/ASTBVConst.h:75: warning: unused parameter 'l'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/STPManager.h:16,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/ArrayTransformer.h:14,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:14,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'array_id'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'i'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:32: warning: unused parameter 'v'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:58: warning: unused parameter 'i'
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/../sat/SATSolver.h:71: warning: unused parameter 'x'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/ArrayTransformer.h:14,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:14,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../AST/../STPManager/STPManager.h:382: warning: unused parameter 'children'
In file included from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../to-sat/ASTNode/ToCNF.h:17,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../to-sat/ASTNode/ToSAT.h:13,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/STP.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/printers.h:18,
                 from /wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/main.cpp:13:
/wrkdirs/usr/ports/math/stp/work/stp-1436/src/main/../printer/../STPManager/../to-sat/ASTNode/ClauseList.h:84: warning: unused parameter 'v'
Linking CXX executable ../../stp
local symbol 0: discarded in section `.text._ZN5boost15throw_exceptionINS_15program_options14unknown_optionEEEvRKT_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 1: discarded in section `.text._ZN5boost15program_options14unknown_optionD1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 2: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 3: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 4: discarded in section `.text._ZN5boost15program_options22error_with_option_name15set_option_nameERKSs' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 5: discarded in section `.text._ZNSt3mapISsSsSt4lessISsESaISt4pairIKSsSsEEEixERS3_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 6: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueESt17_Rb_tree_iteratorIS2_ERKS2_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 7: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 8: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueERKS2_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 9: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 10: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE8_M_eraseEPSt13_Rb_tree_nodeIS3_E' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 11: discarded in section `.text._ZNSt6vectorISsSaISsEEC2ERKS1_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 12: discarded in section `.text._ZN5boost15program_options22error_with_option_nameC2ERKS1_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 13: discarded in section `.text._ZN5boost15program_options25error_with_no_option_nameD1Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 14: discarded in section `.text._ZN5boost15program_options25error_with_no_option_nameD0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 15: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE7_M_copyEPKSt13_Rb_tree_nodeIS3_EPSB_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 16: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE14_M_create_nodeERKS3_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 17: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE7_M_copyEPKSt13_Rb_tree_nodeIS2_EPSA_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 18: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE13_M_clone_nodeEPKSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 19: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 20: discarded in section `.text._ZNSt6vectorISsSaISsEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPSsS1_EERKSs' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 21: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_15program_options14unknown_optionEED2Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 22: discarded in section `.text._ZNK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 23: discarded in section `.text._ZNK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEE7rethrowEv' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 24: discarded in section `.text._ZTv0_n12_NK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 25: discarded in section `.text._ZTv0_n16_NK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options14unknown_optionEEEE7rethrowEv' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 26: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_15program_options14unknown_optionEEC2ERKS4_' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 27: discarded in section `.text._ZN5boost15program_options14unknown_optionD0Ev' from /usr/local/lib/libboost_program_options.a(options_description.o)
local symbol 28: discarded in section `.text._ZNSt3mapISsSsSt4lessISsESaISt4pairIKSsSsEEEixERS3_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 29: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD1Ev' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 30: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD0Ev' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 31: discarded in section `.text._ZN5boost15program_options22error_with_option_name15set_option_nameERKSs' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 32: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 33: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE8_M_eraseEPSt13_Rb_tree_nodeIS3_E' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 34: discarded in section `.text._ZN5boost15program_options22error_with_option_nameC2ERKS1_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 35: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE7_M_copyEPKSt13_Rb_tree_nodeIS3_EPSB_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 36: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE14_M_create_nodeERKS3_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 37: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE7_M_copyEPKSt13_Rb_tree_nodeIS2_EPSA_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 38: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE13_M_clone_nodeEPKSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 39: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 40: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueESt17_Rb_tree_iteratorIS2_ERKS2_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 41: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 42: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueERKS2_' from /usr/local/lib/libboost_program_options.a(variables_map.o)
local symbol 43: discarded in section `.text._ZNSt3mapISsSsSt4lessISsESaISt4pairIKSsSsEEEixERS3_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 44: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 45: discarded in section `.text._ZN5boost15program_options22error_with_option_nameD0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 46: discarded in section `.text._ZN5boost15program_options22error_with_option_name15set_option_nameERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 47: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE8_M_eraseEPSt13_Rb_tree_nodeISsE' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 48: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE16_M_insert_uniqueESt17_Rb_tree_iteratorISsERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 49: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE9_M_insertEPSt18_Rb_tree_node_baseS7_RKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 50: discarded in section `.text._ZNSt8_Rb_treeISsSsSt9_IdentityISsESt4lessISsESaISsEE16_M_insert_uniqueERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 51: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE7_M_copyEPKSt13_Rb_tree_nodeIS2_EPSA_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 52: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE13_M_clone_nodeEPKSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 53: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE8_M_eraseEPSt13_Rb_tree_nodeIS2_E' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 54: discarded in section `.text._ZN5boost15program_options22error_with_option_nameC2ERKS1_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 55: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE7_M_copyEPKSt13_Rb_tree_nodeIS3_EPSB_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 56: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE8_M_eraseEPSt13_Rb_tree_nodeIS3_E' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 57: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsS0_ISsSsEESt10_Select1stIS3_ESt4lessISsESaIS3_EE14_M_create_nodeERKS3_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 58: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 59: discarded in section `.text._ZN5boost15throw_exceptionINS_17bad_function_callEEEvRKT_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 60: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 61: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_17bad_function_callEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 62: discarded in section `.text._ZThn8_N5boost16exception_detail19error_info_injectorINS_17bad_function_callEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 63: discarded in section `.text._ZThn8_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 64: discarded in section `.text._ZTv0_n20_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED1Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 65: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 66: discarded in section `.text._ZNK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 67: discarded in section `.text._ZNK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEE7rethrowEv' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 68: discarded in section `.text._ZThn8_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 69: discarded in section `.text._ZTv0_n12_NK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEE5cloneEv' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 70: discarded in section `.text._ZTv0_n16_NK5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEE7rethrowEv' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 71: discarded in section `.text._ZTv0_n20_N5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 72: discarded in section `.text._ZN5boost16exception_detail19error_info_injectorINS_17bad_function_callEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 73: discarded in section `.text._ZThn8_N5boost16exception_detail19error_info_injectorINS_17bad_function_callEED0Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 74: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEEC1ERKS5_NS5_9clone_tagE' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 75: discarded in section `.text._ZN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_17bad_function_callEEEEC1ERKS4_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 76: discarded in section `.text._ZNSt6vectorISsSaISsEE13_M_insert_auxEN9__gnu_cxx17__normal_iteratorIPSsS1_EERKSs' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 77: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueESt17_Rb_tree_iteratorIS2_ERKS2_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 78: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE9_M_insertEPSt18_Rb_tree_node_baseSA_RKS2_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 79: discarded in section `.text._ZNSt8_Rb_treeISsSt4pairIKSsSsESt10_Select1stIS2_ESt4lessISsESaIS2_EE16_M_insert_uniqueERKS2_' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 80: discarded in section `.text._ZN5boost15program_options16ambiguous_optionD2Ev' from /usr/local/lib/libboost_program_options.a(value_semantic.o)
local symbol 81: discarded in section `.text._ZN5boost16exception_detail20copy_boost_exceptionEPNS_9exceptionEPKS1_' from /usr/local/lib/libboost_program_options.a(convert.o)
*** Error code 1

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

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

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

Stop in /usr/ports/math/stp.



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?53e4ecc1.651.f589f45>