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

[Felix Yan]

    Date: Thursday, December 30, 2021 @ 22:54:10
  Author: felixonmars
Revision: 1089013

archrelease: copy trunk to community-x86_64

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

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

Deleted: PKGBUILD
===================================================================
--- PKGBUILD	2021-12-30 22:54:06 UTC (rev 1089012)
+++ PKGBUILD	2021-12-30 22:54:10 UTC (rev 1089013)
@@ -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=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
-}

Copied: yices/repos/community-x86_64/PKGBUILD (from rev 1089012, yices/trunk/PKGBUILD)
===================================================================
--- PKGBUILD	                        (rev 0)
+++ PKGBUILD	2021-12-30 22:54:10 UTC (rev 1089013)
@@ -0,0 +1,28 @@
+# Maintainer: Felix Yan <felixonmars at archlinux.org>
+# Contributor: Brent Carmer
+# Contributor: Alex J. Malozemoff <amaloz at galois.com>
+
+pkgname=yices
+pkgver=2.6.3
+pkgrel=1
+pkgdesc="The Yices SMT Solver"
+arch=('x86_64')
+url="http://yices.csl.sri.com/"
+license=('GPL')
+depends=('cudd' 'gmp' 'libpoly')
+makedepends=('gperf')
+# Since 2.6.3 sources are not published in http://yices.csl.sri.com/releases/ anymore.
+source=("https://github.com/SRI-CSL/yices2/archive/Yices-$pkgver.tar.gz")
+sha512sums=('6b80a34dde63e11af9695750ba7528b516e34a29af086ba9a50405a9e0d4637af878d6aac866c3ad8fb5eafd56e7af760b8a700e2963b0176c6de70a9ddea809')
+
+build() {
+  cd yices2-Yices-$pkgver
+  autoconf
+  ./configure --prefix=/usr --enable-mcsat
+  make
+}
+
+package() {
+  cd yices2-Yices-$pkgver
+  make DESTDIR="$pkgdir/" install
+}