blob: b31c8a62a6091dfae8428ddcf22cdcffd57a415d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
# Maintainer: Mort Yao <soi@mort.ninja>
# Submitter: Max de Bayser <maxdebayser@gmail.com>
pkgname=prover9
pkgver=2009.11A
pkgrel=3
pkgdesc="Prover9 is an automated theorem prover for first-order and equational logic"
arch=('i686' 'x86_64')
url="http://www.cs.unm.edu/~mccune/prover9/"
license=('GPL')
makedepends=('gcc' 'make')
provides=('mace4' 'ladr')
source=(http://www.cs.unm.edu/~mccune/prover9/download/LADR-${pkgver/./-}.tar.gz)
md5sums=('ab409f31ecbb4410b1c7d75deadea2c6')
build() {
cd "$srcdir/LADR-${pkgver/./-}"
make all -j1
}
package() {
cd "$srcdir/LADR-${pkgver/./-}"
mkdir -p "${pkgdir}/usr/bin"
mkdir -p "${pkgdir}/usr/lib"
mkdir -p "${pkgdir}/usr/share/man/man1"
install bin/* "${pkgdir}/usr/bin"
install "ladr/libladr.a" "${pkgdir}/usr/lib"
install "mace4.src/libmace4.a" "${pkgdir}/usr/lib"
install manpages/* "${pkgdir}/usr/share/man/man1"
}
|