# Generated by makepkg 6.1.0
# using fakeroot version 1.36
pkgname = yosys
pkgbase = yosys
xdata = pkgtype=pkg
pkgver = 0.43-2.0
pkgdesc = A framework for RTL synthesis
url = https://yosyshq.net/yosys/
builddate = 1725393777
packager = TasosSah <arch32@tasossah.com>
size = 58719492
arch = pentium4
license = custom:ISC
depend = abc
depend = bash
depend = boost-libs
depend = tcl
depend = libffi
depend = python
depend = protobuf
optdepend = graphviz: Schematics display support
optdepend = xdot: Display netlists
optdepend = yices: default solver for yosys-smtbmc
optdepend = cvc4: alternative solver for yosys-smtbmc
optdepend = z3: alternative solver for yosys-smtbmc
makedepend = boost
makedepend = git
