search

alire-project / GNAT-FSF-builds

Builds of the GNAT Ada compiler from FSF GCC releases
MIT License
32 stars 9 forks source link

Wrong gnatprove --version #44

Open reet- opened 1 year ago

reet- commented 1 year ago

I'm using gnatprove_12.1.1_e1e1ce47, which display the following version:

$ gnatprove --version
0.0w
Fabien-Chouteau commented 1 year ago

Indeed @reet- The file spark2014vsn.ads should be edited before the builds.

reet- commented 1 year ago

Thanks for the confirmation @Fabien-Chouteau. The version of the tool is 12.1.0 correct?

Fabien-Chouteau commented 1 year ago

Depends on which release you get. This one is 12.2 12.1 -> https://github.com/alire-project/GNAT-FSF-builds/releases/tag/gnatprove-12.1.0-1

reet- commented 1 year ago

I got gnatprove_12.1.1_e1e1ce47 via alr with gnatprove = "^12.1.1". It is 12.2, not 12.1?

Fabien-Chouteau commented 1 year ago

Yep, typo in my previous message