SPARKNaCl
SPARKNaCl copied to clipboard
Merge changes needed for Gnat 12.1.1
This PR covers changes to the library, build and performance tests needed to compiler with FSF GNAT 12.1.1 (from the Alire repository) on both MacOS and Linux.
Hopefully no diffs are required but just to let you know that Gnat 13.2 landed in Alire last week. This doesn't affect me on STM32 Arm though anyway.
I just did a build and test with GNAT 13.2.0 on x86_64 Linux, and all good.