Proposal: distribute FSF SPARK with alr toolchain

alire-project / alire

Command-line tool from the Alire project and supporting library

GNU General Public License v3.0

292 stars 51 forks source link

Proposal: distribute FSF SPARK with alr toolchain #791

Open 1ma opened 3 years ago

1ma commented 3 years ago

FSF SPARK is very difficult to build from source or obtain otherwise. I think it'd be very useful to be able to get it with the new alr toolchain command, just as it is also possible to get a recent gprbuild executable.

Side note: SPARK is actually a bunch of executables: gnatprove, gnat2why, why3, cvc4, z3, alt-ergo and others.

Fabien-Chouteau commented 3 years ago

Hello @1ma,

This does make sens and we already are considering it. On the other hand we might just get a SPARK release from AdaCore.

Note that the same question exists for GNAT Studio.