diff options
author | 2013-05-08 18:01:07 +0200 | |
---|---|---|
committer | 2013-05-08 18:01:07 +0200 | |
commit | 095eac936751bab72e3c6bbdfa3ede51f7198721 (patch) | |
tree | 44cf2859ba6b8486f056efaaf7ee6c2d855f2aae /config/Makefile.template | |
parent | 4e6d6dab2ef2de6c1ad7972fc981e55a4fde7ae3 (diff) | |
parent | 0b14713e3efd7f8f1cc8a06555d0ec8fbe496130 (diff) |
Merge branch 'experimental/master'
Diffstat (limited to 'config/Makefile.template')
-rw-r--r-- | config/Makefile.template | 153 |
1 files changed, 0 insertions, 153 deletions
diff --git a/config/Makefile.template b/config/Makefile.template deleted file mode 100644 index 8864f52d..00000000 --- a/config/Makefile.template +++ /dev/null @@ -1,153 +0,0 @@ -################################## -# -# 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). -# -############################################################################# - -#Variable used to detect whether ./configure has run successfully. -COQ_CONFIGURED=yes - -# Local use (no installation) -LOCAL=LOCALINSTALLATION - -# Bytecode link flags for VM ("-custom" or "-dllib -lcoqrun") -COQRUNBYTEFLAGS=XCOQRUNBYTEFLAGS -COQTOOLSBYTEFLAGS=XCOQTOOLSBYTEFLAGS -BUILDLDPATH= - -# 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" -COQLIBINSTALL="COQLIBDIRECTORY" -MANDIR="MANDIRDIRECTORY" -DOCDIR="DOCDIRDIRECTORY" -EMACSLIB="EMACSLIBDIRECTORY" -EMACS=EMACSCOMMAND - -# Path to Coq distribution -COQSRC=COQSRCDIRECTORY -VERSION=COQVERSION - -# Directory containing Camlp4 binaries. Can be empty if camlp4 is in the PATH -CAMLP4BIN="CAMLP4BINDIRECTORY" - -# Ocaml version number -CAMLVERSION=CAMLTAG - -# Ocaml libraries -CAMLLIB="CAMLLIBDIRECTORY" - -# Ocaml .h directory -CAMLHLIB="CAMLLIBDIRECTORY" - -# Camlp4 library directory (avoid CAMLP4LIB used on Windows) -CAMLP4O=CAMLP4TOOL -CAMLP4COMPAT=CAMLP4COMPATFLAGS -MYCAMLP4LIB="CAMLP4LIBDIRECTORY" - -# LablGTK -COQIDEINCLUDES=LABLGTKINCLUDES - -# Objective-Caml compile command -OCAML="OCAMLEXEC" -OCAMLC="BYTECAMLC" -OCAMLMKLIB="OCAMLMKLIBEXEC" -OCAMLOPT="NATIVECAMLC" -OCAMLDEP="OCAMLDEPEXEC" -OCAMLDOC="OCAMLDOCEXEC" -OCAMLLEX="OCAMLLEXEXEC" -OCAMLYACC="OCAMLYACCEXEC" - -# Caml link command and Caml make top command -CAMLLINK="BYTECAMLC" -CAMLOPTLINK="NATIVECAMLC" -CAMLMKTOP="CAMLMKTOPEXEC" - -# Caml flags -CAMLFLAGS=-rectypes CAMLANNOTATEFLAG - -# Compilation debug flags -CAMLDEBUG=COQDEBUGFLAG -CAMLDEBUGOPT=COQDEBUGFLAGOPT - -# User compilation flag -USERFLAGS= - -# Flags for GCC -CFLAGS=CCOMPILEFLAGS - -# Compilation profile flag -CAMLTIMEPROF=COQPROFILEFLAG - -# The best compiler: native (=opt) or bytecode (=byte) if no native compiler -BEST=BESTCOMPILER - -# Your architecture -# Can be obtain by UNIX command arch -ARCH=ARCHITECTURE -HASNATDYNLINK=HASNATIVEDYNLINK - -# Your C compiler and co -CC="CCEXEC" -AR="AREXEC" -RANLIB="RANLIBEXEC" - -# Supplementary libs for some systems, currently: -# . Sun Solaris: -cclib -lunix -cclib -lnsl -cclib -lsocket -# . others : -cclib -lunix -# . windows : -cclib -lunix - -OSDEPLIBS=OSDEPENDENTLIBS - -# executable files extension, currently: -# Unix systems: -# Win32 systems : .exe -EXE=EXECUTEEXTENSION -DLLEXT=DLLEXTENSION - -# the command MKDIR (try to replace it with mkdirhier if you have problems) -MKDIR=mkdir -p - -# where to put the coqdoc.sty style file -COQDOCDIR="COQDOCDIRECTORY" - -# command to update TeX' kpathsea database -#MKTEXLSR=MKTEXLSRCOMMAND - -#the command STRIP -# Unix systems and profiling: true -# Unix systems and no profiling: strip -# Win32 systems: true (actually strip is bogus) -STRIP=STRIPCOMMAND - -# CoqIde (no/byte/opt) -HASCOQIDE=COQIDEOPT - -# Defining REVISION -CHECKEDOUT=CHECKEDOUTSOURCETREE - -# Defining options to generate dependencies graphs -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 |