aboutsummaryrefslogtreecommitdiffstats
path: root/devel/ppl/Makefile
blob: be20699225259634cb77ade8560522b104326da8 (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
# ex:ts=8
# New ports collection makefile for:    ppl
# Date created:         Feb 5, 2002
# Whom:             ijliao
#
# $FreeBSD$
#

PORTNAME=   ppl
PORTVERSION=    0.6.1
PORTREVISION=   0
CATEGORIES= devel
MASTER_SITES=   ftp://ftp.cs.unipr.it/pub/ppl/releases/%SUBDIR%/ \
        http://www.cs.unipr.it/ppl/Download/ftp/releases/%SUBDIR%/
MASTER_SITE_SUBDIR= ${PORTVERSION}

MAINTAINER= ports@FreeBSD.org
COMMENT=    The Parma Polyhedra Library

LIB_DEPENDS=    gmp.6:${PORTSDIR}/math/libgmp4

USE_GMAKE=  yes
USE_GNOME=  gnometarget
GNU_CONFIGURE=  yes
CONFIGURE_ARGS= --disable-debugging \
        --enable-optimization \
        --with-cflags="${CFLAGS}" \
        --with-cxxflags="${CXXFLAGS}" \
        --with-gmp-includes="${LOCALBASE}/include" \
        --with-gmp-dir="${LOCALBASE}/lib"
INSTALLS_SHLIB= yes
PORTDOCS=   *

.include <bsd.port.pre.mk>

# ppl needs gcc > 3.1, with libgmp4 compiled with the same gcc version
.if ${OSVERSION} < 500035
IGNORE=     "Does not build with older versions of FreeBSD"
.endif

.include <bsd.port.post.mk>