Felix Yan pushed to branch main at Arch Linux / Packaging / Packages / yices
Commits:
06476a26 by Felix Yan at 2026-03-04T01:56:31+08:00
upgpkg: 2.7.0-1
- - - - -
2 changed files:
- .SRCINFO
- PKGBUILD
Changes:
=====================================
.SRCINFO
=====================================
@@ -1,15 +1,16 @@
pkgbase = yices
pkgdesc = A solver for Satisfiability Modulo Theories (SMT) problems
- pkgver = 2.6.5
+ pkgver = 2.7.0
pkgrel = 1
url = https://yices.csl.sri.com/
arch = x86_64
license = GPL-3.0-or-later
+ makedepends = git
makedepends = gperf
depends = cudd
depends = gmp
depends = libpoly
- source = https://github.com/SRI-CSL/yices2/archive/Yices-2.6.5.tar.gz
- sha512sums =
8f01c6d516f2aa901b30e9248c3df78930e670c8e1a795b1bb112561f4e338e6e11eadfc2e6cbfc089f6593561b5874fbe816be677dd09c0834a01829c5cf490
+ source = git+https://github.com/SRI-CSL/yices2.git#tag=yices-2.7.0
+ sha512sums =
f371b4760a2214ea2f1a40c9b79e51eb2e721fab03d3449ee6842a72b2ada881eb8a58ee247fe29d9816bc70b64224142bc4152ce0ca1d558bf36debc933a0f0
pkgname = yices
=====================================
PKGBUILD
=====================================
@@ -3,30 +3,30 @@
# Contributor: Alex J. Malozemoff <[email protected]>
pkgname=yices
-pkgver=2.6.5
+pkgver=2.7.0
pkgrel=1
pkgdesc="A solver for Satisfiability Modulo Theories (SMT) problems"
arch=('x86_64')
url="https://yices.csl.sri.com/";
license=('GPL-3.0-or-later')
depends=('cudd' 'gmp' 'libpoly')
-makedepends=('gperf')
+makedepends=('git' 'gperf')
# Since 2.6.3 sources are not published in https://yices.csl.sri.com/releases/
anymore.
-source=("https://github.com/SRI-CSL/yices2/archive/Yices-$pkgver.tar.gz";)
-sha512sums=('8f01c6d516f2aa901b30e9248c3df78930e670c8e1a795b1bb112561f4e338e6e11eadfc2e6cbfc089f6593561b5874fbe816be677dd09c0834a01829c5cf490')
+source=("git+https://github.com/SRI-CSL/yices2.git#tag=yices-$pkgver";)
+sha512sums=('f371b4760a2214ea2f1a40c9b79e51eb2e721fab03d3449ee6842a72b2ada881eb8a58ee247fe29d9816bc70b64224142bc4152ce0ca1d558bf36debc933a0f0')
build() {
- cd yices2-Yices-$pkgver
+ cd yices2
autoconf
./configure --prefix=/usr --enable-mcsat
make
}
check() {
- make -C yices2-Yices-$pkgver check
+ make -C yices2 check
}
package() {
- cd yices2-Yices-$pkgver
+ cd yices2
make DESTDIR="$pkgdir/" install
}
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/yices/-/commit/06476a26954f10060943a9f18fc7573ca1b6d82a
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/yices/-/commit/06476a26954f10060943a9f18fc7573ca1b6d82a
You're receiving this email because of your account on gitlab.archlinux.org.
