lustrec/INSTALL @ ca7ff3f7
| 1 | 75a7b65b | Garoche | 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 | 4d2d6777 | ploc | |
| 10 | |||
| 11 | For the ADA backend: |
||
| 12 | - GNAT 2018 community edition on https://www.adacore.com/download |
||
| 13 | - gprbuild shall be in your path |