Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 29 Mar 2014 02:53:17 GMT
From:      pkg-fallout-builder@FreeBSD.org
To:        vsevolod@FreeBSD.org
Cc:        pkg-fallout@FreeBSD.org
Subject:   [REL - head-amd64-default][math/minisat] Failed for minisat-2.2.1 in build
Message-ID:  <201403290253.s2T2rHWd090861@beefy2.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:     vsevolod@FreeBSD.org
Last committer: miwi@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@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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201403290253.s2T2rHWd090861>