diff options
Diffstat (limited to 'profiles/desc')
| -rw-r--r-- | profiles/desc/ada_target.desc | 8 |
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 + |