Skip to content

Releases: simonjwright/spark2014

macOS 12.0.1 0.1

21 Feb 15:45
@simonjwright simonjwright
macos-0.1
This tag was signed with the committer’s verified signature.
simonjwright Simon Wright
GPG key ID: E3B79594259CDDAC
Learn about vigilant mode.
ace7142
Compare
Choose a tag to compare
macOS 12.0.1 0.1 Pre-release
Pre-release

This is SPARK2014 (gnatprove) built for macOS using FSF GCC 12.0.1 of 20220214.

Versions (gnatprove --version) are

  • gnatprove says 0.0w, this is because I haven’t worked out where to set it
  • Why3 for gnatprove version 1.4.0+git
  • alt-ergo: 2.4.1
  • This is CVC4 version 1.8
  • Z3 version 4.8.12 - 64 bit

It requires GCC 12.0.1 to be installed.

It should run on macOS Sierra or later (tested on Monterey).

Having downloaded, create a directory where you wish to install, e.g. ~/spark2014, and cd to it. Then, remove the quarantine label from the download and unpack it:

xattr -d com.apple.quarantine ~/Downloads/spark-12.0.1.tar.bz2
tar jxvf ~/Downloads/spark-12.0.1.tar.bz2

and add ~/spark2014/bin to your PATH.

Assets 3