diff options
author | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-03-28 15:26:14 +0100 |
---|---|---|
committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2015-06-22 10:50:16 +0200 |
commit | 333d41a9a28767ab146aab0527ff2b235bbd31a7 (patch) | |
tree | e8ade79a927b0fb5546a179394629d0893fbc826 /INSTALL | |
parent | 851539eca5016da98253308749131abae3ec7b93 (diff) |
All invocations to ocaml compilers go through ocamlfind
Nothing is done for camlp4
There is an issue with computing camlbindir
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -32,6 +32,11 @@ WHAT DO YOU NEED ? - Objective Caml version 3.12.1 or later (available at http://caml.inria.fr/) + - Findlib (included in OCaml binary distribution under windows and + probably available in your distribution and at + http://projects.camlcity.org/projects/findlib.html) + + - Camlp5 (version >= 6.02) (Coq compiles with Camlp4 but might be less well supported) |