From e978da8c41d8a3c19a29036d9c569fbe2a4616b0 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 16 Jun 2006 14:41:51 +0000
Subject: Imported Upstream version 8.0pl3+8.1beta

---
 config/Makefile.template | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'config/Makefile.template')

diff --git a/config/Makefile.template b/config/Makefile.template
index 9432a884..aa7f2d62 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -60,6 +60,9 @@ CAMLMKTOP=ocamlmktop
 # Compilation debug flag
 CAMLDEBUG=COQDEBUGFLAG
 
+# User compilation flag
+USERFLAGS=
+
 # Compilation profile flag
 CAMLTIMEPROF=COQPROFILEFLAG
 
@@ -101,6 +104,9 @@ COQDOCDIR=COQDOCDIRECTORY
 # Win32 systems: true (actually strip is bogus)
 STRIP=STRIPCOMMAND
 
+# Options for fsets (all/basic)
+FSETS=FSETSOPT
+
 # Options for reals (all/basic)
 REALS=REALSOPT
 
-- 
cgit v1.2.3