File PKGBUILD of Package yosys

pkgname=yosys
pkgver_base=0.45+139
pkgver=${pkgver_base}_c4m
pkgrel=1
pkgdesc="Yosys Open SYnthesis Suite"
arch=('i686' 'x86_64')
url="https://github.com/YosysHQ/yosys"
license=('ISC')
groups=('chips4makers')
depends=(tcl readline libffi)
makedepends=(flex 'bison>=3.0' 'python>=3.0')
source=(yosys.tar.xz)
md5sums=('SKIP')

build() {
  msg "Building yosys ..."
  cd "${srcdir}"/yosys
  cat > Makefile.conf <<EOF
CONFIG := gcc
ENABLE_LIBYOSYS := 1
PREFIX := /usr
EOF
  make
}

package() {
  msg "Installing yosys ..."
  cd "${srcdir}"/yosys
  make install DESTDIR="${pkgdir}"
}