pkgbase = genode-toolchain-bin
	pkgdesc = GCC-based toolchain for the genode framework
	pkgver = 23.05
	pkgrel = 1
	url = https://genode.org
	arch = x86_64
	license = GPL3
	makedepends = tar
	depends = make
	depends = ncurses
	depends = ncurses5-compat-libs
	depends = tcl
	depends = expect
	optdepends = byacc
	optdepends = autoconf
	optdepends = bison
	optdepends = flex
	optdepends = git
	optdepends = gperf
	optdepends = subversion
	optdepends = qemu
	optdepends = libxml2
	optdepends = libisoburn
	optdepends = e2tools
	optdepends = libisoburn
	optdepends = autogen
	provides = genode-toolchain
	noextract = genode-toolchain-23.05.tar.xz
	options = !strip
	options = staticlibs
	source = https://downloads.sourceforge.net/project/genode/genode-toolchain/23.05/genode-toolchain-23.05.tar.xz
	sha1sums = 5aa01b05c0f5f69c410b1dc5c334306a64d4fd91

pkgname = genode-toolchain-bin