ppl: update to 0.11, bump abi_depends.
This commit is contained in:
parent
e8c6d5e9cb
commit
ecf41a01b5
|
@ -1,2 +1,2 @@
|
|||
abi_depends=">=0.10.2"
|
||||
abi_depends=">=0.11"
|
||||
api_depends="${abi_depends}"
|
||||
|
|
|
@ -8,18 +8,12 @@ long_desc="${long_desc}
|
|||
Add_dependency run gmp-devel
|
||||
Add_dependency run ppl
|
||||
|
||||
revision=2
|
||||
|
||||
do_install()
|
||||
{
|
||||
mkdir -p ${DESTDIR}/usr/share/man/man1 ${DESTDIR}/usr/bin \
|
||||
${DESTDIR}/usr/lib
|
||||
mv ${SRCPKGDESTDIR}/usr/bin/ppl-config ${DESTDIR}/usr/bin
|
||||
mv ${SRCPKGDESTDIR}/usr/share/man/man1/ppl-config.* \
|
||||
${DESTDIR}/usr/share/man/man1
|
||||
mv ${SRCPKGDESTDIR}/usr/share/man/man3 ${DESTDIR}/usr/share/man
|
||||
mv ${SRCPKGDESTDIR}/usr/include ${DESTDIR}/usr
|
||||
install -d ${DESTDIR}/usr/lib
|
||||
|
||||
for d in bin include share; do
|
||||
mv ${SRCPKGDESTDIR}/usr/${d} ${DESTDIR}/usr
|
||||
done
|
||||
mv ${SRCPKGDESTDIR}/usr/lib/*.a ${DESTDIR}/usr/lib
|
||||
mv ${SRCPKGDESTDIR}/usr/share/aclocal ${DESTDIR}/usr/share
|
||||
mv ${SRCPKGDESTDIR}/usr/share/doc ${DESTDIR}/usr/share
|
||||
}
|
||||
|
|
|
@ -1,16 +1,14 @@
|
|||
# Template file for 'ppl'
|
||||
pkgname=ppl
|
||||
version=0.10.2
|
||||
revision=2
|
||||
distfiles="http://www.cs.unipr.it/ppl/Download/ftp/releases/${version}/ppl-${version}.tar.gz"
|
||||
version=0.11
|
||||
distfiles="http://www.cs.unipr.it/ppl/Download/ftp/releases/${version}/ppl-${version}.tar.bz2"
|
||||
build_style=gnu_configure
|
||||
configure_args="--disable-rpath --enable-interfaces=c,cxx
|
||||
--with-libgmp-prefix=${XBPS_MASTERDIR}/usr
|
||||
--with-libgmpxx-prefix=${XBPS_MASTERDIR}/usr
|
||||
--with-bgmp-prefix=${XBPS_MASTERDIR}/usr
|
||||
--with-gnu-ld --disable-debugging"
|
||||
short_desc="The Parma Polyhedra Library"
|
||||
maintainer="Juan RP <xtraeme@gmail.com>"
|
||||
checksum=d0389838575a7e003542fe996cce54bb0405f9a011424ba7384d12a634219e52
|
||||
checksum=f4f28b75c95ed7f7adf8e5387ca4b012d9405ce0bc098629ea1653d711028cbc
|
||||
long_desc="
|
||||
The Parma Polyhedra Library (PPL) provides numerical abstractions especially
|
||||
targeted at applications in the field of analysis and verification of complex
|
||||
|
@ -31,9 +29,3 @@ Add_dependency run glibc
|
|||
Add_dependency run libstdc++
|
||||
Add_dependency run gmp
|
||||
Add_dependency build gmp-devel
|
||||
|
||||
pre_configure()
|
||||
{
|
||||
# 5.0.1 compatibility
|
||||
sed -i -e "s|__GMP_BITS_PER_MP_LIMB|GMP_LIMB_BITS|g" ${wrksrc}/configure
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue