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

[Felix Yan]

    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 <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
+}