Date: Saturday, January 1, 2022 @ 22:30:11 Author: felixonmars Revision: 1092028
archrelease: copy trunk to community-x86_64 Added: yices/repos/community-x86_64/PKGBUILD (from rev 1092027, yices/trunk/PKGBUILD) Deleted: yices/repos/community-x86_64/PKGBUILD ----------+ PKGBUILD | 56 ++++++++++++++++++++++++++++---------------------------- 1 file changed, 28 insertions(+), 28 deletions(-) Deleted: PKGBUILD =================================================================== --- PKGBUILD 2022-01-01 22:30:03 UTC (rev 1092027) +++ PKGBUILD 2022-01-01 22:30:11 UTC (rev 1092028) @@ -1,28 +0,0 @@ -# Maintainer: Felix Yan <felixonm...@archlinux.org> -# Contributor: Brent Carmer -# Contributor: Alex J. Malozemoff <ama...@galois.com> - -pkgname=yices -pkgver=2.6.3 -pkgrel=1 -pkgdesc="The Yices SMT Solver" -arch=('x86_64') -url="http://yices.csl.sri.com/" -license=('GPL') -depends=('cudd' 'gmp' 'libpoly') -makedepends=('gperf') -# 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 yices2-Yices-$pkgver - autoconf - ./configure --prefix=/usr --enable-mcsat - make -} - -package() { - cd yices2-Yices-$pkgver - make DESTDIR="$pkgdir/" install -} Copied: yices/repos/community-x86_64/PKGBUILD (from rev 1092027, yices/trunk/PKGBUILD) =================================================================== --- PKGBUILD (rev 0) +++ PKGBUILD 2022-01-01 22:30:11 UTC (rev 1092028) @@ -0,0 +1,28 @@ +# Maintainer: Felix Yan <felixonm...@archlinux.org> +# Contributor: Brent Carmer +# Contributor: Alex J. Malozemoff <ama...@galois.com> + +pkgname=yices +pkgver=2.6.4 +pkgrel=1 +pkgdesc="The Yices SMT Solver" +arch=('x86_64') +url="http://yices.csl.sri.com/" +license=('GPL') +depends=('cudd' 'gmp' 'libpoly') +makedepends=('gperf') +# 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=('d8102c41fda0e200fd1336ae317b516d2797d10c187b8f7aecf0c9b08b4b487b90bef8c358099b2da51c0367326939f9610fd4e6d5a41a392cf1114bd04b8763') + +build() { + cd yices2-Yices-$pkgver + autoconf + ./configure --prefix=/usr --enable-mcsat + make +} + +package() { + cd yices2-Yices-$pkgver + make DESTDIR="$pkgdir/" install +}