From owner-freebsd-pkg-fallout@FreeBSD.ORG Thu Aug 8 08:16:09 2013 Return-Path: Delivered-To: pkg-fallout@FreeBSD.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTP id A691F39A for ; Thu, 8 Aug 2013 08:16:09 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy2.isc.freebsd.org (unknown [IPv6:2001:4f8:3:ffe0:4072:0:16:39]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id 8B8792DDD for ; Thu, 8 Aug 2013 08:16:09 +0000 (UTC) Received: from beefy2.isc.freebsd.org (localhost [127.0.0.1]) by beefy2.isc.freebsd.org (8.14.7/8.14.7) with ESMTP id r788G9nI034332 for ; Thu, 8 Aug 2013 08:16:09 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy2.isc.freebsd.org (8.14.7/8.14.7/Submit) id r788G9LN034286 for pkg-fallout@FreeBSD.org; Thu, 8 Aug 2013 08:16:09 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Thu, 8 Aug 2013 08:16:09 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201308080816.r788G9LN034286@beefy2.isc.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [RELEASE - head-default] Build failed for stp-1407 during build X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 08 Aug 2013 08:16:09 -0000 Maintainer: 6yearold@gmail.com Last committer: bapt@FreeBSD.org Ident: $FreeBSD: head/math/stp/Makefile 313635 2013-03-08 11:32:11Z bapt $ Log URL: http://beefy2.isc.freebsd.org/bulk/head-default/2013-08-08_07h21m31s/logs/stp-1407.log Build URL: http://beefy2.isc.freebsd.org/bulk/head-default/2013-08-08_07h21m31s Log: ====>> Building math/stp build started at Thu Aug 8 08:14:57 UTC 2013 port directory: /usr/ports/math/stp building for: FreeBSD head-default-job-22 10.0-CURRENT FreeBSD 10.0-CURRENT amd64 maintained by: 6yearold@gmail.com Makefile ident: $FreeBSD: head/math/stp/Makefile 313635 2013-03-08 11:32:11Z bapt $ Poudriere version: 3.1-pre ---Begin Environment--- 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=85266 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--- 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 =================================================== ========================================================================= =================================================== ===> 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 ========================================================================= =================================================== ========================================================================= =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by stp-1407 for building ========================================================================= =================================================== ===> 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. ========================================================================= =================================================== ========================================================================= =================================================== ===> 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. ========================================================================= =================================================== ========================================================================= =================================================== ===> Patching for stp-1407 ========================================================================= =================================================== ===> 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 - 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 ========================================================================= =================================================== ========================================================================= =================================================== ===> 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. ========================================================================= =================================================== ===> 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 STPManager.cpp:215:27: warning: shift count >= width of type [-Wshift-count-overflow] bvconst = bvconst >> shift_amount; ^ ~~~~~~~~~~~~ 1 warning 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 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; ^ ( ) 4 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' vector t_products[bitWidth]; ^ BitBlaster.cpp:2062:16: note: in instantiation of member function 'BEEV::BitBlaster::mult_Booth' requested here template class BitBlaster; ^ BitBlaster.cpp:1392:28: error: variable length array of non-POD element type 'vector' vector t_products[bitWidth]; ^ BitBlaster.cpp:2063:16: note: in instantiation of member function 'BEEV::BitBlaster::mult_Booth' requested here template class BitBlaster; ^ 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