From 3eefaf3578b3149dd6744f728e366e95732e63d6 Mon Sep 17 00:00:00 2001
From: notin
Date: Tue, 29 Aug 2006 18:45:50 +0000
Subject: Compilation de Coq sous Windows

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

(limited to 'scripts')

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index b57361a430..0e465a9f70 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -57,7 +57,7 @@ let includes () =
   List.fold_right
     (fun d l -> "-I" :: List.fold_left Filename.concat !src_coqtop d :: l)
     (src_dirs ())
-    (["-I"; Coq_config.camlp4lib] @ 
+    (["-I"; "\""; Coq_config.camlp4lib; "\""] @ 
      (if !coqide then ["-thread"; "-I"; "+lablgtk2"] else []))
 
 (* Transform bytecode object file names in native object file names *)
-- 
cgit v1.2.3