summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2019-08-29 21:26:52 +0200
committerTupone Alfredo <tupone@gentoo.org>2019-08-29 21:26:52 +0200
commit05856ec16c73ef11f0f80a073c311083c81908a3 (patch)
tree9af28f6898f212cc3a5d89b4011e6c1295dc3603
parentsys-cluster/nova: remove custom python-install (diff)
downloadgentoo-05856ec16c73ef11f0f80a073c311083c81908a3.tar.gz
gentoo-05856ec16c73ef11f0f80a073c311083c81908a3.tar.bz2
gentoo-05856ec16c73ef11f0f80a073c311083c81908a3.zip
profiles/use.desc: add gnat_201*
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
-rw-r--r--profiles/use.desc4
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/use.desc b/profiles/use.desc
index 88e5e6dd5d29..0ca431225e04 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)