diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2019-05-30 08:58:57 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2019-05-30 08:58:57 +0200 |
| commit | 255116e954adbb1d82024199c8f491b1f4bafa94 (patch) | |
| tree | 6eb0466d2369333018671eb9886dd9d14a4c6bee /dev-ada/gprbuild/metadata.xml | |
| parent | net-misc/kafka-bin: Remove old (diff) | |
| download | gentoo-255116e954adbb1d82024199c8f491b1f4bafa94.tar.gz gentoo-255116e954adbb1d82024199c8f491b1f4bafa94.tar.bz2 gentoo-255116e954adbb1d82024199c8f491b1f4bafa94.zip | |
dev-ada/gprbuild: Enable compilation with gnat-gpl-2019
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.62, Repoman-2.3.11
Diffstat (limited to 'dev-ada/gprbuild/metadata.xml')
| -rw-r--r-- | dev-ada/gprbuild/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dev-ada/gprbuild/metadata.xml b/dev-ada/gprbuild/metadata.xml index 5a1bc58bccd3..655a849b520f 100644 --- a/dev-ada/gprbuild/metadata.xml +++ b/dev-ada/gprbuild/metadata.xml @@ -9,6 +9,7 @@ <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> + <flag name="gnat_2019">Compile with dev-lang/gnat-gpl-2019</flag> </use> <longdescription lang="en"> GPRbuild is an advanced software tool designed to help automate the |