%FILENAME%
yosys-0.42-1.1-x86_64.pkg.tar.zst

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.42-1.1

%DESC%
A framework for RTL synthesis

%CSIZE%
7100600

%ISIZE%
57990426

%SHA256SUM%
ae8a7c15e6c9c8216b658615c38bf60dc9cb6d1e60b419e7aa619ad7d9f5ae17

%URL%
https://yosyshq.net/yosys/

%LICENSE%
custom:ISC

%ARCH%
x86_64

%BUILDDATE%
1718067238

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
abc
bash
boost-libs
tcl
libffi
python
protobuf

%OPTDEPENDS%
graphviz: Schematics display support
xdot: Display netlists
yices: default solver for yosys-smtbmc
cvc4: alternative solver for yosys-smtbmc
z3: alternative solver for yosys-smtbmc

%MAKEDEPENDS%
boost
git

%CHECKDEPENDS%
iverilog

