Commit e90800ea authored by Benoit Barbot's avatar Benoit Barbot
Browse files

Update README.md

parent 2c87771c
Pipeline #2172 passed with stages
in 2 minutes and 14 seconds
......@@ -12,7 +12,7 @@ B. Barbot, N. Basset and T. Dang. [Generation of signals under temporal constrai
## Compilation
### Dependencies
- install ocaml >= 4.07
- install ocaml >= 4.08
- using opam: opam install depext ocamlfind ocamlbuild dune; opam depext -i xml-light yojson zarith
- without opam: apt-get install libyojson-ocaml-dev libxml-light-ocaml-dev libyojson-ocaml-dev libzarith-ocaml-dev ocamlbuild dune ocaml-findlib
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment