1. Jacob Sparre Andersen
  2. Example combining SPARK 2014 and Ada 2012

Overview

HTTPS SSH
# Combining SPARK 2014 and Ada 2012

Prove and then build with checks disabled:

```
PROVE=true make
```

Build with checks disabled:

```
PROVE=false make
```