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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.43-1.0

%DESC%
A framework for RTL synthesis

%CSIZE%
12523696

%ISIZE%
58719492

%SHA256SUM%
2d431e16381bed8ae279657c49c94b5aa472d846046cf8e46eaa5ea87e7b195c

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

%LICENSE%
custom:ISC

%ARCH%
pentium4

%BUILDDATE%
1723600441

%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

