aboutsummaryrefslogtreecommitdiffstats
path: root/devel/gecode/Makefile
blob: 560d472b6f4e7cb85e0395a14fc60dab81a24adb (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
# Created by: roam@FreeBSD.org
# $FreeBSD$

PORTNAME=   gecode
PORTVERSION=    4.3.0
CATEGORIES= devel
MASTER_SITES=   http://www.gecode.org/download/

MAINTAINER= ports@FreeBSD.org
COMMENT=    Generic Constraint Development Environment

LICENSE=    BSL MIT
LICENSE_COMB=   multi

LIB_DEPENDS=    libmpfr.so:${PORTSDIR}/math/mpfr

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
SHLIB=      37

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
PLIST_SUB=  SHLIB="${SHLIB}"

.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>