From owner-svn-ports-head@FreeBSD.ORG Fri Feb 7 13:04:09 2014 Return-Path: Delivered-To: svn-ports-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id E82C9574; Fri, 7 Feb 2014 13:04:09 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id C345119B8; Fri, 7 Feb 2014 13:04:09 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.8/8.14.8) with ESMTP id s17D49UC019653; Fri, 7 Feb 2014 13:04:09 GMT (envelope-from miwi@svn.freebsd.org) Received: (from miwi@localhost) by svn.freebsd.org (8.14.8/8.14.8/Submit) id s17D49cg019648; Fri, 7 Feb 2014 13:04:09 GMT (envelope-from miwi@svn.freebsd.org) Message-Id: <201402071304.s17D49cg019648@svn.freebsd.org> From: Martin Wilke Date: Fri, 7 Feb 2014 13:04:08 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r343227 - head/devel/ppl X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.17 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 07 Feb 2014 13:04:10 -0000 Author: miwi Date: Fri Feb 7 13:04:08 2014 New Revision: 343227 URL: http://svnweb.freebsd.org/changeset/ports/343227 QAT: https://qat.redports.org/buildarchive/r343227/ Log: - Update to 1.1 PR: 186416 Submitted by: ports fury Modified: head/devel/ppl/Makefile head/devel/ppl/distinfo head/devel/ppl/pkg-descr head/devel/ppl/pkg-plist Modified: head/devel/ppl/Makefile ============================================================================== --- head/devel/ppl/Makefile Fri Feb 7 13:02:44 2014 (r343226) +++ head/devel/ppl/Makefile Fri Feb 7 13:04:08 2014 (r343227) @@ -2,7 +2,7 @@ # $FreeBSD$ 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 @@ COMMENT= C++ library for the manipulatio 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 @@ CONFIGURE_ARGS= --disable-debugging \ --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 @@ 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 + '/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 Modified: head/devel/ppl/distinfo ============================================================================== --- head/devel/ppl/distinfo Fri Feb 7 13:02:44 2014 (r343226) +++ head/devel/ppl/distinfo Fri Feb 7 13:04:08 2014 (r343227) @@ -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 Modified: head/devel/ppl/pkg-descr ============================================================================== --- head/devel/ppl/pkg-descr Fri Feb 7 13:02:44 2014 (r343226) +++ head/devel/ppl/pkg-descr Fri Feb 7 13:04:08 2014 (r343227) @@ -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 Modified: head/devel/ppl/pkg-plist ============================================================================== --- head/devel/ppl/pkg-plist Fri Feb 7 13:02:44 2014 (r343226) +++ head/devel/ppl/pkg-plist Fri Feb 7 13:04:08 2014 (r343227) @@ -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