# Template file for 'yosys' pkgname=yosys # Remember to correct _gitrev on updating _gitrev=cc31c6e version=0.36 revision=1 build_style=gnu-makefile make_use_env=yes hostmakedepends="python3 bison flex pkg-config tcl" makedepends="tcl-devel readline-devel libffi-devel zlib-devel" depends="graphviz xdot berkeley-abc" short_desc="Verilog RTL Synthesis Suite" maintainer="Orphaned " license="ISC, MIT" homepage="https://yosyshq.net/yosys/" distfiles="https://github.com/cliffordwolf/yosys/archive/yosys-${version}.tar.gz" checksum=d69beedcb76db80681c2a0f445046311f3ba16716d5d0c3c5034dabcb6bd9b23 post_patch() { vsed -i -e 's,-I[$](PREFIX)/include,,' \ -e '/CXX = gcc/d' \ -e '/LD = gcc/d' \ -e "s/^GIT_REV :=.*/GIT_REV := $_gitrev/" \ Makefile } do_configure() { cat <<-EOF >Makefile.conf ABCEXTERNAL := abc CONFIG := gcc LD := $CC PREFIX := /usr PRETTY := 0 TCL_INCLUDE := $XBPS_CROSS_BASE/usr/include EOF } post_install() { vlicense COPYING vlicense libs/minisat/LICENSE }