##################################
#
#  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).
#
#############################################################################

# Local use (no installation)
LOCAL=false

# 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="localpath/bin"
COQLIB="localpath/lib/coq"
MANDIR="localpath/man"
EMACSLIB="localpath/site-lisp"
EMACS=

# Path to Coq distribution
COQTOP=/home/blasum/coq5/coq-8.0pl2
VERSION=8.0pl2

# Directory containing Camlp4 binaries. Can be empty if camlp4 is in the PATH
CAMLP4BIN=/usr/bin

# Ocaml version number
CAMLVERSION=OCAML308

# Camlp4 library directory (avoid CAMLP4LIB used on Windows)
CAMLP4O=camlp4o
MYCAMLP4LIB=+camlp4

# Objective-Caml compile command 
OCAMLC=ocamlcp
OCAMLOPT=ocamlopt

# Caml link command and Caml make top command
CAMLLINK=ocamlc
CAMLOPTLINK=ocamlopt
CAMLMKTOP=ocamlmktop

# Compilation debug flag
CAMLDEBUG=

# Compilation profile flag
CAMLTIMEPROF=-p

# The best compiler: native (=opt) or bytecode (=byte) if no native compiler
BEST=byte

# 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=i686

# Supplementary libs for some systems, currently:
#  . Sun Solaris: -cclib -lunix -cclib -lnsl -cclib -lsocket
#  . others     : -cclib -lunix
#  . windows	: -cclib -lunix

OSDEPLIBS=-cclib -lunix

# executable files extension, currently:
#  Unix systems:
#  Win32 systems : .exe
EXE=

# 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=localpath/share/texmf/tex/latex/misc

# command to update TeX' kpathsea database
#MKTEXLSR=

#the command STRIP 
# Unix systems and profiling: true
# Unix systems and no profiling: strip
# Win32 systems: true (actually strip is bogus)
STRIP=true

# Options for reals (all/basic)
REALS=basic

# CoqIde (no/byte/opt)
HASCOQIDE=no

# make or sed are bogus and believe lines not terminating by a return
# are inexistent