summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--profiles/desc/ada_target.desc8
1 files changed, 8 insertions, 0 deletions
diff --git a/profiles/desc/ada_target.desc b/profiles/desc/ada_target.desc
new file mode 100644
index 000000000000..af88195ca134
--- /dev/null
+++ b/profiles/desc/ada_target.desc
@@ -0,0 +1,8 @@
+# Copyright 1999-2018 Gentoo Foundation.
+# Distributed under the terms of the GNU General Public License v2
+
+gnat_2016 - Compile with dev-lang/gnat-gpl-2016
+gnat_2017 - Compile with dev-lang/gnat-gpl-2017
+gnat_2018 - Compile with dev-lang/gnat-gpl-2018
+gnat_2019 - Compile with dev-lang/gnat-gpl-2019
+