Resurrect and update to 1.0

PR:		ports/181062
Submitter by:	KATO Tsuguru <tkato432@yahoo.com>

devel/ppl/Makefile

@@ -0,0 +1,55 @@
+# Created by: ijliao
+# $FreeBSD$
+
+PORTNAME=	ppl
+PORTVERSION=	1.0
+CATEGORIES=	devel
+MASTER_SITES=	ftp://ftp.cs.unipr.it/pub/ppl/releases/%SUBDIR%/ \
+		http://bugseng.com/products/ppl/download/ftp/releases/%SUBDIR%/
+MASTER_SITE_SUBDIR=	${PORTVERSION}
+
+MAINTAINER=	ports@FreeBSD.org
+COMMENT=	C++ library for the manipulation of convex polyhedra
+
+LICENSE=	GPLv3 # (or later)
+
+BUILD_DEPENDS=	gm4:${PORTSDIR}/devel/m4
+LIB_DEPENDS=	libgmp.so:${PORTSDIR}/math/gmp
+
+OPTIONS_DEFINE=	DOCS
+
+USE_XZ=		yes
+USES=		gmake perl5
+USE_PERL5=	build
+USE_AUTOTOOLS=	libtool
+INTERFACES=	c,cxx
+PORTDOCS=	*
+
+CONFIGURE_ARGS=	--disable-debugging \
+		--enable-optimization \
+		--with-cflags="${CFLAGS}" \
+		--with-cxxflags="${CXXFLAGS}" \
+		--with-gmp-include="${LOCALBASE}/include" \
+		--with-gmp-lib="${LOCALBASE}/lib" \
+		--enable-interfaces="${INTERFACES}"
+USE_LDCONFIG=	yes
+
+# Only enable C and C++ interfaces. Checks for java, prolog and ocaml
+# have to be added.
+INTERFACES=	c,cxx
+
+post-patch:
+	@${REINPLACE_CMD} -e \
+		'/OPT_FLAGS/s|-O2||' ${WRKSRC}/configure
+	@${REINPLACE_CMD} -e \
+		'/^install-data-am:/s|install-data-local|| ; \
+		/for file in/s|COPYING||' ${WRKSRC}/doc/Makefile.in
+
+post-install:
+	@${MKDIR} ${STAGEDIR}${DOCSDIR}
+	@(cd ${WRKSRC}/doc && ${SETENV} ${MAKE_ENV} ${GMAKE} ${MAKE_FLAGS} \
+		${MAKEFILE} ${MAKE_ARGS} install-data-local)
+	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libppl.so.12 \
+		${STAGEDIR}${PREFIX}/lib/libppl_c.so.4
+
+.include <bsd.port.mk>

devel/ppl/distinfo

@@ -0,0 +1,2 @@
+SHA256 (ppl-1.0.tar.xz) = 304d8e93f1a76077effdebbbd81d053b3c0e1e0eb9b7a46b387f0a57eb8e09c9
+SIZE (ppl-1.0.tar.xz) = 13847344

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://bugseng.com/products/ppl

devel/ppl/pkg-plist

@@ -0,0 +1,21 @@
+bin/ppl-config
+bin/ppl_lcdd
+bin/ppl_pips
+include/ppl.hh
+include/ppl_c.h
+lib/libppl.a
+lib/libppl.la
+lib/libppl.so
+lib/libppl.so.12
+lib/libppl_c.a
+lib/libppl_c.la
+lib/libppl_c.so
+lib/libppl_c.so.4
+man/man1/ppl-config.1.gz
+man/man1/ppl_lcdd.1.gz
+man/man1/ppl_lpsol.1.gz
+man/man1/ppl_pips.1.gz
+man/man3/libppl.3.gz
+man/man3/libppl_c.3.gz
+share/aclocal/ppl.m4
+share/aclocal/ppl_c.m4