diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/coqmktop.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml index d63cec1f61..3091f0fa1a 100644 --- a/scripts/coqmktop.ml +++ b/scripts/coqmktop.ml @@ -279,11 +279,13 @@ let main () = if !opt then begin (* native code *) if !top then failwith "no custom toplevel in native code !"; - Coq_config.camldir^"/ocamlopt -linkall" + let ocamloptexec = Filename.concat Coq_config.camldir "ocamlopt" in + ocamloptexec^" -linkall" end else (* bytecode (we shunt ocamlmktop script which fails on win32) *) let ocamlmktoplib = " toplevellib.cma" in - let ocamlccustom = Coq_config.camldir^"/ocamlc -custom -linkall" in + let ocamlcexec = Filename.concat Coq_config.camldir "ocamlc" in + let ocamlccustom = ocamlcexec^" -custom -linkall" in (if !top then ocamlccustom^ocamlmktoplib else ocamlccustom) in (* files to link *) |