commit: 05856ec16c73ef11f0f80a073c311083c81908a3 Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> AuthorDate: Thu Aug 29 19:26:52 2019 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Thu Aug 29 19:26:52 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=05856ec1
profiles/use.desc: add gnat_201* Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> profiles/use.desc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/profiles/use.desc b/profiles/use.desc index 88e5e6dd5d2..0ca431225e0 100644 --- a/profiles/use.desc +++ b/profiles/use.desc @@ -106,6 +106,10 @@ gimp - Build a plugin for the GIMP git - Enable git (version control system) support glut - Build an OpenGL plugin using the GLUT library gmp - Add support for dev-libs/gmp (GNU MP library) +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 gnome - Add GNOME support gnome-keyring - Enable support for storing passwords via gnome-keyring gnuplot - Enable support for gnuplot (data and function plotting)
