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

[Felix Yan]

    Date: Thursday, December 17, 2020 @ 21:52:53
  Author: felixonmars
Revision: 778159

archrelease: copy trunk to community-x86_64

Added:
  yices/repos/community-x86_64/PKGBUILD
    (from rev 778158, yices/trunk/PKGBUILD)
Deleted:
  yices/repos/community-x86_64/PKGBUILD

----------+
 PKGBUILD |   52 ++++++++++++++++++++++++++--------------------------
 1 file changed, 26 insertions(+), 26 deletions(-)

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2020-12-17 21:52:42 UTC (rev 778158)
+++ PKGBUILD	2020-12-17 21:52:53 UTC (rev 778159)
@@ -1,26 +0,0 @@
-# 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
-}

Copied: yices/repos/community-x86_64/PKGBUILD (from rev 778158, yices/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2020-12-17 21:52:53 UTC (rev 778159)
@@ -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=2
+pkgdesc="The Yices SMT Solver"
+arch=('x86_64')
+url="http://yices.csl.sri.com/"
+license=('GPL')
+depends=('cudd' 'gmp' 'libpoly')
+makedepends=('gperf')
+source=("http://yices.csl.sri.com/releases/${pkgver}/yices-${pkgver}-src.tar.gz")
+sha1sums=('5ea0cd1d49fa17eda970480fa3d09fbb2147d694')
+
+build() {
+  cd $pkgname-$pkgver
+  ./configure --prefix=/usr --enable-mcsat
+  make
+}
+
+package() {
+  cd $pkgname-$pkgver
+  make DESTDIR="$pkgdir/" install
+}