From 870075f34dd9fa5792bfbf413afd3b96f17e76a0 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Fri, 8 Aug 2008 13:18:42 +0200 Subject: Imported Upstream version 8.2~beta4+dfsg --- config/Makefile.template | 3 +++ config/coq_config.mli | 9 +++++++-- 2 files changed, 10 insertions(+), 2 deletions(-) (limited to 'config') diff --git a/config/Makefile.template b/config/Makefile.template index e5061ebe..fc8af173 100644 --- a/config/Makefile.template +++ b/config/Makefile.template @@ -141,6 +141,9 @@ DOT=dot DOTOPTS=-Tps ODOCDOTOPTS=-dot -dot-reduce +# Option to control compilation and installation of the documentation +WITHDOC=WITHDOCOPT + # make or sed are bogus and believe lines not terminating by a return # are inexistent diff --git a/config/coq_config.mli b/config/coq_config.mli index 23d3efbd..3898a0f3 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 10122 2007-09-15 10:35:59Z letouzey $ i*) +(*i $Id: coq_config.mli 11313 2008-08-07 11:15:03Z barras $ i*) val local : bool (* local use (no installation) *) @@ -28,12 +28,17 @@ val osdeplibs : string (* OS dependant link options for ocamlc *) (* val defined : string list (* options for lib/ocamlpp *) *) val version : string (* version number of Coq *) -val versionsi : string (* version number of Coq\_SearchIsos *) val date : string (* release date *) val compile_date : string (* compile date *) +val vo_magic_number : int +val state_magic_number : int 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 *) + +val browser : string +(** default web browser to use, may be overriden by environment + variable COQREMOTEBROWSER *) -- cgit v1.2.3