diff options
author | Pav Lucistnik <pav@FreeBSD.org> | 2007-03-27 16:29:28 +0000 |
---|---|---|
committer | Pav Lucistnik <pav@FreeBSD.org> | 2007-03-27 16:29:28 +0000 |
commit | bb5439929387b1375fed99d582744b03d7708a4a (patch) | |
tree | c588fb384e145a5fb2bde00aba6ef4032adf3d66 /devel/ppl/Makefile | |
parent | c46d3879c7034788ba01f747dff4b9444aaddd57 (diff) | |
download | ports-bb5439929387b1375fed99d582744b03d7708a4a.tar.gz ports-bb5439929387b1375fed99d582744b03d7708a4a.zip |
Notes
Diffstat (limited to 'devel/ppl/Makefile')
-rw-r--r-- | devel/ppl/Makefile | 14 |
1 files changed, 4 insertions, 10 deletions
diff --git a/devel/ppl/Makefile b/devel/ppl/Makefile index 1df22dea4b9d..41c51272c0d5 100644 --- a/devel/ppl/Makefile +++ b/devel/ppl/Makefile @@ -8,7 +8,7 @@ PORTNAME= ppl PORTVERSION= 0.6.1 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= devel MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/%SUBDIR%/ \ http://www.cs.unipr.it/ppl/Download/ftp/releases/%SUBDIR%/ @@ -21,7 +21,8 @@ LIB_DEPENDS= gmp.7:${PORTSDIR}/math/libgmp4 USE_GMAKE= yes USE_GNOME= gnometarget -GNU_CONFIGURE= yes +USE_AUTOTOOLS= libtool:15 +LIBTOOLFILES= configure Watchdog/configure CONFIGURE_ARGS= --disable-debugging \ --enable-optimization \ --with-cflags="${CFLAGS}" \ @@ -31,11 +32,4 @@ CONFIGURE_ARGS= --disable-debugging \ USE_LDCONFIG= 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> +.include <bsd.port.mk> |