6e4dc14e4e
In file included from ./Solver.C:20:
In file included from ./Solver.h:29:
./SolverTypes.h:122:20: error: friend declaration specifying a default argument must be a definition
friend Clause* Clause_new(const V& ps, bool learnt = false);
^
./SolverTypes.h:147:9: error: friend declaration specifying a default argument must be the only
declaration
Clause* Clause_new(const V& ps, bool learnt) {
^
./SolverTypes.h:122:20: note: previous declaration is here
friend Clause* Clause_new(const V& ps, bool learnt = false);
^
./Solver.C:123:21: error: no matching function for call to 'Clause_new'
Clause* c = Clause_new(ps, false);
^~~~~~~~~~
./Solver.C:602:29: error: no matching function for call to 'Clause_new'
Clause* c = Clause_new(learnt_clause, true);
^~~~~~~~~~
4 errors generated.
PR: 216809
Obtained from: upstream
Approved by: portmgr blanket
63 lines
1.5 KiB
Makefile
63 lines
1.5 KiB
Makefile
# Created by: Danilo Egea Gondolfo <danilo@FreeBSD.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= yap
|
|
PORTVERSION= 6.3.3
|
|
PORTREVISION= 5
|
|
CATEGORIES= lang
|
|
MASTER_SITES= http://www.dcc.fc.up.pt/~vsc/Yap/
|
|
PKGNAMESUFFIX= -devel
|
|
|
|
MAINTAINER= danilo@FreeBSD.org
|
|
COMMENT= High-performance Prolog compiler
|
|
|
|
LICENSE= ART20 LGPL3
|
|
LICENSE_COMB= dual
|
|
|
|
LIB_DEPENDS= libgmp.so:math/gmp
|
|
|
|
CONFLICTS= yap-6.2.*
|
|
|
|
OPTIONS_DEFINE= DOCS MYDDAS
|
|
OPTIONS_SUB= yes
|
|
MYDDAS_DESC= Enable MySQL support
|
|
|
|
DOCS_USE= TEX=formats:build,dvipsk:build
|
|
DOCS_BUILD_DEPENDS= ${LOCALBASE}/bin/texi2html:textproc/texi2html \
|
|
${LOCALBASE}/bin/texi2pdf:print/texinfo
|
|
DOCS_INSTALL_TARGET= install install_docs
|
|
|
|
MYDDAS_LIB_DEPENDS= libiodbc.so:databases/libiodbc
|
|
MYDDAS_CONFIGURE_ENABLE= myddas myddas-top-level
|
|
|
|
LDFLAGS+= -L${LOCALBASE}/lib
|
|
MAKE_ENV= PKGLDFLAGS="${LDFLAGS}"
|
|
|
|
STRIP= #none
|
|
|
|
USE_LDCONFIG= yes
|
|
GNU_CONFIGURE= yes
|
|
CONFIGURE_ARGS+= --enable-max-performance --disable-clpbn-bp
|
|
USES= gmake libarchive readline shebangfix
|
|
SHEBANG_FILES= packages/http/examples/demo_inetd
|
|
SHEBANG_LANG= swipl
|
|
swipl_OLD_CMD= /usr/bin/swipl
|
|
swipl_CMD= ${LOCALBASE}/bin/swipl # installed by lang/swi-pl
|
|
|
|
DOCSDIR= ${PREFIX}/share/doc/Yap
|
|
DATADIR= ${PREFIX}/share/Yap
|
|
|
|
.include <bsd.port.options.mk>
|
|
|
|
.if ${ARCH} == i386
|
|
# H/absmi.h:77:23: error: global register variables are not supported
|
|
USES+= compiler:gcc-c++11-lib
|
|
.endif
|
|
|
|
post-build:
|
|
.if empty(PORT_OPTIONS:MDOCS)
|
|
# prevent the installation of docs files
|
|
${REINPLACE_CMD} -e '758,761d' ${WRKSRC}/Makefile
|
|
.endif
|
|
|
|
.include <bsd.port.mk>
|