diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2018-11-17 14:34:41 +0100 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2018-11-17 14:34:41 +0100 |
| commit | edb48c7e8a9d29b3a11a6685e6a92ceeab38270c (patch) | |
| tree | 07413ea0f8d3bf32ab37848cc5c340452260fb73 /dev-ada/gps/metadata.xml | |
| parent | net-ftp/pure-ftpd: stable 1.0.47-r2 for sparc, bug #671282 (diff) | |
| download | gentoo-edb48c7e8a9d29b3a11a6685e6a92ceeab38270c.tar.gz gentoo-edb48c7e8a9d29b3a11a6685e6a92ceeab38270c.tar.bz2 gentoo-edb48c7e8a9d29b3a11a6685e6a92ceeab38270c.zip | |
dev-ada/gps: Only for gnat 2017
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.51, Repoman-2.3.11
Diffstat (limited to 'dev-ada/gps/metadata.xml')
| -rw-r--r-- | dev-ada/gps/metadata.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/dev-ada/gps/metadata.xml b/dev-ada/gps/metadata.xml index eb9ac43cfff3..0657e56673cc 100644 --- a/dev-ada/gps/metadata.xml +++ b/dev-ada/gps/metadata.xml @@ -5,6 +5,11 @@ <email>tupone@gentoo.org</email> <name>Tupone Alfredo</name> </maintainer> + <use> + <flag name="gnat_2016">Compile with dev-lang/gnat-gpl-2016</flag> + <flag name="gnat_2017">Compile with dev-lang/gnat-gpl-2017</flag> + <flag name="gnat_2018">Compile with dev-lang/gnat-gpl-2018</flag> + </use> <longdescription lang="en"> GPS is a lightweight, extensible IDE, intended to develop high-integrity software in Ada and SPARK, with support for C and C++ |