Skip to content
Snippets Groups Projects
Commit d0d8fe27 authored by Pierre Loic Garoche's avatar Pierre Loic Garoche
Browse files

Updating dependencies in the READ:E

parent 83dc064f
No related branches found
No related tags found
No related merge requests found
......@@ -8,6 +8,13 @@ Current Status: [![Build Status](https://travis-ci.org/coco-team/lustrec.svg?
LustreC is a modular compiler of Lustre code into C and Horn Clauses.
# Dependencies
On a fresh ubuntu/debian-like install
> apt-get install opam libmpfr-dev
Get a fresh version of ocaml
> opam switch 4.06.1
Install some dependencies
> opam install depext ocamlgraph mlmpfr num cmdliner fmt logs yojson menhir
# Build
```
> autoconf
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment