ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-12 07:24:07 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/libports/ports/ada-runtime.port

12 lines
454 B
Plaintext
Raw Normal View History

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
REV(ada-runtime) := 6e3e054e6de7b8b355d42b6b4107fe9a6ba08142
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: 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-alis) := https://github.com/cnuke/ada-runtime-alis.git
REV(ada-runtime-alis) := c8df42f821cf1ec4c56dd2c6fc5939fcde39a2d5
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
Reference in New Issue Copy Permalink