Project

General

Profile

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