[RELEASE - head-default] Build failed for stp-1407 during build
pkg-fallout at FreeBSD.org
pkg-fallout at FreeBSD.org
Thu Aug 1 02:49:23 UTC 2013
Maintainer: 6yearold at gmail.com
Last committer: bapt at FreeBSD.org
Ident: $FreeBSD: head/math/stp/Makefile 313635 2013-03-08 11:32:11Z bapt $
Log URL: http://beefy1.isc.freebsd.org/bulk/head-default/2013-08-01_01h54m47s/logs/stp-1407.log
Build URL: http://beefy1.isc.freebsd.org/bulk/head-default/2013-08-01_01h54m47s
Log:
====>> Building math/stp
build started at Thu Aug 1 02:48:12 UTC 2013
port directory: /usr/ports/math/stp
building for: FreeBSD head-default-job-15 10.0-CURRENT FreeBSD 10.0-CURRENT i386
maintained by: 6yearold at gmail.com
Makefile ident: $FreeBSD: head/math/stp/Makefile 313635 2013-03-08 11:32:11Z bapt $
Poudriere version: 3.1-pre
---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=1000035
UNAME_v=FreeBSD 10.0-CURRENT
UNAME_r=10.0-CURRENT
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
MASTERMNT=/usr/local/poudriere/data/build/head-default/ref
PKG_EXT=txz
FORCE_PACKAGE=yes
tpid=75798
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin
POUDRIERE_BUILD_TYPE=bulk
NBPARALLEL=24
PKGNG=1
PKGNAME=stp-1407
PKG_DELETE=/usr/local/sbin/pkg delete -y -f
PKG_ADD=/usr/local/sbin/pkg add
PWD=/root
MASTERNAME=head-default
USER=root
HOME=/root
POUDRIERE_VERSION=3.1-pre
SKIPSANITY=0
LOCALBASE=/usr/local
PACKAGE_BUILDING=yes
---End Environment---
---Begin OPTIONS List---
---End OPTIONS List---
--CONFIGURE_ARGS--
--with-prefix=/usr/local --with-gcc=cc --with-g++=c++ --with-fpic
--End CONFIGURE_ARGS--
--CONFIGURE_ENV--
TMPDIR="/tmp" MAKE=gmake TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh
--End CONFIGURE_ENV--
--MAKE_ENV--
TMPDIR="/tmp" TMPDIR="/tmp" 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="" 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--
--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
PACKAGES=/packages
DISTDIR=/distfiles
#### /usr/local/etc/poudriere.d/make.conf ####
WITH_PKGNG=yes
NO_RESTRICTED=yes
DISABLE_MAKE_JOBS=yes
---End make.conf---
===> Cleaning for stp-1407
=======================<phase: check-config >============================
=========================================================================
=======================<phase: pkg-depends >============================
===> stp-1407 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.1.4_1.txz
Installing pkg-1.1.4_1... done
If you are upgrading from the old package format, first run:
# pkg2ng
===> Returning to build of stp-1407
=========================================================================
=======================<phase: fetch-depends >============================
=========================================================================
=======================<phase: fetch >============================
===> License MIT accepted by the user
===> Fetching all distfiles required by stp-1407 for building
=========================================================================
=======================<phase: checksum >============================
===> License MIT accepted by the user
===> Fetching all distfiles required by stp-1407 for building
=> SHA256 Checksum OK for stp-fast-prover-r1407.tar.bz2.
=========================================================================
=======================<phase: extract-depends>============================
===> stp-1407 depends on file: /usr/local/bin/perl5.14.4 - not found
===> Verifying install for /usr/local/bin/perl5.14.4 in /usr/ports/lang/perl5.14
===> Installing existing package /packages/All/perl-5.14.4.txz
Installing perl-5.14.4...Removing stale symlinks from /usr/bin...
Skipping /usr/bin/perl
Skipping /usr/bin/perl5
Done.
Creating various symlinks in /usr/bin...
Symlinking /usr/local/bin/perl5.14.4 to /usr/bin/perl
Symlinking /usr/local/bin/perl5.14.4 to /usr/bin/perl5
Done.
Cleaning up /etc/make.conf... Done.
Spamming /etc/make.conf... Done.
done
===> Returning to build of stp-1407
=========================================================================
=======================<phase: extract >============================
===> License MIT accepted by the user
===> Fetching all distfiles required by stp-1407 for building
===> Extracting for stp-1407
=> SHA256 Checksum OK for stp-fast-prover-r1407.tar.bz2.
=========================================================================
=======================<phase: patch-depends >============================
===> stp-1407 depends on file: /usr/local/bin/perl5.14.4 - found
=========================================================================
=======================<phase: patch >============================
===> Patching for stp-1407
=========================================================================
=======================<phase: build-depends >============================
===> stp-1407 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
Installing bison-2.7.1,1...Installing m4-1.4.16_1,1... done
Installing gettext-0.18.3...Installing libiconv-1.14_1... done
done
done
===> Returning to build of stp-1407
===> stp-1407 depends on executable: gmake - not found
===> Verifying install for gmake in /usr/ports/devel/gmake
===> Installing existing package /packages/All/gmake-3.82_1.txz
Installing gmake-3.82_1... done
===> Returning to build of stp-1407
===> stp-1407 depends on file: /usr/local/bin/perl5.14.4 - found
=========================================================================
=======================<phase: lib-depends >============================
=========================================================================
=======================<phase: configure >============================
===> Configuring for stp-1407
===> FreeBSD 10 autotools fix applied to /wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/scripts/configure
cd /wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407 && scripts/configure --with-prefix=/usr/local --with-gcc=cc --with-g++=c++ --with-fpic
Setting prefix to... /usr/local
Setting CC to... cc
Setting CXX to... c++
Setting CFLAGS_FPIC to... -fpic
STP is configured successfully.
Type 'make' to compile STP.
Type 'make install' to compile & install STP.
=========================================================================
=======================<phase: build >============================
===> Building for stp-1407
gmake -C src/AST
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/AST'
Making dependencies
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/AST'
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/AST'
./genkinds.pl
Making dependencies
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/AST'
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/AST'
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTInterior.o ASTInterior.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTmisc.o ASTmisc.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTUtil.o ASTUtil.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTSymbol.o ASTSymbol.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ArrayTransformer.o ArrayTransformer.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTKind.o ASTKind.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTBVConst.o ASTBVConst.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ASTNode.o ASTNode.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o RunTimes.o RunTimes.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o NodeFactory/SimplifyingNodeFactory.o NodeFactory/SimplifyingNodeFactory.cpp
NodeFactory/SimplifyingNodeFactory.cpp:382:34: warning: '&&' within '||' [-Wlogical-op-parentheses]
if (k2 == BEEV::BVUMINUS && k1 == BEEV::BVCONST || (k2 == BEEV::BVNEG && k1 == BEEV::BVCONST))
~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~ ~~
NodeFactory/SimplifyingNodeFactory.cpp:382:34: note: place parentheses around the '&&' expression to silence this warning
if (k2 == BEEV::BVUMINUS && k1 == BEEV::BVCONST || (k2 == BEEV::BVNEG && k1 == BEEV::BVCONST))
^
( )
NodeFactory/SimplifyingNodeFactory.cpp:1092:14: warning: add explicit braces to avoid dangling else [-Wdangling-else]
else if (end != -1)
^
2 warnings generated.
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o NodeFactory/NodeFactory.o NodeFactory/NodeFactory.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o NodeFactory/TypeChecker.o NodeFactory/TypeChecker.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o NodeFactory/HashingNodeFactory.o NodeFactory/HashingNodeFactory.cpp
rm -f libast.a
ar qcs libast.a ASTInterior.o ASTmisc.o ASTUtil.o ASTSymbol.o ArrayTransformer.o ASTKind.o ASTBVConst.o ASTNode.o RunTimes.o NodeFactory/SimplifyingNodeFactory.o NodeFactory/NodeFactory.o NodeFactory/TypeChecker.o NodeFactory/HashingNodeFactory.o
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/AST'
gmake -C src/main
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/main'
svnversion: not found
Making dependencies
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/main'
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/main'
svnversion: not found
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o versionString.o versionString.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o Globals.o Globals.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o main.o main.cpp
rm -f libmain.a
ar qcs libmain.a versionString.o Globals.o
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/main'
gmake -C src/STPManager
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/STPManager'
Making dependencies
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/STPManager'
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/STPManager'
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o STPManager.o STPManager.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o STP.o STP.cpp
In file included from STP.cpp:12:
In file included from ./../to-sat/AIG/ToSATAIG.h:18:
In file included from ./../to-sat/AIG/BBNodeManagerAIG.h:13:
In file included from ./../to-sat/AIG/BBNodeAIG.h:13:
In file included from ./../to-sat/AIG/../../extlib-abc/aig.h:38:
In file included from ./../to-sat/AIG/../../extlib-abc/vec.h:84:
./../to-sat/AIG/../../extlib-abc/vecStr.h:421:50: warning: for loop has empty body [-Wempty-body]
for ( Res = 0, Num--; Num; Num /= 10, Res++ );
^
./../to-sat/AIG/../../extlib-abc/vecStr.h:421:50: note: put the semicolon on a separate line to silence this warning
In file included from STP.cpp:12:
In file included from ./../to-sat/AIG/ToSATAIG.h:18:
In file included from ./../to-sat/AIG/BBNodeManagerAIG.h:13:
In file included from ./../to-sat/AIG/BBNodeAIG.h:13:
./../to-sat/AIG/../../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; }
^
./../to-sat/AIG/../../extlib-abc/aig.h:160:152: note: put the semicolon on a separate line to silence this warning
./../to-sat/AIG/../../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; }
^
./../to-sat/AIG/../../extlib-abc/aig.h:161:152: note: put the semicolon on a separate line to silence this warning
In file included from STP.cpp:19:
In file included from ./../sat/core_prop/Solver_prop.h:27:
./../sat/core_prop/../utils/Options.h:63:44: warning: '&&' within '||' [-Wlogical-op-parentheses]
return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0;
~~ ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
./../sat/core_prop/../utils/Options.h:63:44: note: place parentheses around the '&&' expression to silence this warning
return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0;
^
( )
In file included from STP.cpp:19:
./../sat/core_prop/Solver_prop.h:219:45: warning: format specifies type 'long' but the argument has type 'uint64_t' (aka 'unsigned long long') [-Wformat]
printf("Known Index: %ld ", isIndexConstant() ? index_constant : -1);
~~~ ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
%llu
5 warnings generated.
rm -f libstpmgr.a
ar qcs libstpmgr.a STPManager.o STP.o
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/STPManager'
gmake -C src/printer
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/printer'
Making dependencies
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/printer'
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/printer'
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o SMTLIB1Printer.o SMTLIB1Printer.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o LispPrinter.o LispPrinter.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o SMTLIB2Printer.o SMTLIB2Printer.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o SMTLIBPrinter.o SMTLIBPrinter.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o GDLPrinter.o GDLPrinter.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o AssortedPrinters.o AssortedPrinters.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o CPrinter.o CPrinter.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o PLPrinter.o PLPrinter.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o dotPrinter.o dotPrinter.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o BenchPrinter.o BenchPrinter.cpp
rm -f libprinter.a
ar qcs libprinter.a SMTLIB1Printer.o LispPrinter.o SMTLIB2Printer.o SMTLIBPrinter.o GDLPrinter.o AssortedPrinters.o CPrinter.o PLPrinter.o dotPrinter.o BenchPrinter.o
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/printer'
gmake -C src/absrefine_counterexample
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/absrefine_counterexample'
Making dependencies
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/absrefine_counterexample'
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/absrefine_counterexample'
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o CounterExample.o CounterExample.cpp
In file included from CounterExample.cpp:12:
In file included from ./../to-sat/AIG/ToSATAIG.h:18:
In file included from ./../to-sat/AIG/BBNodeManagerAIG.h:13:
In file included from ./../to-sat/AIG/BBNodeAIG.h:13:
In file included from ./../to-sat/AIG/../../extlib-abc/aig.h:38:
In file included from ./../to-sat/AIG/../../extlib-abc/vec.h:84:
./../to-sat/AIG/../../extlib-abc/vecStr.h:421:50: warning: for loop has empty body [-Wempty-body]
for ( Res = 0, Num--; Num; Num /= 10, Res++ );
^
./../to-sat/AIG/../../extlib-abc/vecStr.h:421:50: note: put the semicolon on a separate line to silence this warning
In file included from CounterExample.cpp:12:
In file included from ./../to-sat/AIG/ToSATAIG.h:18:
In file included from ./../to-sat/AIG/BBNodeManagerAIG.h:13:
In file included from ./../to-sat/AIG/BBNodeAIG.h:13:
./../to-sat/AIG/../../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; }
^
./../to-sat/AIG/../../extlib-abc/aig.h:160:152: note: put the semicolon on a separate line to silence this warning
./../to-sat/AIG/../../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; }
^
./../to-sat/AIG/../../extlib-abc/aig.h:161:152: note: put the semicolon on a separate line to silence this warning
3 warnings generated.
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o AbstractionRefinement.o AbstractionRefinement.cpp
rm -f libabstractionrefinement.a
ar qcs libabstractionrefinement.a CounterExample.o AbstractionRefinement.o
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/absrefine_counterexample'
gmake -C src/to-sat
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/to-sat'
Making dependencies
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/to-sat'
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/to-sat'
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o ToSATBase.o ToSATBase.cpp
c++ -O2 -pipe -fno-strict-aliasing -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -O3 -DNDEBUG -march=native -fomit-frame-pointer -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -DEXT_HASH_MAP -Wno-deprecated -c -o BitBlaster.o BitBlaster.cpp
In file included from BitBlaster.cpp:13:
In file included from ./AIG/BBNodeManagerAIG.h:13:
In file included from ./AIG/BBNodeAIG.h:13:
In file included from ./AIG/../../extlib-abc/aig.h:38:
In file included from ./AIG/../../extlib-abc/vec.h:84:
./AIG/../../extlib-abc/vecStr.h:421:50: warning: for loop has empty body [-Wempty-body]
for ( Res = 0, Num--; Num; Num /= 10, Res++ );
^
./AIG/../../extlib-abc/vecStr.h:421:50: note: put the semicolon on a separate line to silence this warning
In file included from BitBlaster.cpp:13:
In file included from ./AIG/BBNodeManagerAIG.h:13:
In file included from ./AIG/BBNodeAIG.h:13:
./AIG/../../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; }
^
./AIG/../../extlib-abc/aig.h:160:152: note: put the semicolon on a separate line to silence this warning
./AIG/../../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; }
^
./AIG/../../extlib-abc/aig.h:161:152: note: put the semicolon on a separate line to silence this warning
BitBlaster.cpp:1578:15: warning: add explicit braces to avoid dangling else [-Wdangling-else]
else
^
BitBlaster.cpp:1392:28: error: variable length array of non-POD element type 'vector<BEEV::ASTNode>'
vector<BBNode> t_products[bitWidth];
^
BitBlaster.cpp:2062:16: note: in instantiation of member function 'BEEV::BitBlaster<BEEV::ASTNode, BEEV::BBNodeManagerASTNode>::mult_Booth' requested here
template class BitBlaster<ASTNode, BBNodeManagerASTNode>;
^
BitBlaster.cpp:1392:28: error: variable length array of non-POD element type 'vector<BEEV::BBNodeAIG>'
vector<BBNode> t_products[bitWidth];
^
BitBlaster.cpp:2063:16: note: in instantiation of member function 'BEEV::BitBlaster<BEEV::BBNodeAIG, BEEV::BBNodeManagerAIG>::mult_Booth' requested here
template class BitBlaster<BBNodeAIG, BBNodeManagerAIG>;
^
4 warnings and 2 errors generated.
gmake[1]: *** [BitBlaster.o] Error 1
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/stp/work/stp-fast-prover-r1407/src/to-sat'
gmake: *** [src/to-sat/libtosat.a] Error 2
*** Error code 1
Stop.
make: stopped in /usr/ports/math/stp
===> Cleaning for stp-1407
More information about the freebsd-pkg-fallout
mailing list