Date: Thursday, August 11, 2022 @ 09:02:24 Author: felixonmars Revision: 1265213
upgpkg: yosys 0.12-7: add optdepends on smt solvers (FS#62064) Modified: yosys/trunk/PKGBUILD ----------+ PKGBUILD | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2022-08-11 08:53:21 UTC (rev 1265212) +++ PKGBUILD 2022-08-11 09:02:24 UTC (rev 1265213) @@ -4,7 +4,7 @@ pkgname=yosys pkgver=0.12 -pkgrel=6 +pkgrel=7 pkgdesc='A framework for RTL synthesis' arch=('x86_64') url='http://www.clifford.at/yosys/' @@ -13,7 +13,10 @@ makedepends=('boost') checkdepends=('iverilog') optdepends=('graphviz: Schematics display support' - 'xdot: Display netlists') + 'xdot: Display netlists' + 'yices: default solver for yosys-smtbmc' + 'cvc4: alternative solver for yosys-smtbmc' + 'z3: alternative solver for yosys-smtbmc') options=('!lto') # getting SIGSEGV when running the tests with LTO source=("https://github.com/cliffordwolf/yosys/archive/$pkgname-$pkgver.tar.gz") sha512sums=('df91ea75ae08c7c7e134cfa6284c4e9349e6f85f2df32e4710a571176d5e1a334a6e1e77d52bf573686d33b405559e40af1a8d42cbd4e1f95f0e3b4e212e0b06')