| 1 |
commit: 05856ec16c73ef11f0f80a073c311083c81908a3 |
| 2 |
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Thu Aug 29 19:26:52 2019 +0000 |
| 4 |
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Thu Aug 29 19:26:52 2019 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=05856ec1 |
| 7 |
|
| 8 |
profiles/use.desc: add gnat_201* |
| 9 |
|
| 10 |
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> |
| 11 |
|
| 12 |
profiles/use.desc | 4 ++++ |
| 13 |
1 file changed, 4 insertions(+) |
| 14 |
|
| 15 |
diff --git a/profiles/use.desc b/profiles/use.desc |
| 16 |
index 88e5e6dd5d2..0ca431225e0 100644 |
| 17 |
--- a/profiles/use.desc |
| 18 |
+++ b/profiles/use.desc |
| 19 |
@@ -106,6 +106,10 @@ gimp - Build a plugin for the GIMP |
| 20 |
git - Enable git (version control system) support |
| 21 |
glut - Build an OpenGL plugin using the GLUT library |
| 22 |
gmp - Add support for dev-libs/gmp (GNU MP library) |
| 23 |
+gnat_2016 - Compile with dev-lang/gnat-gpl-2016 |
| 24 |
+gnat_2017 - Compile with dev-lang/gnat-gpl-2017 |
| 25 |
+gnat_2018 - Compile with dev-lang/gnat-gpl-2018 |
| 26 |
+gnat_2019 - Compile with dev-lang/gnat-gpl-2019 |
| 27 |
gnome - Add GNOME support |
| 28 |
gnome-keyring - Enable support for storing passwords via gnome-keyring |
| 29 |
gnuplot - Enable support for gnuplot (data and function plotting) |
Archives