Project

General

Profile

Download (290 Bytes) Statistics
| Branch: | Tag: | Revision:
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