mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-30 18:47:01 +00:00
5a97297282
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.
14 lines
469 B
Plaintext
14 lines
469 B
Plaintext
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)
|