eprover/PKGBUILD

   1 # Maintainer: Vojtech Aschenbrenner <vojtech@aschenbrenner.cz>
   2
   3 pkgname=eprover
   4 pkgver=1.4
   5 pkgrel=1
   6 pkgdesc="E is theorem prover for full first-order logic with equality."
   7 arch=('i686' 'x86_64')
   8 url="http://www4.informatik.tu-muenchen.de/~schulz/E/E.html"
   9 license=('GPL2')
  10 depends=()
  11 makedepends=(gcc)
  12 optdepends=()
  13 changelog=
  14 source=(http://www4.in.tum.de/~schulz/WORK/E_DOWNLOAD/V_1.4/E.tgz)
  15 md5sums=('4da7b0c06dddd96ce8ffeb77462d7f77')
  16
  17 build() {
  18   cd "$srcdir/E"
  19   ./configure --bindir="/usr/bin"
  20   make || return 1
  21 }
  22
  23 package() {
  24   mkdir -p "$pkgdir/usr/bin"
  25   cd "$srcdir/E/PROVER"
  26   cp "e_axfilter" "$pkgdir/usr/bin"
  27   cp "e_ltb_runner" "$pkgdir/usr/bin"
  28   cp "eground" "$pkgdir/usr/bin"
  29   cp "epclextract" "$pkgdir/usr/bin"
  30 #  cp "eproof" "$pkgdir/usr/bin"
  31 #  cp "eproof_ram" "$pkgdir/usr/bin"
  32   cp "eprover" "$pkgdir/usr/bin"
  33 }
  34
  35 # vim:set ts=2 sw=2 et: