[gps-devel] GPS compilation with gnat 3.15p

[Alexis Muller]

--=-GbJFwUX7nfCSRVz2cko8
Content-Type: text/plain
Content-Transfer-Encoding: quoted-printable

Hello,

I'm trying to build gps from it's sources with gnat 3.15p, but i get a
"GNAT BUG DETECTED" !

I have put the complete error message in attachment.

Is it a real bug or a configuration problem ?

(I use gnat 3.15p on Linux)

--=20
Alexis Muller
Laboratoire d'Informatique Fondamentale de Lille (LIFL)
Universite de Lille 1 - 59655 Villeneuve d'Ascq Cedex
Email :  Alexis.Muller@lifl.fr - Web : http://www.lifl.fr/~mullera

--=-GbJFwUX7nfCSRVz2cko8
Content-Type: application/pgp-signature; name=signature.asc
Content-Description: Ceci est une partie de message
	=?ISO-8859-1?Q?num=E9riquement?= =?ISO-8859-1?Q?_sign=E9e?=

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.2 (GNU/Linux)

iD8DBQA/FrXwfdvhG+eCpHYRAquzAKCBB6gOls3mm5fYBbVo931TxmRDMQCgrTvZ
IyTF28hm2OU5ZdvSRZfXUr8=
=lcF1
-----END PGP SIGNATURE-----

--=-GbJFwUX7nfCSRVz2cko8--