genode/repos/libports/ports/ada-runtime.port

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) := 2f6b93c6b7b29db2e2d3f20c345f5b9801e82ee9
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
Rename Ada runtime to SPARK runtime The minimal-footprint Ada runtime for implementing library-like functionality in SPARK is now called "spark" runtime. The full Ada runtime for entire components written in Ada and using the libc as glue to the underlying system will move to the world repository as "ada" runtime. Issue #3144 2019-01-29 17:01:47 +00:00			`LICENSE := AGPLv3 + GCC runtime library exception`
ada: replace local runtime implementation with port Fixes #3044 2018-11-15 16:46:33 +00:00			`VERSION := 0`
Rename Ada runtime to SPARK runtime The minimal-footprint Ada runtime for implementing library-like functionality in SPARK is now called "spark" runtime. The full Ada runtime for entire components written in Ada and using the libc as glue to the underlying system will move to the world repository as "ada" runtime. Issue #3144 2019-01-29 17:01:47 +00:00			`DOWNLOADS := ada-runtime.git ada-runtime-alis.git`
ada: replace local runtime implementation with port Fixes #3044 2018-11-15 16:46:33 +00:00
			`URL(ada-runtime) := https://github.com/Componolit/ada-runtime.git`
ada: provide runtime symbols for elaboration code 2019-02-25 11:39:37 +00:00			`REV(ada-runtime) := 2f6b93c6b7b29db2e2d3f20c345f5b9801e82ee9`
ada: replace local runtime implementation with port Fixes #3044 2018-11-15 16:46:33 +00:00			`DIR(ada-runtime) := ada-runtime`
Rename Ada runtime to SPARK runtime The minimal-footprint Ada runtime for implementing library-like functionality in SPARK is now called "spark" runtime. The full Ada runtime for entire components written in Ada and using the libc as glue to the underlying system will move to the world repository as "ada" runtime. Issue #3144 2019-01-29 17:01:47 +00:00
			`URL(ada-runtime-alis) := https://github.com/Componolit/ada-runtime-alis.git`
			`REV(ada-runtime-alis) := cf9d8b99c783c080f8be9b39761f80469622b5c6`
			`DIR(ada-runtime-alis) := ada-runtime-alis`