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) := 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
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: add arit64 to runtime 2019-02-25 15:44:45 +00:00			`REV(ada-runtime) := 116876e3bd7125f4e7804e692c56f60be265ca79`
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`