# Generated by makepkg 7.1.0
# using fakeroot version 1.37.2
pkgname = yosys
pkgbase = yosys
xdata = pkgtype=pkg
pkgver = 0.64-1
pkgdesc = A framework for RTL synthesis
url = https://yosyshq.net/yosys/
builddate = 1777024711
packager = Felix Yan <felixonmars@archlinux.org>
size = 117982201
arch = x86_64
license = ISC
depend = abc
depend = bash
depend = glibc
depend = libffi
depend = libgcc
depend = python
depend = protobuf
depend = readline
depend = tcl
depend = zlib
depend = libstdc++
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
makedepend = pybind11
makedepend = python-cxxheaderparser
checkdepend = gmock
checkdepend = iverilog
checkdepend = gtkwave
