blob: f038657e73f062f98ab580ede0c03a2082110628 (
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
|
# Contributor: Brent Carmer
pkgname=yices
pkgver=2.4.1
pkgrel=1
pkgdesc="An automatic theorem prover - compile from source"
arch=('i686' 'x86_64')
url="http://yices.csl.sri.com/"
license=('custom')
conflicts=('yices-bin')
builddepends=(
'gcc>=4.0.0'
'gperf>=3.0.0'
'gmp>=4.1.0'
'make'
)
source=("http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file=yices-$pkgver-src.tar.gz&accept=I+Agree")
sha512sums=('0398535a4bf8940cf10ed78873fffa6f177e6e20fcdffd5efea7ab40775efba0577951e63c42df6a28f7dae41c2ac9d970fd80bd8c0fe3286af7427068cd92be')
build() {
cd $srcdir/$pkgname-$pkgver
./configure --prefix=/usr
make
}
package() {
cd $srcdir/$pkgname-$pkgver
make DESTDIR="$pkgdir/" install
install -m644 -D LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE
}
|