genode/repos/libports/ports/ada-runtime.port
Christian Helmuth a5d0f6a2af ada: fix ada-runtime-alis for current changes
Note, this also adapts the spark depot recipe to preserve source-file
time stamps.
2019-02-28 11:34:07 +01:00

16 lines
563 B
Plaintext

LICENSE := AGPLv3 + GCC runtime library exception
VERSION := 0
DOWNLOADS := ada-runtime.git ada-runtime-alis.git
URL(ada-runtime) := https://github.com/Componolit/ada-runtime.git
REV(ada-runtime) := 116876e3bd7125f4e7804e692c56f60be265ca79
DIR(ada-runtime) := ada-runtime
URL(ada-runtime-alis) := https://github.com/Componolit/ada-runtime-alis.git
REV(ada-runtime-alis) := cf9d8b99c783c080f8be9b39761f80469622b5c6
DIR(ada-runtime-alis) := ada-runtime-alis
PATCHES := src/lib/ada-runtime/ada-runtime-alis.patch
PATCH_OPT := -p1 -d ${DIR(ada-runtime-alis)}