ppl/trunk/PKGBUILD

   1 # Maintainer: Antonio Rojas <arojas@archlinux.org>
   2 # Contributor: Allan McRae <allan@archlinux.org>
   3 # Contributor: ezzetabi <ezzetabi at gawab dot com>
   4
   5 pkgname=ppl
   6 pkgver=1.2
   7 pkgrel=5
   8 pkgdesc='A modern library for convex polyhedra and other numerical abstractions'
   9 arch=(x86_64)
  10 url='https://bugseng.com/products/ppl'
  11 license=(GPL3)
  12 depends=(glpk)
  13 makedepends=(swi-prolog)
  14 optdepends=('swi-prolog: SWI Prolog interface')
  15 options=(!docs)
  16 source=(https://bugseng.com/products/ppl/download/ftp/releases/$pkgver/ppl-$pkgver.tar.gz
  17         ppl-1.2-prolog8.2.patch
  18         ppl-1.2-configure.patch)
  19 sha256sums=('6bc36dd4a87abc429d8f9c00c53e334e5041a9b0857cfc00dbad6ef14294aac8'
  20             '847feca3cf81fc27ce3d5c9f38f7a9b83cc619749e319f00e9933e175de027ea'
  21             '31118efd1f3df077f4a40f1ec1bb0ef9e7f324bc47f82c15cb92852c9c4b5994')
  22 validpgpkeys=('058E41DB299DE2DD0AC649CA881457CBB5944392') # Roberto Bagnara
  23
  24 prepare() {
  25   cd ppl-$pkgver
  26 # Fix prolog 8.2 detection (Fedora)
  27   patch -Np1 -i ../ppl-1.2-prolog8.2.patch
  28 # Fix configure check broken by LTO (Fedora)
  29   patch -Np1 -i ../ppl-1.2-configure.patch
  30 # Fix detection of C++11 features (Fedora)
  31   sed -i 's,== 201103L,>= 201103L,g' m4/ac_check_cxx11.m4
  32   autoreconf -fi
  33 }
  34
  35 build() {
  36 # Adapt to SWI Prolog 8.x (Fedora)
  37   CPPFLAGS+="$(pkgconf --cflags-only-I swipl)"
  38   cd ppl-$pkgver
  39   ./configure --prefix=/usr --enable-interfaces="c,cxx,swi_prolog"
  40   make
  41 }
  42
  43 check() {
  44   cd ppl-$pkgver
  45   make check || /bin/true # https://www.cs.unipr.it/mantis/view.php?id=2120
  46 }
  47
  48 package() {
  49   cd ppl-$pkgver
  50   make DESTDIR="$pkgdir" install
  51 }