otter/PKGBUILD

   1 # Maintainer: Peter Lewis <pete@muddygoat.org>
   2 # Contributor: Schnouki <thomas.jost@gmail.com>
   3
   4 pkgname=otter
   5 pkgver=3.3f
   6 pkgrel=2
   7 pkgdesc="Otter is an automated theorem prover for first-order and equational logic, and Mace2 searches for finite models and counterexamples."
   8 url="http://www.cs.unm.edu/~mccune/otter/"
   9 license="custom:otter"
  10 depends=()
  11 arch=('i686' 'x86_64')
  12 source=("http://www.cs.unm.edu/~mccune/$pkgname/$pkgname-$pkgver.tar.gz")
  13 md5sums=('795711b307cc1316e08d3d4f46c998c9')
  14
  15 build() {
  16   cd "$srcdir/$pkgname-$pkgver"
  17
  18   make all
  19 }
  20
  21 package() {
  22   cd "$srcdir/$pkgname-$pkgver"
  23
  24   # Copy license file
  25   install -Dm 644 Legal "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
  26
  27   # Don't use "make install" which needs csh
  28   cd bin
  29   for f in *; do
  30     install -Dm 755 "$f" "$pkgdir/usr/bin/$f"
  31   done
  32 }