summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorFan Jiang2019-09-28 00:15:45 -0400
committerFan Jiang2019-09-28 00:15:45 -0400
commit31fb22bdd416b32d0dd320c228dc6ef20982bb1f (patch)
tree5bcf27c5b801b17a647388e623c9fe34fe7d42d4 /PKGBUILD
downloadaur-lib32-ppl.tar.gz
Init
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD41
1 files changed, 41 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..be03c0887ff
--- /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
+}