summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: f9595bee56082cc57aa07fb4588fe1b57b96fd7c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
# Maintainer: oliver < a t >  first . in-berlin . de

pkgname=eqp
pkgver=09e
pkgrel=1
pkgdesc="Equational Prover (Theorem Prover for First-Order Equational Logic)"
arch=('i686' 'x86_64')
license=('unknown')
source=(http://www.cs.unm.edu/~mccune/old-ftp/eqp-09e.tar.gz)
depends=('glibc')
md5sums=('2bc1c58566a2db961a1903984ce9f934')
url="http://www.cs.unm.edu/~mccune/eqp/"

build() {
cd ${pkgname}-${pkgver}
make eqp
}

package() {
cd ${pkgname}-${pkgver}
install -Dm 755 eqp09e ${pkgdir}/usr/bin/eqp09e         # install to Arch-Linux path
}