ppl: fix homepage, distfiles, checksum
Closes: #10449 [via git-merge-pr]
This commit is contained in:
parent
7660e97f30
commit
2ce3944e25
1 changed files with 3 additions and 3 deletions
|
@ -7,11 +7,11 @@ configure_args="--enable-interfaces=c,cxx"
|
||||||
hostmakedepends="libtool automake"
|
hostmakedepends="libtool automake"
|
||||||
makedepends="gmp-devel gmpxx-devel"
|
makedepends="gmp-devel gmpxx-devel"
|
||||||
short_desc="The Parma Polyhedra Library"
|
short_desc="The Parma Polyhedra Library"
|
||||||
homepage="http://bugseng.com/products/ppl"
|
homepage="http://www.bugseng.com/parma-polyhedra-library"
|
||||||
license="GPL-3"
|
license="GPL-3"
|
||||||
maintainer="Juan RP <xtraeme@voidlinux.eu>"
|
maintainer="Juan RP <xtraeme@voidlinux.eu>"
|
||||||
distfiles="http://bugseng.com/products/ppl/download/ftp/releases/${version}/ppl-${version}.tar.gz"
|
distfiles="ftp://ftp.cs.unipr.it/pub/ppl/releases/${version}/ppl-${version}.tar.xz"
|
||||||
checksum=6bc36dd4a87abc429d8f9c00c53e334e5041a9b0857cfc00dbad6ef14294aac8
|
checksum=691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60
|
||||||
|
|
||||||
pre_configure() {
|
pre_configure() {
|
||||||
autoreconf -fi
|
autoreconf -fi
|
||||||
|
|
Loading…
Reference in a new issue