[arch-commits] Commit in yices/trunk (PKGBUILD)
Felix Yan
felixonmars at archlinux.org
Thu Dec 17 21:52:42 UTC 2020
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
}
More information about the arch-commits
mailing list