diff options
author | Fan Jiang | 2019-09-28 00:15:45 -0400 |
---|---|---|
committer | Fan Jiang | 2019-09-28 00:15:45 -0400 |
commit | 31fb22bdd416b32d0dd320c228dc6ef20982bb1f (patch) | |
tree | 5bcf27c5b801b17a647388e623c9fe34fe7d42d4 | |
download | aur-31fb22bdd416b32d0dd320c228dc6ef20982bb1f.tar.gz |
Init
-rw-r--r-- | .SRCINFO | 14 | ||||
-rw-r--r-- | PKGBUILD | 41 |
2 files changed, 55 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..91f2b932dfc4 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = lib32-ppl + pkgdesc = Parma Polyhedra Library + pkgver = 1.2 + pkgrel = 2 + url = http://icps.u-strasbg.fr/people/bastoul/public_html/development/openscop/index.html + arch = x86_64 + license = BSD + makedepends = gcc-multilib + depends = lib32-gmp + source = https://www.bugseng.com/products/ppl/download/ftp/releases/1.2/ppl-1.2.tar.xz + sha256sums = 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60 + +pkgname = lib32-ppl + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..be03c0887ffa --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,41 @@ +# Maintainer: Andrew Sun <adsun701@gmail.com> + +pkgname=lib32-ppl +_pkgbasename=ppl +pkgver=1.2 +pkgrel=2 +pkgdesc="Parma Polyhedra Library" +arch=('x86_64') +url="http://icps.u-strasbg.fr/people/bastoul/public_html/development/openscop/index.html" +depends=('lib32-gmp') +makedepends=('gcc-multilib') +license=('BSD') +source=("https://www.bugseng.com/products/ppl/download/ftp/releases/${pkgver}/ppl-${pkgver}.tar.xz") +sha256sums=('691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60') + +prepare() { + cd "${srcdir}/${_pkgbasename}-${pkgver}" +} + +build() { + cd "${srcdir}/${_pkgbasename}-${pkgver}" + + export CC='gcc -m32' + export CXX='g++ -m32' + export PKG_CONFIG_PATH='/usr/lib32/pkgconfig' + export LDFLAGS+=' -m32' + + ./configure \ + --prefix=/usr \ + --libdir=/usr/lib32 \ + --with-gmp-include=/usr/lib32/gmp \ + --with-gmp-lib=/usr/lib32 + make +} + +package() { + cd "${srcdir}/${_pkgbasename}-${pkgver}" + make DESTDIR="${pkgdir}" install + rm -rf "${pkgdir}"/usr/{bin,include,share} + rm -f "${pkgdir}/usr/lib32/"*.py +} |