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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.43-2.0

%DESC%
A framework for RTL synthesis

%CSIZE%
12523618

%ISIZE%
58719492

%SHA256SUM%
1089eeddbbcd746d4b91bc49254256e297972eaf7c5ca80e40fcca34c4c4131a

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

%LICENSE%
custom:ISC

%ARCH%
pentium4

%BUILDDATE%
1725393777

%PACKAGER%
TasosSah <arch32@tasossah.com>

%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

