Date: Thursday, July 30, 2020 @ 19:54:47 Author: felixonmars Revision: 665968
addpkg: yices 2.6.2-1 (for haskell-what4) Added: yices/ yices/repos/ yices/trunk/ yices/trunk/PKGBUILD ----------+ PKGBUILD | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) Added: yices/trunk/PKGBUILD =================================================================== --- yices/trunk/PKGBUILD (rev 0) +++ yices/trunk/PKGBUILD 2020-07-30 19:54:47 UTC (rev 665968) @@ -0,0 +1,26 @@ +# Maintainer: Felix Yan <[email protected]> +# Contributor: Brent Carmer +# Contributor: Alex J. Malozemoff <[email protected]> + +pkgname=yices +pkgver=2.6.2 +pkgrel=1 +pkgdesc="The Yices SMT Solver" +arch=('x86_64') +url="http://yices.csl.sri.com/"; +license=('GPL') +depends=('gmp') +makedepends=('gperf') +source=("http://yices.csl.sri.com/releases/${pkgver}/yices-${pkgver}-src.tar.gz";) +sha1sums=('5ea0cd1d49fa17eda970480fa3d09fbb2147d694') + +build() { + cd $pkgname-$pkgver + ./configure --prefix=/usr + make +} + +package() { + cd $pkgname-$pkgver + make DESTDIR="$pkgdir/" install +}
