diff options
| author | Vojtěch Aschenbrenner | 2015-07-15 11:55:16 +0200 |
|---|---|---|
| committer | Vojtěch Aschenbrenner | 2015-07-15 11:55:16 +0200 |
| commit | fb0f81910746ca63568cb8c130dae4b7b068972a (patch) | |
| tree | 5c8a22accba85b8fd6e2103bd9aa32084478c74a /PKGBUILD | |
| download | aur-fb0f81910746ca63568cb8c130dae4b7b068972a.tar.gz | |
Initial commit
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..99f18e904c85 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,35 @@ +# Maintainer: Vojtech Aschenbrenner <v@asch.cz> + +pkgname=eprover +pkgver=1.9 +pkgrel=1 +pkgdesc="E is theorem prover for full first-order logic with equality." +arch=('i686' 'x86_64') +url="http://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html" +license=('GPL2') +depends=() +makedepends=() +optdepends=() +changelog= +source=(http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_1.9/E.tgz) +sha256sums=('c4365661a6a4519b21b895fafe60c6b39b8acadf77a3c42e4d638027f155376e') + +build() { + cd "$srcdir/E" + ./configure --bindir="/usr/bin" + make +} + +package() { + mkdir -p "$pkgdir/usr/bin" + cd "$srcdir/E/PROVER" + cp "e_axfilter" "$pkgdir/usr/bin" + cp "e_ltb_runner" "$pkgdir/usr/bin" + cp "eground" "$pkgdir/usr/bin" + cp "epclextract" "$pkgdir/usr/bin" +# cp "eproof" "$pkgdir/usr/bin" +# cp "eproof_ram" "$pkgdir/usr/bin" + cp "eprover" "$pkgdir/usr/bin" +} + +# vim:set ts=2 sw=2 et: |