blob: db27d839461eb71b9b5584cbfbefe5f43f779b37 (
plain) (
tree)
|
|
# Created by: Peter Pentchev <roam@FreeBSD.org>
# $FreeBSD$
PORTNAME= gecode
PORTVERSION= 5.1.0
PORTREVISION= 2
CATEGORIES= devel
MASTER_SITES= http://www.gecode.org/download/
MAINTAINER= dem.procopiou@gmail.com
COMMENT= Generic Constraint Development Environment
LICENSE= BSL MIT
LICENSE_COMB= multi
NOT_FOR_ARCHS= aarch64 armv6 armv7 mips mips64
NOT_FOR_ARCHS_REASON= needs code written to specify rounding control mechanism in Boost.Numeric.Interval
LIB_DEPENDS= libmpfr.so:math/mpfr \
libgmp.so:math/gmp
USES= bison compiler:c++11-lang gmake perl5
USE_PERL5= build
GNU_CONFIGURE= yes
CONFIGURE_ARGS= --disable-static \
--enable-shared \
--disable-doc-dot \
--disable-doc-tagfile \
--disable-doc-chm \
--enable-driver \
--enable-graph \
--enable-flatzinc \
--enable-sheduling \
--disable-examples \
--enable-minimodel \
--enable-search \
--with-gmp-include=${LOCALBASE}/include \
--with-gmp-lib=${LOCALBASE}/lib \
--with-mpfr-include=${LOCALBASE}/include \
--with-mpfr-lib=${LOCALBASE}/lib
USE_LDCONFIG= yes
MAKE_JOBS_UNSAFE=yes
PLIST_SUB= SHLIB_VERSION=44
OPTIONS_DEFINE= GIST
OPTIONS_SUB= yes
GIST_DESC= Interactive Search Tool (requires Qt)
GIST_USES= qt:4
GIST_USE= QT=corelib,gui,moc_build,qmake_build
GIST_CONFIGURE_ON= --enable-gist --enable-qt
GIST_CONFIGURE_OFF= --disable-gist --disable-qt
.include <bsd.port.options.mk>
.if ${ARCH} == "amd64"
CFLAGS+= -D__USE_ISOC99
.endif
post-patch:
@${REINPLACE_CMD} -e \
'/^PACKAGE_VERSION_NUMBER/s|^|#| ; \
/_vendor/s| == | = | ; \
/host_os/s| == | = | ; \
/gcc_optimize_flag/s|-O3|| ; \
/="-ggdb/s|^|#|' ${WRKSRC}/configure
post-install:
@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/fzn-gecode
@${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libgecode*.so.[0-9]*.[0-9]*
.include <bsd.port.mk>
|
