%FILENAME%
yosys-0.43-2.0-i486.pkg.tar.zst

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.43-2.0

%DESC%
A framework for RTL synthesis

%CSIZE%
6399264

%ISIZE%
59370820

%SHA256SUM%
335f8f296835b3798ed4c00fbb55d07f380d752111653bce9dd0ffd0f755a8f1

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

%LICENSE%
custom:ISC

%ARCH%
i486

%BUILDDATE%
1725495957

%PACKAGER%
Andreas Baumann <mail@andreasbaumann.cc>

%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

