Arch Linux installation PKGBUILD for https://github.com/YosysHQ/SymbiYosys

PKGBUILD for SymbiYosys

# Maintainer: promach
_gitname=SymbiYosys
pkgname=${_gitname}-git
pkgver=r114.983f066
pkgrel=1
pkgdesc="SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows"
arch=('x86_64')
url="https://github.com/cliffordwolf/SymbiYosys.git"
license=('GPL')
depends=('yosys')
makedepends=()
source=('git+https://github.com/cliffordwolf/SymbiYosys.git')
md5sums=('SKIP')

pkgver() {
  cd "${_gitname}"
  printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
}

package() {
   cd "${_gitname}"
   make PREFIX=/usr DESTDIR="$pkgdir" install
}