Project

General

Profile

Revision d0d8fe27

View differences:

README.md
8 8

  
9 9
LustreC is a modular compiler of Lustre code into C and Horn Clauses.
10 10

  
11
# Dependencies
12
On a fresh ubuntu/debian-like install
13
> apt-get install opam libmpfr-dev
14
Get a fresh version of ocaml
15
> opam switch 4.06.1
16
Install some dependencies
17
> opam install depext ocamlgraph mlmpfr num cmdliner fmt logs yojson menhir
11 18
# Build
12 19
```
13 20
> autoconf

Also available in: Unified diff