diff options
| author | Ying-Chieh Liao <ijliao@FreeBSD.org> | 2004-08-23 02:22:48 +0000 |
|---|---|---|
| committer | Ying-Chieh Liao <ijliao@FreeBSD.org> | 2004-08-23 02:22:48 +0000 |
| commit | 9ccb0283a249a9c17e2945eaab6d593818b2098a (patch) | |
| tree | 9a21fcb08faa58e4a16764fa282fb3e3e772b43b /devel/ppl | |
| parent | e27f80d1207c7430e643d7e754915032ec4910c5 (diff) | |
| download | ports-9ccb0283a249a9c17e2945eaab6d593818b2098a.tar.gz ports-9ccb0283a249a9c17e2945eaab6d593818b2098a.zip | |
Notes
Diffstat (limited to 'devel/ppl')
| -rw-r--r-- | devel/ppl/Makefile | 8 | ||||
| -rw-r--r-- | devel/ppl/distinfo | 4 | ||||
| -rw-r--r-- | devel/ppl/files/patch-interfaces::Makefile.in | 14 | ||||
| -rw-r--r-- | devel/ppl/pkg-plist | 6 |
4 files changed, 17 insertions, 15 deletions
diff --git a/devel/ppl/Makefile b/devel/ppl/Makefile index bdbfa1d20888..be2069922525 100644 --- a/devel/ppl/Makefile +++ b/devel/ppl/Makefile @@ -7,8 +7,8 @@ # PORTNAME= ppl -PORTVERSION= 0.5 -PORTREVISION= 1 +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%/ @@ -20,9 +20,8 @@ COMMENT= The Parma Polyhedra Library LIB_DEPENDS= gmp.6:${PORTSDIR}/math/libgmp4 USE_GMAKE= yes +USE_GNOME= gnometarget GNU_CONFIGURE= yes -USE_LIBTOOL_VER= 13 -CONFIGURE_TARGET= --build=${MACHINE_ARCH}-portbld-freebsd${OSREL} CONFIGURE_ARGS= --disable-debugging \ --enable-optimization \ --with-cflags="${CFLAGS}" \ @@ -30,6 +29,7 @@ CONFIGURE_ARGS= --disable-debugging \ --with-gmp-includes="${LOCALBASE}/include" \ --with-gmp-dir="${LOCALBASE}/lib" INSTALLS_SHLIB= yes +PORTDOCS= * .include <bsd.port.pre.mk> diff --git a/devel/ppl/distinfo b/devel/ppl/distinfo index a77cf4e44ce5..34cb648da8e7 100644 --- a/devel/ppl/distinfo +++ b/devel/ppl/distinfo @@ -1,2 +1,2 @@ -MD5 (ppl-0.5.tar.gz) = fe4de1562fedc7507dca96b55ce2ab18 -SIZE (ppl-0.5.tar.gz) = 2498479 +MD5 (ppl-0.6.1.tar.gz) = e6abc7a588155a6d23b825894ed28ec3 +SIZE (ppl-0.6.1.tar.gz) = 3478272 diff --git a/devel/ppl/files/patch-interfaces::Makefile.in b/devel/ppl/files/patch-interfaces::Makefile.in index 79a07f893bc0..96566aff7b46 100644 --- a/devel/ppl/files/patch-interfaces::Makefile.in +++ b/devel/ppl/files/patch-interfaces::Makefile.in @@ -1,11 +1,11 @@ ---- interfaces/Makefile.in.orig Fri Oct 4 19:25:02 2002 -+++ interfaces/Makefile.in Tue Nov 12 02:34:53 2002 -@@ -180,7 +180,7 @@ +--- interfaces/Makefile.in.orig Mon Aug 23 10:00:40 2004 ++++ interfaces/Makefile.in Mon Aug 23 10:00:45 2004 +@@ -225,7 +225,7 @@ sysconfdir = @sysconfdir@ target_alias = @target_alias@ - + xsb_includes = @xsb_includes@ -SUBDIRS = C Prolog +SUBDIRS = C - subdir = interfaces - mkinstalldirs = $(SHELL) $(top_srcdir)/mkinstalldirs - CONFIG_HEADER = $(top_builddir)/config.h + all: all-recursive + + .SUFFIXES: diff --git a/devel/ppl/pkg-plist b/devel/ppl/pkg-plist index 2e4438783f22..a2b13429d105 100644 --- a/devel/ppl/pkg-plist +++ b/devel/ppl/pkg-plist @@ -1,12 +1,14 @@ +bin/ppl_lcdd include/ppl.hh include/ppl_c.h include/pwl.hh lib/libppl.a lib/libppl.so -lib/libppl.so.2 +lib/libppl.so.3 lib/libppl_c.a lib/libppl_c.so lib/libppl_c.so.1 lib/libpwl.a +lib/libpwl.la lib/libpwl.so -lib/libpwl.so.1 +lib/libpwl.so.2 |