Combining SPARK 2014 and Ada 2012

Prove and then build with checks disabled:

PROVE=true make

Build with checks disabled:

PROVE=false make

If you want to find free Ada tools or libraries, AdaIC is an excellent starting point. You can also take a look at my other source text repositories or my web site.