# Template file for 'sdcc'
pkgname=sdcc
version=4.2.0
revision=1
build_style=gnu-configure
configure_args="--enable-libgc $(vopt_enable nonfree non-free)"
hostmakedepends="automake flex bison gputils texinfo"
makedepends="boost-devel zlib-devel gc-devel"
short_desc="Retargettable ANSI C compiler"
maintainer="Érico Nogueira <ericonr@disroot.org>"
license="GPL-2.0-or-later"
homepage="http://sdcc.sourceforge.net/"
distfiles="${SOURCEFORGE_SITE}/sdcc/${pkgname}-src-${version}.tar.bz2"
checksum=b49bae1d23bcd6057a82c4ffe5613f9cd0cbcfd1e940e9d84c4bfe9df0a8c053
python_version=3
nostrip=yes

build_options="nonfree"

if [ "$XBPS_TARGET_ENDIAN" = "be" ]; then
	broken="code generator internal error"
fi

if [ "$CROSS_BUILD" ]; then
	configure_args+=" --disable-device-lib"
	hostmakedepends+=" sdcc"
fi

post_install() {
	if [ "$CROSS_BUILD" ]; then
		vcopy /usr/share/sdcc usr/share
	fi
}
