[arch-commits] Commit in (yices yices/repos yices/trunk yices/trunk/PKGBUILD)

[Felix Yan]

    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 <felixonmars at archlinux.org>
+# Contributor: Brent Carmer
+# Contributor: Alex J. Malozemoff <amaloz at 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
+}