[REL - head-amd64-default][math/minisat] Failed for minisat-2.2.1 in build
pkg-fallout-builder at FreeBSD.org
pkg-fallout-builder at FreeBSD.org
Sat Mar 29 02:53:18 UTC 2014
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: vsevolod at FreeBSD.org
Last committer: miwi at FreeBSD.org
Ident: $FreeBSD: head/math/minisat/Makefile 342300 2014-02-02 14:33:37Z miwi $
Log URL: http://beefy2.isc.freebsd.org/bulk/head-amd64-default/2014-03-28_07h44m43s/logs/minisat-2.2.1.log
Build URL: http://beefy2.isc.freebsd.org/bulk/head-amd64-default/2014-03-28_07h44m43s
Log:
====>> Building math/minisat
build started at Sat Mar 29 02:53:14 UTC 2014
port directory: /usr/ports/math/minisat
building for: FreeBSD head-amd64-default-job-09 11.0-CURRENT FreeBSD 11.0-CURRENT r263175 amd64
maintained by: vsevolod at FreeBSD.org
Makefile ident: $FreeBSD: head/math/minisat/Makefile 342300 2014-02-02 14:33:37Z miwi $
Poudriere version: 3.1-pre
---Begin Environment---
OSVERSION=1100013
UNAME_v=FreeBSD 11.0-CURRENT r263175
UNAME_r=11.0-CURRENT
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
MASTERMNT=/usr/local/poudriere/data/build/head-amd64-default/ref
PKG_EXT=txz
tpid=89245
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin
POUDRIERE_BUILD_TYPE=bulk
PKGNG=1
PKGNAME=minisat-2.2.1
PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f
PKG_ADD=/usr/local/sbin/pkg-static add
PWD=/root
MASTERNAME=head-amd64-default
USER=root
HOME=/root
POUDRIERE_VERSION=3.1-pre
LOCALBASE=/usr/local
PACKAGE_BUILDING=yes
PKG_VERSION=/poudriere/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--
TMPDIR="/tmp" MAKE=gmake SHELL=/bin/sh CONFIG_SHELL=/bin/sh
--End CONFIGURE_ENV--
--MAKE_ENV--
prefix=/usr/local 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/minisat
DOCSDIR=/usr/local/share/doc/minisat
EXAMPLESDIR=/usr/local/share/examples/minisat
WWWDIR=/usr/local/www/minisat
ETCDIR=/usr/local/etc/minisat
--End SUB_LIST--
---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
#### /usr/local/etc/poudriere.d/make.conf ####
WITH_PKGNG=yes
NO_RESTRICTED=yes
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
===> Cleaning for minisat-2.2.1
=======================<phase: check-config >============================
===========================================================================
=======================<phase: pkg-depends >============================
===> minisat-2.2.1 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.2.7.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package format, first run:
# pkg2ng
===> Returning to build of minisat-2.2.1
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> Fetching all distfiles required by minisat-2.2.1 for building
===========================================================================
=======================<phase: checksum >============================
===> Fetching all distfiles required by minisat-2.2.1 for building
=> SHA256 Checksum OK for minisat-2.2.1.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract >============================
===> Fetching all distfiles required by minisat-2.2.1 for building
===> Extracting for minisat-2.2.1
=> SHA256 Checksum OK for minisat-2.2.1.tar.gz.
===========================================================================
=======================<phase: patch-depends >============================
===========================================================================
=======================<phase: patch >============================
===> Patching for minisat-2.2.1
===========================================================================
=======================<phase: build-depends >============================
===> minisat-2.2.1 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...Installing gettext-0.18.3.1... done
done
===> Returning to build of minisat-2.2.1
===========================================================================
=======================<phase: lib-depends >============================
===========================================================================
=======================<phase: configure >============================
===> Configuring for minisat-2.2.1
===========================================================================
=======================<phase: build >============================
===> Building for minisat-2.2.1
gmake[1]: Entering directory `/wrkdirs/usr/ports/math/minisat/work/minisat-2.2.1'
Compiling: build/release/minisat/simp/Main.o
In file included from minisat/simp/Main.cc:27:
In file included from ./minisat/core/Dimacs.h:27:
./minisat/core/SolverTypes.h:55:16: error: friend declaration specifying a default argument must be a definition
friend Lit mkLit(Var var, bool sign = false);
^
./minisat/core/SolverTypes.h:63:14: error: friend declaration specifying a default argument must be the only declaration
inline Lit mkLit (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; }
^
./minisat/core/SolverTypes.h:55:16: note: previous declaration is here
friend Lit mkLit(Var var, bool sign = false);
^
In file included from minisat/simp/Main.cc:27:
./minisat/core/Dimacs.h:43:39: error: use of undeclared identifier 'mkLit'
lits.push( (parsed_lit > 0) ? mkLit(var) : ~mkLit(var) );
^
./minisat/core/Dimacs.h:43:53: error: use of undeclared identifier 'mkLit'
lits.push( (parsed_lit > 0) ? mkLit(var) : ~mkLit(var) );
^
In file included from minisat/simp/Main.cc:28:
./minisat/simp/SimpSolver.h:117:70: error: use of undeclared identifier 'mkLit'
uint64_t cost (Var x) const { return (uint64_t)n_occ[mkLit(x)] * (uint64_t)n_occ[~mkLit(x)]; }
^
./minisat/simp/SimpSolver.h:117:99: error: use of undeclared identifier 'mkLit'
uint64_t cost (Var x) const { return (uint64_t)n_occ[mkLit(x)] * (uint64_t)n_occ[~mkLit(x)]; }
^
6 errors generated.
gmake[1]: *** [build/release/minisat/simp/Main.o] Error 1
gmake[1]: Leaving directory `/wrkdirs/usr/ports/math/minisat/work/minisat-2.2.1'
*** Error code 1
Stop.
make: stopped in /usr/ports/math/minisat
===> Cleaning for minisat-2.2.1
More information about the freebsd-pkg-fallout
mailing list