Coq generally uses a preprocessor that disallows straightforward compilation with debugging flags with the coq debugger. In this directory you find a modified Makefile that separates the preprocessing from the compilation step, thus allowing compilation with debugging flags.

This directory contains files to be replaced when compiling 
Coq V8 coq-8.0pl2.tar.gz to be run for profiling.
(Running the compiled bin/coqtop.byte will produce a file
ocamlprof.dump that can be further analyzed.)

(*) ./configure --prefix localpath --profile --emacslib localpath/site-lisp

(*) adapt # Path to Coq distribution
COQTOP=/home/blasum/coq5/coq-8.0pl2 in config/Makefile

(*) make bin/coq-interface coq8
(*) make world (until it crashes)

(*) if stuck at very last step (bin/parser), this will help:
$ ocamlcp -g -p f -linkall -custom -cclib -lunix -I config -I tools -I tools/coqdoc -I scripts -I lib -I kernel -I library -I proofs -I tactics -I  pretyping -I interp -I toplevel -I parsing -I ide/utils -I ide -I translate -I contrib/omega -I contrib/romega -I contrib/ring -I contrib/xml -I contrib/extraction -I contrib/interface -I contrib/fourier -I contrib/jprover -I contrib/cc -I contrib/funind -I contrib/first-order -I contrib/field -I +camlp4  -o bin/parser dynlink.cma unix.cma gramlib.cma config/coq_config.cmo /usr/lib/ocaml/3.08.3/profiling.cmo lib/lib.cma kernel/kernel.cma library/library.cma pretyping/pretyping.cma interp/topconstr.cmo interp/symbols.cmo library/impargs.cmo library/declare.cmo interp/reserve.cmo interp/constrextern.cmo interp/coqlib.cmo interp/ppextend.cmo parsing/lexer.cmo proofs/tacexpr.cmo interp/genarg.cmo interp/syntax_def.cmo interp/constrintern.cmo parsing/parsing.cma interp/interp.cma library/declare.cmo parsing/parsing.cma proofs/proofs.cma toplevel/vernacexpr.cmo tactics/tactics.cma toplevel/toplevel.cma parsing/highparsing.cma parsing/highparsingnew.cma tactics/hightactics.cma contrib/contrib.cma  contrib/interface/line_parser.cmo contrib/interface/vtp.cmo contrib/interface/xlate.cmo contrib/interface/parse.cmo

(*) make tools

OCAMLC    contrib/interface/line_parser.mli
OCAMLC    contrib/interface/line_parser.ml
OCAMLC    contrib/interface/parse.ml
OCAMLC -o bin/parser

(*) make install8