# Template file for 'yosys'
pkgname=yosys
version=0.47
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 yosys-abc"
short_desc="Verilog RTL Synthesis Suite"
maintainer="Orphaned <orphan@voidlinux.org>"
license="ISC, MIT"
homepage="https://yosyshq.net/yosys/"
distfiles="https://github.com/YosysHQ/yosys/releases/download/${version}/yosys.tar.gz"
checksum=76038d3de2768567007e7c31995b17c888c16da1cf571d8a24b4c524d3eddfdf

post_patch() {
	vsed -i \
		-e 's,-I[$](PREFIX)/include,,' \
		-e '/^CXX = g++/d' \
		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
	vlicense libs/cxxopts/LICENSE
}
