Date: Tue, 4 Feb 2014 03:28:34 +0900 From: KATO Tsuguru <tkato432@yahoo.com> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/186416: devel/ppl: Update to version 1.1 Message-ID: <20140204032834.23fb3830b2f898648563bc8a@yahoo.com> Resent-Message-ID: <201402031840.s13Ie11t034981@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 186416 >Category: ports >Synopsis: devel/ppl: Update to version 1.1 >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Mon Feb 03 18:40:01 UTC 2014 >Closed-Date: >Last-Modified: >Originator: KATO Tsuguru >Release: FreeBSD 8.4-RELEASE-p7 i386 >Organization: >Environment: >Description: - Update to version 1.1 >How-To-Repeat: >Fix: diff -urN /usr/ports/devel/ppl/Makefile devel/ppl/Makefile --- /usr/ports/devel/ppl/Makefile 2014-01-09 19:26:56.000000000 +0900 +++ devel/ppl/Makefile 2014-02-04 00:00:00.000000000 +0900 @@ -2,7 +2,7 @@ # $FreeBSD: head/devel/ppl/Makefile 339187 2014-01-08 23:32:27Z bapt $ PORTNAME= ppl -PORTVERSION= 1.0 +PORTVERSION= 1.1 CATEGORIES= devel MASTER_SITES= ftp://ftp.cs.unipr.it/pub/ppl/releases/%SUBDIR%/ \ http://bugseng.com/products/ppl/download/ftp/releases/%SUBDIR%/ @@ -14,19 +14,16 @@ LICENSE= GPLv3 # (or later) BUILD_DEPENDS= gm4:${PORTSDIR}/devel/m4 -LIB_DEPENDS= libgmp.so:${PORTSDIR}/math/gmp - -OPTIONS_DEFINE= DOCS +LIB_DEPENDS= libglpk.so:${PORTSDIR}/math/glpk \ + libgmp.so:${PORTSDIR}/math/gmp USE_XZ= yes USES= gmake perl5 USE_PERL5= build USE_AUTOTOOLS= libtool -INTERFACES= c,cxx -PORTDOCS= * - CONFIGURE_ARGS= --disable-debugging \ --enable-optimization \ + --enable-documentation \ --with-cflags="${CFLAGS}" \ --with-cxxflags="${CXXFLAGS}" \ --with-gmp-include="${LOCALBASE}/include" \ @@ -34,6 +31,13 @@ --enable-interfaces="${INTERFACES}" USE_LDCONFIG= yes +CPPFLAGS+= -I${LOCALBASE}/include +LDFLAGS+= -L${LOCALBASE}/lib + +PORTDOCS= * + +OPTIONS_DEFINE= DOCS + # Only enable C and C++ interfaces. Checks for java, prolog and ocaml # have to be added. INTERFACES= c,cxx @@ -42,14 +46,11 @@ @${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 + '/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 +.for i in libppl.so.13 libppl_c.so.4 + @${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/${i} +.endfor .include <bsd.port.mk> diff -urN /usr/ports/devel/ppl/distinfo devel/ppl/distinfo --- /usr/ports/devel/ppl/distinfo 2014-01-23 03:51:42.000000000 +0900 +++ devel/ppl/distinfo 2014-02-04 00:00:00.000000000 +0900 @@ -1,2 +1,2 @@ -SHA256 (ppl-1.0.tar.xz) = 304d8e93f1a76077effdebbbd81d053b3c0e1e0eb9b7a46b387f0a57eb8e09c9 -SIZE (ppl-1.0.tar.xz) = 13847344 +SHA256 (ppl-1.1.tar.xz) = c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178 +SIZE (ppl-1.1.tar.xz) = 14734820 diff -urN /usr/ports/devel/ppl/pkg-descr devel/ppl/pkg-descr --- /usr/ports/devel/ppl/pkg-descr 2014-01-23 03:51:42.000000000 +0900 +++ devel/ppl/pkg-descr 2014-02-04 00:00:00.000000000 +0900 @@ -1,19 +1,21 @@ -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: +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; + - 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; + - 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. + - 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 diff -urN /usr/ports/devel/ppl/pkg-plist devel/ppl/pkg-plist --- /usr/ports/devel/ppl/pkg-plist 2014-01-23 03:51:42.000000000 +0900 +++ devel/ppl/pkg-plist 2014-02-04 00:00:00.000000000 +0900 @@ -1,12 +1,13 @@ bin/ppl-config bin/ppl_lcdd +bin/ppl_lpsol 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.so.13 lib/libppl_c.a lib/libppl_c.la lib/libppl_c.so >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20140204032834.23fb3830b2f898648563bc8a>