diff options
| author |  corbinea <corbinea@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-07-13 11:08:26 +0000 |
|---|---|---|
| committer | corbinea <corbinea@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-07-13 11:08:26 +0000 |
| commit | 8f4b7f1b6d59978db284f89e474faf9d01488a7e (patch) | |
| tree | fad42427f62375a057e44846a5921b5289a94f1f /.depend.camlp4 | |
| parent | ace68194290b49c459a56ea0a023863056fae0e2 (diff) | |
New bootstrapping, improved, Makefile system
Documented in dev/doc/build-system.txt .
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9992 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.depend.camlp4')
| -rw-r--r-- | .depend.camlp4 | 53 |
1 files changed, 0 insertions, 53 deletions
diff --git a/.depend.camlp4 b/.depend.camlp4 deleted file mode 100644 index cd9399563..000000000 --- a/.depend.camlp4 +++ /dev/null @@ -1,53 +0,0 @@ -tactics/tauto.ml: parsing/grammar.cma -tactics/eqdecide.ml: parsing/grammar.cma -tactics/extraargs.ml: parsing/grammar.cma -tactics/extratactics.ml: parsing/grammar.cma -tactics/eauto.ml: parsing/grammar.cma -toplevel/whelp.ml: parsing/grammar.cma -tactics/hipattern.ml: parsing/grammar.cma parsing/q_constr.cmo -contrib/omega/g_omega.ml: parsing/grammar.cma -contrib/romega/g_romega.ml: parsing/grammar.cma -contrib/ring/g_quote.ml: parsing/grammar.cma -contrib/ring/g_ring.ml: parsing/grammar.cma -contrib/dp/g_dp.ml: parsing/grammar.cma -contrib/setoid_ring/newring.ml: parsing/grammar.cma -contrib/field/field.ml: parsing/grammar.cma -contrib/fourier/g_fourier.ml: parsing/grammar.cma -contrib/extraction/g_extraction.ml: parsing/grammar.cma -contrib/xml/xmlentries.ml: parsing/grammar.cma -contrib/jprover/jprover.ml: parsing/grammar.cma -contrib/cc/g_congruence.ml: parsing/grammar.cma -contrib/first-order/g_ground.ml: parsing/grammar.cma -contrib/subtac/g_subtac.ml: parsing/grammar.cma -contrib/subtac/g_eterm.ml: parsing/grammar.cma -contrib/rtauto/g_rtauto.ml: parsing/grammar.cma -contrib/recdef/recdef.ml: parsing/grammar.cma -contrib/funind/indfun_main.ml: parsing/grammar.cma -contrib/interface/debug_tac.ml: parsing/grammar.cma -contrib/interface/centaur.ml: parsing/grammar.cma -parsing/lexer.ml: -parsing/pcoq.ml: -parsing/q_util.ml: -parsing/q_coqast.ml: -parsing/g_prim.ml: -parsing/g_minicoq.ml: -parsing/g_vernac.ml: parsing/grammar.cma -parsing/g_proofs.ml: -parsing/g_xml.ml: -parsing/g_constr.ml: -parsing/g_tactic.ml: -parsing/g_ltac.ml: -parsing/argextend.ml: -parsing/tacextend.ml: -parsing/vernacextend.ml: -parsing/q_constr.ml: -parsing/g_decl_mode.ml: parsing/grammar.cma -toplevel/mltop.ml: -lib/pp.ml: -lib/compat.ml: -contrib/xml/xml.ml: -contrib/xml/acic2Xml.ml: -contrib/xml/proofTree2Xml.ml: -contrib/interface/line_parser.ml: -tools/coq_makefile.ml: -tools/coq-tex.ml: |