PKGNAME=yosys
PKGSEC=electronics
PKGDEP="gcc-runtime tcl python-3 zlib readline libffi"
BUILDDEP="pybind11 cxxheaderparser"
PKGDES="Open-source digital circuit synthesis suite"

MAKE_AFTER="CONFIG=gcc STRIP=: ENABLE_PYOSYS=1 PYOSYS_USE_UV=0"
