Re: GNAT FSF

[Stephen Leake <stephen_leake@stephe-leake.org>]

Simon Wright <simon@pushface.org> writes:

> AdaMagica <christ-usch.grein@t-online.de> writes:
>
>> In the past, I only used GNAT CE. Now that no new versions are
>> provided, I'm gonna try to download the FSF version.
>>
>> The newest I found is in https://ftp.gnu.org/gnu/gcc/gcc-12.2.0/
>> gcc-12.2.0.tar.gz.
>
> What you need is alire:
>
> start here:      https://ada-lang.io
> more technical:  https://alire.ada.dev/docs/#introduction

The canonical homepage for alire is https://alire.ada.dev/

The AdaCore CE installer installed core gnatcoll and gnat studio along
with the compiler. gnatcoll is in alire, in several pieces; you'll have
to install each one that you need (Unless you let Alire manage that for
you).

gnat studio is not (yet?) in Alire; installers are here:

https://github.com/AdaCore/gnatstudio/releases

You can either use alire to compile all your projects (recommended in
the long run, but it's not a simple transition), or you can export the
compiler to use it in a "normal" way:

alr toolchain --install gnat_native=12.2.1 --install-dir ~/.local

To export a gnatcoll piece:

cd alire_stuff
alr get gnatcoll_iconv
cd gnatcoll_iconv*

Then read alire.toml to find the main project file (ie *.gpr)

alr exec -- gprinstall -P project.gpr --prefix ~/.local

That does not result in a standard gnat install; the compiler is in
different directories. So you'll need to move some stuff. I hope it's
obvious what needs to be moved. (I don't do this, so I don't have a
complete set of instructions).

Tedious, which is why just using alire is recommended.

On the other hand, it's easy to lose track of just how many components
you are downloading once you get used to Alire (as with auto-downloading
package managers for python, rust, ...).


On my machine, gnat 12 from alire doesn't link on Windows (see
https://github.com/alire-project/GNAT-FSF-builds/issues/43); apparently
it does for some people. So please report back here if this works for
you. I'm currently using Debian in a virtual machine.

-- 
-- Stephe