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/m-stein/ada-runtime.git
REV(ada-runtime) := c3e46dbb46a088cc305addee4556062c7624eb90
DIR(ada-runtime) := ada-runtime

URL(ada-runtime-alis) := https://github.com/m-stein/ada-runtime-alis.git
REV(ada-runtime-alis) := de89be3a0eba9ee46ef870b234d1234b84c0beb0
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 18:01:47 +01:00			`LICENSE := AGPLv3 + GCC runtime library exception`
ada: replace local runtime implementation with port Fixes #3044 2018-11-15 17:46:33 +01: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 18:01:47 +01:00			`DOWNLOADS := ada-runtime.git ada-runtime-alis.git`
ada: replace local runtime implementation with port Fixes #3044 2018-11-15 17:46:33 +01:00
ada-runtime: add s-expint.ad* * switch to fork of the Ada runtime provided by m-stein * switch to a Ada-runtime state that provides the Exp_Int package (exponential function on integers) * adapt spark lib, symbols, and recipes to incorporate the Exp_Int package Fixes #3848 2020-05-19 12:15:06 +02:00			`URL(ada-runtime) := https://github.com/m-stein/ada-runtime.git`
ada runtime: support image of enums Ref #3937 2020-11-23 18:14:37 +01:00			`REV(ada-runtime) := c3e46dbb46a088cc305addee4556062c7624eb90`
ada: replace local runtime implementation with port Fixes #3044 2018-11-15 17:46:33 +01: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 18:01:47 +01:00
ada runtime: support image of enums Ref #3937 2020-11-23 18:14:37 +01:00			`URL(ada-runtime-alis) := https://github.com/m-stein/ada-runtime-alis.git`
ports/ada-runtime: update to support gcc 10 Fixes #4128 2021-05-05 15:34:07 +02:00			`REV(ada-runtime-alis) := de89be3a0eba9ee46ef870b234d1234b84c0beb0`
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 18:01:47 +01:00			`DIR(ada-runtime-alis) := ada-runtime-alis`