diff options
author | 2005-02-04 18:26:21 +0000 | |
---|---|---|
committer | 2005-02-04 18:26:21 +0000 | |
commit | 0892fb3a8b8be082ae18184b95435b6d7269ed00 (patch) | |
tree | 03428f4d8652c1b78fb734955c350a75275dae94 /Makefile | |
parent | 5a2e609ac753d9f6ada0b8811a0af59ef5deb6c0 (diff) |
Ajout g_xml.ml4 et cic2Xml.ml
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6683 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -173,7 +173,7 @@ PROOFS=\ PARSING=\ parsing/coqast.cmo parsing/ast.cmo \ parsing/termast.cmo parsing/extend.cmo parsing/esyntax.cmo \ - parsing/pcoq.cmo parsing/egrammar.cmo \ + parsing/pcoq.cmo parsing/egrammar.cmo parsing/g_xml.cmo \ parsing/ppconstr.cmo translate/ppconstrnew.cmo parsing/printer.cmo \ parsing/pptactic.cmo translate/pptacticnew.cmo parsing/tactic_printer.cmo \ parsing/printmod.cmo parsing/prettyp.cmo parsing/search.cmo @@ -255,7 +255,7 @@ XMLCMO=\ contrib/xml/cic2acic.cmo contrib/xml/acic2Xml.cmo \ contrib/xml/proof2aproof.cmo \ contrib/xml/xmlcommand.cmo contrib/xml/proofTree2Xml.cmo \ - contrib/xml/xmlentries.cmo + contrib/xml/xmlentries.cmo contrib/xml/cic2Xml.cmo FOURIERCMO=\ contrib/fourier/fourier.cmo contrib/fourier/fourierR.cmo \ @@ -1380,7 +1380,7 @@ GRAMMARSCMO=\ parsing/g_prim.cmo parsing/g_tactic.cmo \ parsing/g_ltac.cmo parsing/g_constr.cmo \ parsing/g_primnew.cmo parsing/g_tacticnew.cmo \ - parsing/g_ltacnew.cmo parsing/g_constrnew.cmo + parsing/g_ltacnew.cmo parsing/g_constrnew.cmo GRAMMARCMO=$(GRAMMARNEEDEDCMO) $(CAMLP4EXTENSIONSCMO) $(GRAMMARSCMO) @@ -1438,7 +1438,7 @@ clean:: ML4FILES +=parsing/g_basevernac.ml4 parsing/g_minicoq.ml4 \ parsing/g_vernac.ml4 parsing/g_proofs.ml4 \ - parsing/g_cases.ml4 \ + parsing/g_cases.ml4 parsing/g_xml.ml4 \ parsing/g_constr.ml4 parsing/g_module.ml4 \ parsing/g_tactic.ml4 parsing/g_ltac.ml4 \ parsing/argextend.ml4 parsing/tacextend.ml4 \ |