diff options
author | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-03-29 16:51:38 +0000 |
---|---|---|
committer | sacerdot <sacerdot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-03-29 16:51:38 +0000 |
commit | b3b9f22ba2bf97458974a7956949b4d2a4777dac (patch) | |
tree | 8c45921726c730e06959741c29a8cb99e8f52b1d /tools | |
parent | 5b994899184a8837513094d7a185206b4831a353 (diff) |
"xml" target removed from generated makefiles (since it was no longer used)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5602 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'tools')
-rw-r--r-- | tools/coq_makefile.ml4 | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/tools/coq_makefile.ml4 b/tools/coq_makefile.ml4 index 37013d02d..b594c6815 100644 --- a/tools/coq_makefile.ml4 +++ b/tools/coq_makefile.ml4 @@ -96,11 +96,6 @@ let standard sds = (fun x -> print "\t(cd "; print x; print " ; $(MAKE) depend)\n") sds; print "\n"; - print "xml::\n"; - List.iter - (fun x -> print "\t(cd "; print x; print " ; $(MAKE) xml)\n") - sds; - print "\n"; print "install:\n"; print "\tmkdir -p `$(COQC) -where`/user-contrib\n"; if !some_vfile then print "\tcp -f *.vo `$(COQC) -where`/user-contrib\n"; @@ -205,7 +200,6 @@ let variables l = print "CAMLLINK=ocamlc\n"; print "CAMLOPTLINK=ocamlopt\n"; print "COQDEP=$(COQBIN)coqdep -c\n"; - print "COQVO2XML=coq_vo2xml\n"; print "GRAMMARS=grammar.cma\n"; print "CAMLP4EXTEND=pa_extend.cmo pa_ifdef.cmo q_MLast.cmo\n"; print "PP=-pp \"camlp4o -I . -I $(COQTOP)/parsing $(CAMLP4EXTEND) $(GRAMMARS) -impl\"\n"; @@ -259,7 +253,7 @@ let subdirs l = print ".PHONY: "; print_list " " ("all" :: "opt" :: "byte" :: "archclean" :: "clean" :: "install" - :: "depend" :: "xml" :: "html" :: sds); + :: "depend" :: "html" :: sds); print "\n\n"; sds @@ -313,10 +307,6 @@ let all_target l = print "\t$(COQDOC) -ps -o $@ `$(COQDEP) -sort -suffix .v $(VFILES)`\n\n"; print "all-gal.ps: $(VFILES)\n"; print "\t$(COQDOC) -ps -g -o $@ `$(COQDEP) -sort -suffix .v $(VFILES)`\n\n"; - print "xml:: .xml_time_stamp\n"; - print ".xml_time_stamp: "; print_list "\\\n " (vofiles l); - print "\n\t$(COQVO2XML) $(COQFLAGS) $(?:%.o=%)\n"; - print "\ttouch .xml_time_stamp"; print "\n\n" end |