why3/PKGBUILD

   1
   2 # Contributor: Paolo Herms
   3
   4 pkgname=why3
   5 pkgver=0.71
   6 _pkgvercode=29252 # IMPORTANT: update from gforge!
   7 pkgrel=1
   8 pkgdesc="The next generation of the former software verification platform Why"
   9 arch=(x86_64 i686)
  10 url="http://why3.gforge.inria.fr/"
  11 license=('GPL')
  12 depends=('gtksourceview2' 'sqlite3')
  13 makedepends=('ocaml' 'ocaml-sqlite3' 'lablgtk2')
  14 source=(https://gforge.inria.fr/frs/download.php/$_pkgvercode/$pkgname-$pkgver.tar.gz)
  15 #PKGEXT=.tar
  16
  17 build() {
  18     cd "$srcdir"/$pkgname-$pkgver
  19     ./configure --prefix=/usr
  20     make clean || true
  21     make
  22     make DESTDIR="$pkgdir" OCAMLLIB="$pkgdir"/usr/lib/ocaml install install-lib
  23 }
  24
  25 md5sums=('ba2724363ee443a94c3a1ce363385d57')