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

[Felix Yan]

    Date: Thursday, December 30, 2021 @ 22:54:01
  Author: felixonmars
Revision: 1089011

upgpkg: yices 2.6.3-1

Modified:
  yices/trunk/PKGBUILD

----------+
 PKGBUILD |   14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2021-12-30 22:53:08 UTC (rev 1089010)
+++ PKGBUILD	2021-12-30 22:54:01 UTC (rev 1089011)
@@ -3,8 +3,8 @@
 # Contributor: Alex J. Malozemoff <amaloz at galois.com>
 
 pkgname=yices
-pkgver=2.6.2
-pkgrel=2
+pkgver=2.6.3
+pkgrel=1
 pkgdesc="The Yices SMT Solver"
 arch=('x86_64')
 url="http://yices.csl.sri.com/"
@@ -11,16 +11,18 @@
 license=('GPL')
 depends=('cudd' 'gmp' 'libpoly')
 makedepends=('gperf')
-source=("http://yices.csl.sri.com/releases/${pkgver}/yices-${pkgver}-src.tar.gz")
-sha1sums=('5ea0cd1d49fa17eda970480fa3d09fbb2147d694')
+# 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 $pkgname-$pkgver
+  cd yices2-Yices-$pkgver
+  autoconf
   ./configure --prefix=/usr --enable-mcsat
   make
 }
 
 package() {
-  cd $pkgname-$pkgver
+  cd yices2-Yices-$pkgver
   make DESTDIR="$pkgdir/" install
 }