Bug#759038: gnat-4.9: gnat1 and libgnatvsn-dev versions differ

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

I tried my proposed patch but reverted it.  The patch did not solve the
problem because the problem was actually simpler; in asis,
A4G.GNAT_Int.Tree_In_With_Version_Check would raise an exception
whenever Gnatvsn.Gnat_Version_String did *not* contain an opening paren
"(".  ASIS did not actually check that the Gnatvsn.Gnat_Version_String
in the compiler (gnat1) was the same as that in libgnatvsn; instead it
would try to compare only the "date" portion of the two strings,
assuming this portion was between a "(" and a "-".  Moreover, this was
an optional check that the various GNAT tools enabled when they didn't
have to.

I fixed the problem in asis and uploaded yesterday.  Therefore, the
actual contents of the Gnatvsn.Gnat_Version_String does not really
matter anymore.

While I would have preferred simplicity and seeing only $(BASEVER), I
made libgnatvsn use $(FULLVER) as well for consistency.

-- 
Ludovic Brenta.