Josef Söntgen
cb531e4cf9
libports: update ada-runtime .ali files for GCC 12
...
Fixes #4880
2023-05-30 12:03:30 +02:00
Martin Stein
f8b2fd522b
ports/ada-runtime: update to support gcc 10
...
Fixes #4128
2021-05-28 14:15:26 +02:00
Martin Stein
955afd8837
ada runtime: support image of enums
...
Ref #3937
2020-11-27 09:19:09 +01:00
Martin Stein
2e3b11b354
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-08-25 11:50:09 +02:00
Johannes Kliemann
1bdd18a196
ada-runtime: update to 1.1
2019-08-21 13:25:25 +02:00
Johannes Kliemann
b55358c535
ada-runtime: fix exception handling on ARM
...
ref #3395
2019-06-13 12:22:49 +02:00
Johannes Kliemann
35b1440c97
ada-runtime: update to GCC 8.3.0
...
ref #3362
fixes #3371
2019-05-27 14:52:53 +02:00
Christian Prochaska
b4649d84ee
ada-runtime: adjustments for Genode tool chain 19.05
...
Issue #3307
2019-05-27 14:52:52 +02:00
Alexander Senier
a58fcc3b1e
Update runtime ALIs
2019-03-18 15:56:23 +01:00
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
Johannes Kliemann
fa5de776a6
ada: add arit64 to runtime
2019-02-28 11:34:06 +01:00
Alexander Senier
f30a82d599
ada: provide runtime symbols for elaboration code
2019-02-28 11:32:53 +01:00
Alexander Senier
5ccae43552
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-02-19 11:08:17 +01:00
Alexander Senier
14cd115c82
Support GNAT.IO in Ada programs
2019-01-14 12:21:10 +01:00
Johannes Kliemann
eb7c367e25
ada: replace local runtime implementation with port
...
Fixes #3044
2018-11-27 11:36:36 +01:00
