gnatcoll_shared.gpr
This is for convenience when working with multiple branches in git:
by changing the value (in a single place) on each branch, we can keep
the build tree for each branch, and avoid extra recompilation when
changing branches. For instance, one can set Object_Dir and Library_Dir
to the following value in gnatcoll_shared.gpr (not checked in):
for Object_Dir use "obj/" & External ("GIT_BRANCH", "");
for Library_Dir use "lib/" & External ("GIT_BRANCH", "");
provided the environment variable GIT_BRANCH is set automatically every
time you change the branch (that's under control of the shell)
git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@160904 936e1b1b-40f2-da11-902a-00137254ae57
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
