bruno-blanchet issues

Repositories
Issues
Comments

Results 2 issues of


                                            bruno-blanchet

'opam install ocamlfind' does not work: patch did not apply

With the Installer for 64-bit OCaml 4.02.3 + OPAM: $ opam install ocamlfind The following actions will be performed: - install ocamlfind 1.7.1 =-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=- Processing actions...

ocamlopt writes an error message when the output file contains no dot

For instance, the command: ocamlopt -o cryptoverif str.cmxa parsing_helper.mli parsing_helper.ml occ_map.mli occ_map.ml types.ml ptree.mli parser.mli parser.ml ... displays: ** Error: Sys_error("cryptoverif: No such file or directory") File "caml_startup", line 1:...