Date: Thursday, July 30, 2020 @ 19:55:01 Author: felixonmars Revision: 665969
archrelease: copy trunk to community-x86_64 Added: yices/repos/community-x86_64/ yices/repos/community-x86_64/PKGBUILD (from rev 665968, yices/trunk/PKGBUILD) ----------+ PKGBUILD | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) Copied: yices/repos/community-x86_64/PKGBUILD (from rev 665968, yices/trunk/PKGBUILD) =================================================================== --- community-x86_64/PKGBUILD (rev 0) +++ community-x86_64/PKGBUILD 2020-07-30 19:55:01 UTC (rev 665969) @@ -0,0 +1,26 @@ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Contributor: Brent Carmer +# Contributor: Alex J. Malozemoff <ama...@galois.com> + +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 +}