Initial revision

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2 85f007b7-540e-0410-9357-904b9bb8a0f7

3 files changed, 135 insertions, 0 deletions

diff --git a/config/.cvsignore b/config/.cvsignore
new file mode 100644
index 000000000..0fb99f419
--- /dev/null
+++ b/config/.cvsignore
@@ -0,0 +1,2 @@
+Makefile
+coq_config.ml
diff --git a/config/Makefile.template b/config/Makefile.template
new file mode 100644
index 000000000..8194bec77
--- /dev/null
+++ b/config/Makefile.template
@@ -0,0 +1,109 @@
+##################################
+#
+#  Configuration file for Coq
+# 
+##################################
+
+#############################################################################
+#
+#  This file is generated by the script "configure"
+#
+#  DO NOT EDIT IT !! DO NOT EDIT IT !! DO NOT EDIT IT !! DO NOT EDIT IT !! 
+#
+#  If something is wrong below, then rerun the script "configure"
+#  with the good options (see the file INSTALL).
+#
+#############################################################################
+
+# Paths for true installation
+# BINDIR=path where coqtop, coqc, coqmktop, coq-tex, coqdep, gallina and
+#        do_Makefile will reside
+# LIBDIR=path where the Coq library will reside
+# MANDIR=path where to install manual pages
+# EMACSDIR=path where to put Coq's Emacs mode (coq.el)
+BINDIR=BINDIRDIRECTORY
+COQLIB=COQLIBDIRECTORY
+MANDIR=MANDIRDIRECTORY
+EMACSLIB=EMACSLIBDIRECTORY
+EMACS=EMACSCOMMAND
+
+# Path to Coq distribution
+COQTOP=COQTOPDIRECTORY
+VERSION=COQVERSION
+
+# Path to the directory containing the objective-caml commands
+# Used in src/launch
+CAMLBIN=CAMLBINDIRECTORY
+
+# Directory containing Camlp4 binaries. Can be empty if camlp4 is in the PATH
+CAMLP4BIN=CAMLP4BINDIRECTORY
+
+# Camlp4 library directory
+CAMLP4LIB=CAMLP4LIBDIRECTORY
+
+# Objective-Caml compile command 
+OCAMLC=BYTECAMLC
+OCAMLOPT=NATIVECAMLC
+
+# Caml link command and Caml make top command
+CAMLLINK=BYTECAMLC
+CAMLOPTLINK=NATIVECAMLC
+CAMLMKTOP=ocamlmktop
+
+# Compilation debug flag
+CAMLDEBUG=COQDEBUGFLAG
+
+# Compilation profile flag
+CAMLTIMEPROF=COQPROFILEFLAG
+
+# Compilation of tools: bytecode (=byte) or native (=opt)
+COQTOOLS=COQTOOLSFLAG
+
+# For Camlp4 use
+P4=$(COQTOP)/bin/$(ARCH)/call_camlp4 -I $(COQTOP)/src/parsing
+P4DEP=$(COQTOP)/bin/$(ARCH)/camlp4dep
+
+# Your architecture
+# Can be obtain by UNIX command arch
+ARCH=ARCHITECTURE
+
+# Supplementary libs for some systems, currently:
+#  . Sun Solaris: -cclib -lunix -cclib -lnsl -cclib -lsocket
+#  . others     : -cclib -lunix
+#  . windows	: -cclib \\ocaml\lib\libunix.lib -cclib wsock32.lib
+
+OSDEPLIBS=OSDEPENDANTLIBS
+
+# Supplementary camlp4 flags for some systems, currently:
+#  . ppp        : -split_gext
+
+OSDEPP4OPTFLAGS=OSDEPENDANTP4OPTFLAGS
+
+# the caml str lib
+# Unix : -cclib -lstr
+# Windows : -cclib \\ocaml/lib/libstr.lib
+WITH_STR=STRLIBRARY
+
+# OStype is one of :
+# Unix
+# Win32
+OSTYPE=OSKIND
+
+# executable files extension, currently:
+#  Unix systems:
+#  Win32 systems : .exe
+EXE=EXECUTEEXTENSION
+
+# the command used to install binaries, libs and help files
+INSTALL=COQTOPDIRECTORY/bin/ARCHITECTURE/coqinstallEXECUTEEXTENSION
+
+# the command MKDIR (try to replace it with mkdirhier if you have problems)
+MKDIR=mkdir -p
+
+#the command STRIP 
+# Unix systems: strip
+# Win32 systems: true (actually strip is bogus)
+STRIP=STRIPCOMMAND
+
+# make or sed are bogus and believe lines not terminating by a return
+# are inexistent
\ No newline at end of file
diff --git a/config/coq_config.mli b/config/coq_config.mli
new file mode 100644
index 000000000..83fcad46d
--- /dev/null
+++ b/config/coq_config.mli
@@ -0,0 +1,24 @@
+
+(* $Id$ *)
+
+val bindir : string     (* where the binaries are installed *)
+val coqlib : string     (* where the std library is installed *)
+
+val coqtop : string     (* where are the sources *)
+
+val camllib : string    (* for Dynlink *)
+
+val camlp4lib : string  (* where is the library of Camlp4 *)
+
+val arch : string       (* architecture *)
+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 theories_dirs : string list
+