mpfi/PKGBUILD

   1 # Contributor: Rémy Oudompheng <remy@archlinux.org>
   2 # Maintainer: Rémy Oudompheng <remy@archlinux.org>
   3 pkgname=mpfi
   4 pkgver=1.5
   5 pkgrel=1
   6 pkgdesc="C library for interval arithmetic"
   7 arch=('i686' 'x86_64')
   8 url="http://perso.ens-lyon.fr/nathalie.revol/software.html"
   9 license=('GPL')
  10 depends=('gmp' 'mpfr')
  11 source=(http://gforge.inria.fr/frs/download.php/27345/mpfi-$pkgver.tar.bz2)
  12 md5sums=('63e4f54b7d172328c72ef3eaed72901f')
  13 install=mpfi.install
  14
  15 build() {
  16   cd "${srcdir}/mpfi-$pkgver"
  17   ./configure --prefix=/usr --enable-shared
  18   make
  19 }
  20
  21 package() {
  22   cd "${srcdir}/mpfi-$pkgver"
  23   make DESTDIR="$pkgdir" install
  24   rm $pkgdir/usr/share/info/dir
  25 }
  26