[gps-users] Problem starting ACT's binary of GPS 1.4.0 on Debian GNU/Linux

[Ludovic Brenta]

Arnaud Charlet <charlet@ACT-Europe.FR> writes:

> >         libgtkada-2.2.so.1 => /usr/lib/libgtkada-2.2.so.1 (0x40023000)
> >         libgnat-3.15p.so.1 => /usr/lib/libgnat-3.15p.so.1 (0x4084c000)
> >         [other libraries omitted]
> 
> You're pointing gps_exe to the wrong libgtkada.so, you need to use the one
> that comes in lib/ if you want to use the precompiled binary.

Thanks for your reply.  I did not have libgtkada-2.2.so.1 from the
archive.  With your reply I got suspicious and found out that I had
CRC errors when untarring the downloaded archive.  I re-downloaded and
now I have the library, and GPS works.

To prevent this from happening in the future, can I ask that you place
MD5 sums of downloadable files on the web site?  I always check them
when they're available (e.g. with OpenOffice; Debian and RPM-based
distributions do this automatically).  To get started, here are the
MD5 sums of the files I downloaded:

91dac8a68a2fa50dc39cc2762288d41f  gps-1.4.0-academic-src.tgz
28de3107f68d765760f6f6c247d11f18  gps-1.4.0-academic-x86-linux.tgz

To produce this:

$ md5sum gps-1.4.0* > md5sums

To check the MD5 sums against downloaded files:

$ md5sum -c md5sums

Still, my earlier question about the name mangling remains.  Is this
due to using different versions of GNAT to produce the binaries?

-- 
Ludovic Brenta.