2002-06-23 17:21:54 +02:00
|
|
|
# ex:ts=8
|
|
|
|
|
# New ports collection makefile for: ppl
|
|
|
|
|
# Date created: Feb 5, 2002
|
|
|
|
|
# Whom: ijliao
|
|
|
|
|
#
|
|
|
|
|
# $FreeBSD$
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
PORTNAME= ppl
|
2004-08-23 04:22:48 +02:00
|
|
|
PORTVERSION= 0.6.1
|
2006-05-10 16:46:47 +02:00
|
|
|
PORTREVISION= 1
|
2002-06-23 17:21:54 +02:00
|
|
|
CATEGORIES= devel
|
2002-11-20 13:27:06 +01:00
|
|
|
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}
|
2002-06-23 17:21:54 +02:00
|
|
|
|
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
2003-02-20 18:07:10 +01:00
|
|
|
COMMENT= The Parma Polyhedra Library
|
2002-06-23 17:21:54 +02:00
|
|
|
|
2006-05-10 16:46:47 +02:00
|
|
|
LIB_DEPENDS= gmp.7:${PORTSDIR}/math/libgmp4
|
2002-06-23 17:21:54 +02:00
|
|
|
|
2002-10-07 14:52:31 +02:00
|
|
|
USE_GMAKE= yes
|
2004-08-23 04:22:48 +02:00
|
|
|
USE_GNOME= gnometarget
|
2002-11-20 13:27:06 +01:00
|
|
|
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"
|
2006-08-15 00:55:18 +02:00
|
|
|
USE_LDCONFIG= yes
|
2004-08-23 04:22:48 +02:00
|
|
|
PORTDOCS= *
|
2002-06-23 17:21:54 +02:00
|
|
|
|
2002-11-20 13:27:06 +01:00
|
|
|
.include <bsd.port.pre.mk>
|
|
|
|
|
|
2003-03-28 18:38:29 +01:00
|
|
|
# ppl needs gcc > 3.1, with libgmp4 compiled with the same gcc version
|
2002-11-20 13:27:06 +01:00
|
|
|
.if ${OSVERSION} < 500035
|
2003-06-27 17:53:26 +02:00
|
|
|
IGNORE= "Does not build with older versions of FreeBSD"
|
2002-11-20 13:27:06 +01:00
|
|
|
.endif
|
2002-10-07 14:52:31 +02:00
|
|
|
|
2002-11-20 13:27:06 +01:00
|
|
|
.include <bsd.port.post.mk>
|
