SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
GNU General Public License v3.0
249
stars
33
forks
source link
Added Apple Silicon definitions to enable gnatprove build on M1 #38
Closed
docandrew closed 2 years ago
These changes enabled me to build gnatprove and the associated binaries (gnat2why etc) on Apple Silicon using the native AARCH64 FSF GNAT build obtained here: https://github.com/simonjwright/distributing-gcc/releases/tag/aarch64-apple-darwin21-2.
Using the tool I was able to run gnatprove on a project successfully using the z3 prover.