why/PKGBUILD

   1 # Contributor: Paolo Herms
   2
   3 pkgname=why
   4 pkgver=2.30
   5 pkgrel=1
   6 pkgdesc="a software verification platform"
   7 arch=(x86_64 i686)
   8 license=('LGPL')
   9 url="http://why.lri.fr/"
  10 depends=('gtk2')
  11 optdepends=('frama-c' 'simplify-bin' 'yices-bin' 'z3-bin' 'alt-ergo')
  12 makedepends=('ocaml' 'lablgtk2>=2.14' 'ocaml-ocamlgraph')
  13 source=(http://why.lri.fr/download/why-$pkgver.tar.gz)
  14
  15 build() {
  16   cd "$srcdir"/why-$pkgver
  17   ./configure --prefix=/usr
  18   make || return 1
  19   [[ -e /usr/share/frama-c/Makefile.dynamic ]] && {
  20      mkdir -p "$pkgdir"/usr/share/frama-c/ "$pkgdir"/usr/lib/frama-c/plugins/
  21      cp -v /usr/share/frama-c/Makefile.* "$pkgdir"/usr/share/frama-c
  22    }
  23   [[ -e /usr/share/frama-c/Makefile.dynamic ]] || echo "no way"
  24   make DESTDIR="$pkgdir" FRAMAC_SHARE="$pkgdir"/usr/share/frama-c COQLIB="$pkgdir"/usr/lib/coq install || return 1
  25   rm -f "$pkgdir"/usr/share/frama-c/Makefile.*
  26
  27 }
  28 md5sums=('cbb3b109a37f968bea9ffa6e43e3b822')
  29 md5sums=('c3f6c5616e32743e883ffb7609f96336')