[gps-users] Configure error in GPS 4.0.0

[Ludovic Brenta]

Martin Krischik writes:
>> http://ftp.debian.org/debian/pool/main/g/gnat-gps/gnat-gps_2.1.0-8.diff.gz
>
> Pffff. 209K - not bad. I'll have a look.

Most of it is patches that make it possible to compile with GNAT 3.15p
and link dynamically with libgnat-3.15p, instead of the partial copy
of gnat included in the sources.  You can ignore that part.

-- 
Ludovic Brenta.