mirror of
https://github.com/archr-linux/Arch-R.git
synced 2026-03-31 14:41:55 -07:00
17 lines
582 B
Plaintext
17 lines
582 B
Plaintext
PKG_NAME="ppl"
|
|
PKG_VERSION="0.11"
|
|
PKG_REV="1"
|
|
PKG_ARCH="any"
|
|
PKG_LICENSE="GPL"
|
|
PKG_SITE="http://www.cs.unipr.it/ppl"
|
|
PKG_URL="http://www.cs.unipr.it/ppl/Download/ftp/releases/$PKG_VERSION/$PKG_NAME-$PKG_VERSION.tar.bz2"
|
|
PKG_DEPENDS=""
|
|
PKG_BUILD_DEPENDS="ccache gmp"
|
|
PKG_PRIORITY="optional"
|
|
PKG_SECTION="toolchain/math"
|
|
PKG_SHORTDESC="ppl: Parma Polyhedra Library"
|
|
PKG_LONGDESC="The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems."
|
|
PKG_IS_ADDON="no"
|
|
|
|
PKG_AUTORECONF="no"
|