Project

General

Profile

Revision 75a7b65b

View differences:

INSTALL
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

  
1 9

  
2 10

  
3 11
For the ADA backend:

Also available in: Unified diff