alt-ergo/PKGBUILD

   1
   2 # Contributor: Paolo Herms
   3
   4 pkgname=alt-ergo
   5 pkgver=0.93
   6 pkgrel=2
   7 pkgdesc="An automatic theorem prover dedicated to program verification"
   8 arch=(x86_64 i686)
   9 url="http://alt-ergo.lri.fr/"
  10 license=('custom:CeCILL-C')
  11 depends=('glibc')
  12 makedepends=('ocaml>=3.08' 'ocaml-ocamlgraph')
  13 source=(http://alt-ergo.lri.fr/http/$pkgname-$pkgver.tar.gz)
  14
  15 build() {
  16   cd "$srcdir"/$pkgname-$pkgver
  17   ./configure --prefix=/usr
  18   make || return 1
  19   mkdir -p "$pkgdir"/usr/bin
  20   make MANDIR="$pkgdir"/usr/share/man LIBDIR="$pkgdir"/usr/lib BINDIR="$pkgdir"/usr/bin install
  21   install -m644 -D CeCILL-C "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
  22 }
  23
  24 md5sums=('b58fdf53faf4c7b294a38c64176be2f3')