From f95cb9e6e2b6c81f454461ee119a8d7a6a1366d0 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 4 Nov 2005 09:08:58 +0000
Subject: Compatibilité ocaml 3.09

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7514 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/Makefile.template | 1 +
 1 file changed, 1 insertion(+)

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index f05caeff9c..9432a88433 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -45,6 +45,7 @@ CAMLHLIB=CAMLLIBDIRECTORY/caml
 
 # Camlp4 library directory (avoid CAMLP4LIB used on Windows)
 CAMLP4O=CAMLP4TOOL
+CAMLP4COMPAT=CAMLP4COMPATFLAGS
 MYCAMLP4LIB=CAMLP4LIBDIRECTORY
 
 # Objective-Caml compile command 
-- 
cgit v1.2.3