diff --git a/devel/ppl/Makefile b/devel/ppl/Makefile index 7b4ca9392380..dbb04fec8555 100644 --- a/devel/ppl/Makefile +++ b/devel/ppl/Makefile @@ -1,48 +1,50 @@ PORTNAME= ppl PORTVERSION= 1.2 +PORTREVISION= 1 CATEGORIES= devel MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/${PORTVERSION}/ \ http://bugseng.com/products/ppl/download/ftp/releases/${PORTVERSION}/ MAINTAINER= yuri@FreeBSD.org COMMENT= C++ library for the manipulation of convex polyhedra WWW= https://bugseng.com/products/ppl LICENSE= GPLv3+ LICENSE_FILE= ${WRKSRC}/COPYING BUILD_DEPENDS= gm4:devel/m4 LIB_DEPENDS= libglpk.so:math/glpk \ libgmp.so:math/gmp USES= gmake perl5 tar:xz libtool localbase:ldflags USE_CXXSTD= c++14 USE_LDCONFIG= yes USE_PERL5= build GNU_CONFIGURE= yes +GNU_CONFIGURE_MANPREFIX= ${PREFIX}/share CONFIGURE_ARGS= --disable-debugging \ --enable-optimization \ --enable-documentation \ --with-cflags="${CFLAGS}" \ --with-cxxflags="${CXXFLAGS}" \ --with-gmp-include="${LOCALBASE}/include" \ --with-gmp-lib="${LOCALBASE}/lib" \ --enable-interfaces="${INTERFACES}" INSTALL_TARGET= install-strip PORTDOCS= * OPTIONS_DEFINE= DOCS # 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 \ '/for file in/s|COPYING||' ${WRKSRC}/doc/Makefile.in .include diff --git a/devel/ppl/pkg-plist b/devel/ppl/pkg-plist index 8c459c874503..f572614e9918 100644 --- a/devel/ppl/pkg-plist +++ b/devel/ppl/pkg-plist @@ -1,22 +1,22 @@ bin/ppl-config bin/ppl_lcdd bin/ppl_lpsol bin/ppl_pips include/ppl.hh include/ppl_c.h lib/libppl.a lib/libppl.so lib/libppl.so.14 lib/libppl.so.14.0.0 lib/libppl_c.a lib/libppl_c.so lib/libppl_c.so.4 lib/libppl_c.so.4.0.0 -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 +share/man/man1/ppl-config.1.gz +share/man/man1/ppl_lcdd.1.gz +share/man/man1/ppl_lpsol.1.gz +share/man/man1/ppl_pips.1.gz +share/man/man3/libppl.3.gz +share/man/man3/libppl_c.3.gz