%FILENAME%
yosys-0.64-1.1-x86_64.pkg.tar.zst

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.64-1.1

%DESC%
A framework for RTL synthesis

%CSIZE%
28537671

%ISIZE%
121459693

%SHA256SUM%
ea4e1f22c70f0e2cc0815e3d572e8a1791551705e59808e3b3c72c6ededef2d6

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

%LICENSE%
ISC

%ARCH%
x86_64

%BUILDDATE%
1777034372

%PACKAGER%
ALHP x86-64-v4 <alhp@harting.dev>

%DEPENDS%
abc
bash
glibc
libffi
libgcc
python
protobuf
readline
tcl
zlib
libstdc++

%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
pybind11
python-cxxheaderparser

%CHECKDEPENDS%
gmock
iverilog
gtkwave

