%FILENAME%
yosys-0.54-3-armv7h.pkg.tar.xz

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.54-3

%DESC%
A framework for RTL synthesis

%CSIZE%
22443412

%ISIZE%
101065458

%SHA256SUM%
d4888770c500a047a759d3f372321c895441ab4e29075825a4d908c8f0706102

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

%LICENSE%
custom:ISC

%ARCH%
armv7h

%BUILDDATE%
1768295535

%PACKAGER%
Arch Linux ARM Build System <builder+xu2@archlinuxarm.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
gtkwave

