Commit 63c02fe6 authored by Benoit Barbot's avatar Benoit Barbot
Browse files

Update README.md

parent e90800ea
Pipeline #2173 passed with stages
in 2 minutes and 10 seconds
......@@ -13,7 +13,7 @@ B. Barbot, N. Basset and T. Dang. [Generation of signals under temporal constrai
### Dependencies
- install ocaml >= 4.08
- using opam: opam install depext ocamlfind ocamlbuild dune; opam depext -i xml-light yojson zarith
- using opam: opam install depext ocamlfind ocamlbuild dune; opam depext -i xml-light yojson zarith num
- without opam: apt-get install libyojson-ocaml-dev libxml-light-ocaml-dev libyojson-ocaml-dev libzarith-ocaml-dev ocamlbuild dune ocaml-findlib
### Compile
......
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