genode/repos/base-fiasco/ports/fiasco.port

14 lines
438 B
Plaintext
Raw Normal View History

LICENSE := GPLv2
VERSION := 1.0
DOWNLOADS := fiasco.archive
URL(fiasco) := https://genode.org/files/fiasco.tar.bz2
SHA(fiasco) := b5737901001e6ab09adecf03914c0a7e04f03a2d561e9b2c7a12f3c92edc7dd0
DIR(fiasco) := src/kernel/fiasco
PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
PATCH_OPT := -p0 -d src/kernel/fiasco
$(call check_tool,wget)
$(call check_tool,patch)
$(call check_tool,tar)
$(call check_tool,byacc)