From 9c6487ba87f448daa28158c6e916e3d932c50645 Mon Sep 17 00:00:00 2001
From: barras <barras@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 20 Oct 2004 13:50:08 +0000
Subject: COMMITED BYTECODE COMPILER

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

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index cd49db893..f05caeff9 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -40,6 +40,9 @@ CAMLP4BIN=CAMLP4BINDIRECTORY
 # Ocaml version number
 CAMLVERSION=CAMLTAG
 
+# Ocaml .h directory
+CAMLHLIB=CAMLLIBDIRECTORY/caml
+
 # Camlp4 library directory (avoid CAMLP4LIB used on Windows)
 CAMLP4O=CAMLP4TOOL
 MYCAMLP4LIB=CAMLP4LIBDIRECTORY
-- 
cgit v1.2.3