diff options
| author |  notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-08-29 18:45:50 +0000 |
|---|---|---|
| committer | notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-08-29 18:45:50 +0000 |
| commit | 3eefaf3578b3149dd6744f728e366e95732e63d6 (patch) | |
| tree | 0382e3c83fe6867c3a57af539930227ba5561379 /scripts/coqmktop.ml | |
| parent | 0357a2fcc32b108140618cce2035e3269111080b (diff) | |
Compilation de Coq sous Windows
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9098 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'scripts/coqmktop.ml')
| -rw-r--r-- | scripts/coqmktop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml index b57361a43..0e465a9f7 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 *) |