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

LICENSE     := GPLv2
VERSION     := 1.0
DOWNLOADS   := fiasco.archive
URL(fiasco) := http://downloads.sourceforge.net/project/genode/3rd/3rd_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)
base-fiasco: migrate to new ports mechanism Issue #1082 2014-05-23 10:06:08 +00:00			`LICENSE := GPLv2`
			`VERSION := 1.0`
			`DOWNLOADS := fiasco.archive`
			`URL(fiasco) := http://downloads.sourceforge.net/project/genode/3rd/3rd_fiasco.tar.bz2`
Replace SHA1 hashes of port downloads with SHA256 Now SHA256 has been shown to be an adequate replacement for SHA1, use SHA256 for verifying all port downloads. Ref #2767 2018-05-07 14:45:50 +00:00			`SHA(fiasco) := b5737901001e6ab09adecf03914c0a7e04f03a2d561e9b2c7a12f3c92edc7dd0`
base-fiasco: migrate to new ports mechanism Issue #1082 2014-05-23 10:06:08 +00:00			`DIR(fiasco) := src/kernel/fiasco`
fiasco: gather patch files with sort + wildcard Using $(shell find $(REP_DIR)/patches -name .patch) fails if the current working directory contains .patch files due to shell wildcard expansion before execution. Additionally, the patch list was unstable because it was not sorted resulting in divergent hashes. 2023-05-25 06:11:36 +00:00			`PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))`
base-fiasco: migrate to new ports mechanism Issue #1082 2014-05-23 10:06:08 +00:00			`PATCH_OPT := -p0 -d src/kernel/fiasco`

			`$(call check_tool,wget)`
			`$(call check_tool,patch)`
			`$(call check_tool,tar)`
			`$(call check_tool,byacc)`