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

[Felix Yan]

    Date: Thursday, December 17, 2020 @ 21:52:42
  Author: felixonmars
Revision: 778158

upgpkg: yices 2.6.2-2: enable support for Non-Linear Arithmetic and MC-SAT (FS#68010)

Modified:
  yices/trunk/PKGBUILD

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

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2020-12-17 21:52:28 UTC (rev 778157)
+++ PKGBUILD	2020-12-17 21:52:42 UTC (rev 778158)
@@ -4,12 +4,12 @@
 
 pkgname=yices
 pkgver=2.6.2
-pkgrel=1
+pkgrel=2
 pkgdesc="The Yices SMT Solver"
 arch=('x86_64')
 url="http://yices.csl.sri.com/"
 license=('GPL')
-depends=('gmp')
+depends=('cudd' 'gmp' 'libpoly')
 makedepends=('gperf')
 source=("http://yices.csl.sri.com/releases/${pkgver}/yices-${pkgver}-src.tar.gz")
 sha1sums=('5ea0cd1d49fa17eda970480fa3d09fbb2147d694')
@@ -16,7 +16,7 @@
 
 build() {
   cd $pkgname-$pkgver
-  ./configure --prefix=/usr
+  ./configure --prefix=/usr --enable-mcsat
   make
 }