aboutsummaryrefslogtreecommitdiffstats
path: root/devel/gecode/Makefile
blob: 9ebc010fa1190ff691f8e2e90430dccfbe50e786 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
# Created by: Peter Pentchev <roam@FreeBSD.org>
# $FreeBSD$

PORTNAME=   gecode
PORTVERSION=    5.1.0
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

LIB_DEPENDS=    libmpfr.so:math/mpfr \
        libgmp.so:math/gmp

NOT_FOR_ARCHS=      aarch64 armv6 mips mips64
NOT_FOR_ARCHS_REASON=   needs code written to specify rounding control mechanism in Boost.Numeric.Interval

USES=       bison 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_USE=   QT4=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>