tomcharnock/void-packages
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

ppl: rebuild against gmp>=6.0.0_2 (for gmpxx).

Browse Source
This commit is contained in:
Juan RP
2014-12-29 18:22:56 +01:00
parent 9b692ff5ef
commit ffb6493ca0
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
srcpkgs/ppl/template
View File

@@ -1,11 +1,11 @@
# Template file for 'ppl' # Template file for 'ppl'
pkgname=ppl pkgname=ppl
version=1.1 version=1.1
revision=1 revision=2
build_style=gnu-configure build_style=gnu-configure
configure_args="--enable-interfaces=c,cxx" configure_args="--enable-interfaces=c,cxx"
hostmakedepends="libtool automake" hostmakedepends="libtool automake"
makedepends="gmp-devel>=6" makedepends="gmp-devel>=6.0.0_2"
short_desc="The Parma Polyhedra Library" short_desc="The Parma Polyhedra Library"
homepage="http://bugseng.com/products/ppl" homepage="http://bugseng.com/products/ppl"
license="GPL-3" license="GPL-3"
@@ -16,7 +16,6 @@ checksum=46f073c0626234f0b1a479356c0022fe5dc3c9cf10df1a246c9cde81f7cf284d
pre_configure() { pre_configure() {
autoreconf -fi autoreconf -fi
} }
post_install() { post_install() {
rm -rf ${DESTDIR}/usr/share/doc rm -rf ${DESTDIR}/usr/share/doc
} }