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 ++++++
 config/coq_config.mli    | 3 ++-
 2 files changed, 8 insertions(+), 1 deletion(-)

(limited to 'config')

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
 
diff --git a/config/coq_config.mli b/config/coq_config.mli
index 099db808..29ee7f9d 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i $Id: coq_config.mli 5920 2004-07-16 20:01:26Z herbelin $ i*)
+(*i $Id: coq_config.mli 8932 2006-06-09 09:29:03Z notin $ i*)
 
 val local : bool        (* local use (no installation) *)
 
@@ -34,3 +34,4 @@ val theories_dirs : string list
 val contrib_dirs : string list
 
 val exec_extension : string (* "" under Unix, ".exe" under MS-windows *)
+val with_geoproof : bool ref (* to (de)activate functions specific to Geoproof with Coqide *)
-- 
cgit v1.2.3