From 8f4b7f1b6d59978db284f89e474faf9d01488a7e Mon Sep 17 00:00:00 2001 From: corbinea Date: Fri, 13 Jul 2007 11:08:26 +0000 Subject: 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 --- .depend.camlp4 | 53 ----------------------------------------------------- 1 file changed, 53 deletions(-) delete mode 100644 .depend.camlp4 (limited to '.depend.camlp4') 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: -- cgit v1.2.3