7 Commits

Author	SHA1	Message	Date
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