add ppl 0.3

The Parma Polyhedra Library

devel/Makefile

@@ -571,6 +571,7 @@
     SUBDIR += powerpc-rtems-gcj
     SUBDIR += powerpc-rtems-gdb
     SUBDIR += powerpc-rtems-objc
+    SUBDIR += ppl
     SUBDIR += prcs
     SUBDIR += projectcenter.app
     SUBDIR += pth

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>

devel/ppl/distinfo

@@ -0,0 +1 @@
+MD5 (ppl-0.3.tar.gz) = b9090c2c6ce13a5587274ca18e2dbff8

devel/ppl/pkg-comment

@@ -0,0 +1 @@
+The Parma Polyhedra Library

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/

devel/ppl/pkg-plist

@@ -0,0 +1,3 @@
+include/ppl.hh
+lib/libppl.a
+lib/libppl.la