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 <[email protected]>
-# Contributor: Brent Carmer
-# Contributor: Alex J. Malozemoff <[email protected]>
-
-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 <[email protected]>
+# Contributor: Brent Carmer
+# Contributor: Alex J. Malozemoff <[email protected]>
+
+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
+}
