ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-05 21:44:12 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
8,409 Commits 2 Branches 70 Tags 87 MiB
ab3efc0a33
Commit Graph

3 Commits

Author SHA1 Message Date
Johannes Kliemann
35b1440c97 ada-runtime: update to GCC 8.3.0 
ref #3362
fixes #3371
 2019-05-27 14:52:53 +02: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
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