diff options
| author | Brent Carmer | 2015-08-11 10:41:26 -0700 |
|---|---|---|
| committer | Brent Carmer | 2015-08-11 10:41:26 -0700 |
| commit | d430ce046a0855496acee47ecdc1a1871a2bfbae (patch) | |
| tree | 7a2774ba494162beaa1d057c97927f8440c44758 | |
| download | aur-d430ce046a0855496acee47ecdc1a1871a2bfbae.tar.gz | |
Initial commit
| -rw-r--r-- | .SRCINFO | 14 | ||||
| -rw-r--r-- | PKGBUILD | 39 |
2 files changed, 53 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..67bd979762b1 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = yices + pkgdesc = An automatic theorem prover + pkgver = 2.4.1 + pkgrel = 1 + url = http://yices.csl.sri.com/ + arch = i686 + arch = x86_64 + license = custom + conflicts = yices-bin + source = http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file=yices-2.4.1-src.tar.gz&accept=I+Agree + sha512sums = 0398535a4bf8940cf10ed78873fffa6f177e6e20fcdffd5efea7ab40775efba0577951e63c42df6a28f7dae41c2ac9d970fd80bd8c0fe3286af7427068cd92be + +pkgname = yices + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..ca6a7a7c6051 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,39 @@ + +# Contributor: Brent Carmer + +pkgname=yices +pkgver=2.4.1 +pkgrel=1 +pkgdesc="An automatic theorem prover" +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 + #cd "$srcdir/yices-$pkgver/" + #install -D bin/yices "$pkgdir"/usr/bin/yices + install -m644 -D LICENSE "$pkgdir"/usr/share/licenses/$pkgname/LICENSE + + #install -D include/yices.h "$pkgdir"/usr/include/yices.h + #install -D include/yices_exit_codes.h "$pkgdir"/usr/include/yices_exit_codes.h + #install -D include/yices_limits.h "$pkgdir"/usr/include/yices_limits.h + #install -D include/yices_types.h "$pkgdir"/usr/include/yices_types.h + #install -m644 -D lib/libyices.so.$pkgver "$pkgdir"/usr/lib/libyices.so.$pkgver +} |