From be5492aec0a02e416cf12a7ad7517900540d9991 Mon Sep 17 00:00:00 2001 From: Nico Huber Date: Tue, 29 Sep 2015 16:41:19 +0200 Subject: Add minimal GNAT run time system (RTS) Add a stripped-down version of libgnat. This is somehow comparable to libgcc but for Ada programs. It's licensed under GPLv3 but with the runtime library exception. So it's totally fine to link it with our GPLv2 code and keep it under GPLv2. Change-Id: Ie6522abf093f0a516b9ae18ddc69131bd721dc0c Signed-off-by: Nico Huber Signed-off-by: Nico Huber Reviewed-on: https://review.coreboot.org/11836 Tested-by: build bot (Jenkins) Reviewed-by: Paul Menzel Reviewed-by: Edward O'Callaghan --- src/lib/gnat/ada.ads | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 src/lib/gnat/ada.ads (limited to 'src/lib/gnat/ada.ads') diff --git a/src/lib/gnat/ada.ads b/src/lib/gnat/ada.ads new file mode 100644 index 0000000000..8c860110f9 --- /dev/null +++ b/src/lib/gnat/ada.ads @@ -0,0 +1,19 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT RUN-TIME COMPONENTS -- +-- -- +-- A D A -- +-- -- +-- S p e c -- +-- -- +-- This specification is derived from the Ada Reference Manual for use with -- +-- GNAT. In accordance with the copyright of that document, you can freely -- +-- copy and modify this specification, provided that if you redistribute a -- +-- modified version, any changes that you have made are clearly indicated. -- +-- -- +------------------------------------------------------------------------------ + +package Ada is + pragma Pure; + +end Ada; -- cgit v1.2.3