mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-06 00:48:18 -07:00
profiles/use.desc: add gnat_201*
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
@@ -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)
|
||||
|
||||
Reference in New Issue
Block a user