Re: fyi, GNAT and SPARK GPL 2016 are out

[ogpual@gmail.com]

On Saturday, June 4, 2016 at 2:49:07 PM UTC-7, Simon Wright wrote:
> ogpual@gmail.com writes:
> 
> > Can anyone explain why my Ocaml builds started failing when I
> > installed this new gnat release on linux mint?
> 
> Not specifically, but if you could say some more about the errors you
> see when the builds fail it might help.
> 
> Also,
>   where have you installed GNAT?
>   what is your PATH? (and what used it to be before the GNAT install?)

The Ocaml opam install would fail with a shared library not found:  

/usr/gnat/bin/../libexec/gcc/x86_64-pc-linux-gnu/4.9.4/ld: cannot find libncurses.so.5

The ld on my path actually was /usr/bin/ld, but for some reason the one shown above was getting used.  I had inserted /usr/gnat/bin/ near the front of my path to get the new gnat release to run, and the gcc on my path was /usr/gnat/bin/gcc.


With gnat on my path after the standard binutils,  I get this from gprbuild:

Error: no native compiler found for language 'ada', default runtime