[gps-users] make under gps

[Ludovic Brenta]

Andr=C3=A9 LAURENS <Andre.Laurens@cnes.fr> writes:

> Hello,
>=20
> It seems that the GPS 'make' (<F4>) command with -s switch (recompile if=
=20
> switches changed) turned on, acts as a kind of 'rebuild all' command, eve=
n=20
> when nothing has changed (neither source code, nor switches). Thus invoki=
ng=20
> 'make' twice, rebuilds all twice.
> It behaves as a 'normal' make when -s switch is turned off.
>=20
> Thanks for information - if any - on this subject

I've observed this with gnatmake 3.15p.  I think this is due to GNAT
not GPS.  Also, the only way to avoid recompiling unless switches
change is to store the compilation switches in the .ali file.  I do
not think GNAT does that.

--=20
Ludovic Brenta.