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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.43-1.0

%DESC%
A framework for RTL synthesis

%CSIZE%
6399375

%ISIZE%
59370820

%SHA256SUM%
846072d867ca4b189fcb4a798807651ab5959e84facab7e455e761f638ee11f1

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

%LICENSE%
custom:ISC

%ARCH%
i486

%BUILDDATE%
1724009826

%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

