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

LICENSE   := OKL4
VERSION   := 2.1.1
DOWNLOADS := okl4.archive

URL(okl4) := https://genode.org/files/okl4_2.1.1-patch.9.tar.gz
SHA(okl4) := 9c5bc4f80c22c214ec6a11f46e4acdffc4a541e10c5c96858926431fe8f3823e
DIR(okl4) := src/kernel/okl4

PATCHES   := $(sort $(wildcard $(REP_DIR)/patches/*.patch))
PATCH_OPT := -p1 -d src/kernel/okl4
base-okl4: migrate to new ports mechanism Issue #1082 2014-05-17 00:34:46 +02:00			`LICENSE := OKL4`
			`VERSION := 2.1.1`
			`DOWNLOADS := okl4.archive`

Adapt ports that moved away from googlecode 2016-08-26 12:28:30 +02:00			`URL(okl4) := https://genode.org/files/okl4_2.1.1-patch.9.tar.gz`
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 16:45:50 +02:00			`SHA(okl4) := 9c5bc4f80c22c214ec6a11f46e4acdffc4a541e10c5c96858926431fe8f3823e`
base-okl4: migrate to new ports mechanism Issue #1082 2014-05-17 00:34:46 +02:00			`DIR(okl4) := src/kernel/okl4`

okl4: apply patches in deterministic order 2017-08-30 12:21:45 +02:00			`PATCHES := $(sort $(wildcard $(REP_DIR)/patches/*.patch))`
base-okl4: migrate to new ports mechanism Issue #1082 2014-05-17 00:34:46 +02:00			`PATCH_OPT := -p1 -d src/kernel/okl4`