hyperbola_os/genode-dev/PKGBUILD

# Maintainer: Sagar Acharya <sagaracharya@tutanota.com>

pkgname=genode-dev
pkgbasename=genode
pkgver=21.11
pkgrel=1
pkgdesc='This package up a development environment for Genode OS framework'
arch=('i686' 'x86_64')
url='https://github.com/genodelabs/genode'
license=('AGPL-3')
depends=('sdl2' 'tcl' 'expect' 'qemu' 'libxml2' 'libisoburn' 'gptfdisk' 'e2tools' 'autogen' 'gcc-ada')
makedepends=('make')
optdepends=('byacc' 'autoconf' 'bison' 'flex' 'git' 'gperf' 'subversion' 'gcc') #'xsltproc'
install=${pkgname}.install
source=("https://github.com/genodelabs/genode/archive/refs/tags/${pkgver}.tar.gz" "${pkgname}.install")
sha512sums=('8688ce9725b0289237ff239a38e150c9b6968f6b94e405697d010399bbf46ac39050ca4433559ac3ca7a9a9b2352aba63be28562533de0187f38d359aae08bbb'
			'93cb11ae5100d3bd855722c63ecbf2da10f9571f9fe30eab8f0e726d1c5530432facb0c397ce83797b18ef10f393ed90eb16598345bf1c4dd74db016087c5f60')

package() {
	install -m644 -D "$srcdir/$pkgbasename-$pkgver/LICENSE" -t "$pkgdir/usr/share/licenses/$pkgname"
	mkdir -p $pkgdir/usr/local/$pkgbasename
	cp -r "${srcdir}/$pkgbasename-$pkgver" "$pkgdir/usr/local/$pkgbasename/"
}