From 3eefaf3578b3149dd6744f728e366e95732e63d6 Mon Sep 17 00:00:00 2001
From: notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
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
---
 config/Makefile.template | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index 1907cb0d6..030670340 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -35,31 +35,31 @@ COQTOP=COQTOPDIRECTORY
 VERSION=COQVERSION
 
 # Directory containing Camlp4 binaries. Can be empty if camlp4 is in the PATH
-CAMLP4BIN=CAMLP4BINDIRECTORY
+CAMLP4BIN="CAMLP4BINDIRECTORY"
 
 # Ocaml version number
 CAMLVERSION=CAMLTAG
 
 # Ocaml .h directory
-CAMLHLIB=CAMLLIBDIRECTORY/caml
+CAMLHLIB="CAMLLIBDIRECTORY"/caml
 
 # Camlp4 library directory (avoid CAMLP4LIB used on Windows)
 CAMLP4O=CAMLP4TOOL
 CAMLP4COMPAT=CAMLP4COMPATFLAGS
-MYCAMLP4LIB=CAMLP4LIBDIRECTORY
+MYCAMLP4LIB="CAMLP4LIBDIRECTORY"
 
 # Objective-Caml compile command 
-OCAMLC=BYTECAMLC
-OCAMLOPT=NATIVECAMLC
-OCAMLDEP=OCAMLDEPEXEC
-OCAMLDOC=OCAMLDOCEXEC
-OCAMLLEX=OCAMLLEXEXEC
-OCAMLYACC=OCAMLYACCEXEC
+OCAMLC="BYTECAMLC"
+OCAMLOPT="NATIVECAMLC"
+OCAMLDEP="OCAMLDEPEXEC"
+OCAMLDOC="OCAMLDOCEXEC"
+OCAMLLEX="OCAMLLEXEXEC"
+OCAMLYACC="OCAMLYACCEXEC"
 
 # Caml link command and Caml make top command
-CAMLLINK=BYTECAMLC
-CAMLOPTLINK=NATIVECAMLC
-CAMLMKTOP=CAMLMKTOPEXEC
+CAMLLINK="BYTECAMLC"
+CAMLOPTLINK="NATIVECAMLC"
+CAMLMKTOP="CAMLMKTOPEXEC"
 
 # Compilation debug flag
 CAMLDEBUG=COQDEBUGFLAG
-- 
cgit v1.2.3