SPARK compiler (etc) for MacOS on Apple Silicon? I don't see gnatprove etc

General
1

Hi All (Simon?);

Pardon me in advance if this is a dumb/obvious question…

SPARK compiler (etc) for MacOS on Apple Silicon? I don’t see gnatprove etc

I was looking at some of the Rosetta Code examples written in SPARK and I thought I might start giving SPARK some attention.

So I’m going through the SPARK section of AdaCore Learn web site.

Perhaps this can only be done through Alire?

Thanks,
RBE

2

You can download it using alr install gnatprove. In my case it can then be found in ~/.alire/bin. Assuming you’re using an aarch64 alr it’ll be the aarch64 version - but even if you aren’t it’ll almost certainly run under Rosetta2.

1 Like
3

Very cool. Do you have a Patreon or something else by which I can buy you a beer or a coffee?

RBE