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

improve readme

parent 859bcf73
......@@ -13,8 +13,9 @@ 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 num
- without opam: apt-get install libyojson-ocaml-dev libxml-light-ocaml-dev libyojson-ocaml-dev libzarith-ocaml-dev ocamlbuild dune ocaml-findlib
- using opam (install opam : https://opam.ocaml.org/doc/Install.html):
opam install depext ocamlfind ocamlbuild dune; opam depext -i xml-light yojson zarith num
- without opam on Debian : apt-get install libyojson-ocaml-dev libxml-light-ocaml-dev libyojson-ocaml-dev libzarith-ocaml-dev ocamlbuild dune ocaml-findlib
### Compile
Run make
......
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