diff options
author | Ying-Chieh Liao <ijliao@FreeBSD.org> | 2002-06-23 15:21:54 +0000 |
---|---|---|
committer | Ying-Chieh Liao <ijliao@FreeBSD.org> | 2002-06-23 15:21:54 +0000 |
commit | 5888a6393c7213692e08cab93a264d8ff9982522 (patch) | |
tree | 10a7eade5a633a5bab18b93401e8208506bcbf0c /devel/ppl | |
parent | Update to version 1.3.2. (diff) |
add ppl 0.3
The Parma Polyhedra Library
Notes
Notes:
svn path=/head/; revision=61820
Diffstat (limited to 'devel/ppl')
-rw-r--r-- | devel/ppl/Makefile | 26 | ||||
-rw-r--r-- | devel/ppl/distinfo | 1 | ||||
-rw-r--r-- | devel/ppl/pkg-comment | 1 | ||||
-rw-r--r-- | devel/ppl/pkg-descr | 19 | ||||
-rw-r--r-- | devel/ppl/pkg-plist | 3 |
5 files changed, 50 insertions, 0 deletions
diff --git a/devel/ppl/Makefile b/devel/ppl/Makefile new file mode 100644 index 000000000000..84200852a57b --- /dev/null +++ b/devel/ppl/Makefile @@ -0,0 +1,26 @@ +# ex:ts=8 +# New ports collection makefile for: ppl +# Date created: Feb 5, 2002 +# Whom: ijliao +# +# $FreeBSD$ +# + +PORTNAME= ppl +PORTVERSION= 0.3 +CATEGORIES= devel +MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/${PORTVERSION}/ \ + http://www.cs.unipr.it/ppl/Download/ftp/releases/${PORTVERSION}/ + +MAINTAINER= ports@FreeBSD.org + +LIB_DEPENDS= gmp.5:${PORTSDIR}/math/libgmp4 + +USE_LIBTOOL= yes +GNU_CONFIGURE= yes +CFLAGS+= -I${LOCALBASE}/include +CONFIGURE_ENV= LDFLAGS="-L${LOCALBASE}/lib" +CONFIGURE_ARGS= --with-cxxflags="${CXXFLAGS}" +INSTALLS_SHLIB= yes + +.include <bsd.port.mk> diff --git a/devel/ppl/distinfo b/devel/ppl/distinfo new file mode 100644 index 000000000000..565f84124ba2 --- /dev/null +++ b/devel/ppl/distinfo @@ -0,0 +1 @@ +MD5 (ppl-0.3.tar.gz) = b9090c2c6ce13a5587274ca18e2dbff8 diff --git a/devel/ppl/pkg-comment b/devel/ppl/pkg-comment new file mode 100644 index 000000000000..10b81c6ec0c7 --- /dev/null +++ b/devel/ppl/pkg-comment @@ -0,0 +1 @@ +The Parma Polyhedra Library diff --git a/devel/ppl/pkg-descr b/devel/ppl/pkg-descr new file mode 100644 index 000000000000..485cdca4f58a --- /dev/null +++ b/devel/ppl/pkg-descr @@ -0,0 +1,19 @@ +The Parma Polyhedra Library (PPL) is a modern C++ library for the manipulation +of convex polyhedra. To be more precise, the PPL can handle all the convex +polyhedra that can be defined as the intersection of a finite number of closed +hyperspaces, each described by an equality or a non-strict inequality with +rational coefficients. (More details are available on the PPL's internal +mechanisms.) The Parma Polyhedra Library is: + + - user friendly: you write x + 2*y + 5*z <= 7 when you mean it; + - fully dynamic: available virtual memory is the only limitation to the + dimension of anything; + - written in standard C++: meant to be portable; + - exception-safe: never leaks resources or leaves invalid object fragments + around; + - rather efficient: and we hope to make it even more so; + - thoroughly documented: perhaps not literate programming but close enough; + - free software: distributed under the terms of the GNU General Public + License. + +WWW: http://www.cs.unipr.it/ppl/ diff --git a/devel/ppl/pkg-plist b/devel/ppl/pkg-plist new file mode 100644 index 000000000000..d9c07eada48f --- /dev/null +++ b/devel/ppl/pkg-plist @@ -0,0 +1,3 @@ +include/ppl.hh +lib/libppl.a +lib/libppl.la |