lustrec/INSTALL @ ca7ff3f7
| 1 |
On Mac |
|---|---|
| 2 |
brew install autoconf opam cmake |
| 3 |
Download ada from https://www.adacore.com/download |
| 4 |
|
| 5 |
|
| 6 |
Then |
| 7 |
opam install ocamlfind ocamlgraph cmdliner fmt logs dune num yojson |
| 8 |
|
| 9 |
|
| 10 |
|
| 11 |
For the ADA backend: |
| 12 |
- GNAT 2018 community edition on https://www.adacore.com/download |
| 13 |
- gprbuild shall be in your path |