installed by GtkAda instead. This is so that we can also depend on gnatlib,
which must be independent of GPS but must also depend on GtkAda (and not
on GPS)
This impacted several .gpr files, as well as Makefile.* since Makefile.gtkada
was also removed
(gps/Makefile, gps/Makefile.gps): Change the way we depend on gnatlib, which
is now built with library project files. gps/Makefile is used to indicate
whether we want static (the default) or shared gnatlib libraries.
git-svn-id: svn+ssh://svn.eu/Dev/trunk/gps@113228 936e1b1b-40f2-da11-902a-00137254ae57