From 39ef483f048da04d6245bd13f8c036230dc330b0 Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 14 Sep 2006 09:13:33 +0000
Subject: Modification de l'appel aux exécutables Caml

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9135 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 scripts/coqmktop.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'scripts')

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 *)
-- 
cgit v1.2.3