hyperbola_os/genode-dev/genode-dev.install

post_install() {
	echo "Building Tool-Chain for Genode"
	temp=$(uname -m)

	if [[ $temp = "i686" || $temp = "x86_64" ]]; then
		key=x86
	elif [[ $temp = "armv7h" ]]; then
		key=arm
  	else
  		key=aarch64
	fi
	
	cd /usr/local/genode/genode-21.11
	./tool/tool_chain $key SUDO=doas
	./tool/create_builddir $temp
}

post_upgrade() {
	echo "Upgrading isn't recommended for now."
	echo "Please uninstall and install from scratch after backing up your work."
}