From: Stefano Zacchiroli Date: Wed, 16 Mar 2005 16:16:06 +0000 (+0000) Subject: make and clean also in html/ X-Git-Tag: V_0_6_3_3~6 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=61e1e56a7ecee8cea2d86e3239ed491f1d9e4a51;p=helm.git make and clean also in html/ --- diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile index 13c4f1eda..3e21d8611 100644 --- a/helm/searchEngine/Makefile +++ b/helm/searchEngine/Makefile @@ -10,11 +10,15 @@ SRCS = $(patsubst %,%.ml,$(MODULES)) $(patsubst %,%.mli,$(MODULES)) \ CMOS = $(patsubst %,%.cmo,$(MODULES)) CMXS = $(patsubst %,%.cmx,$(MODULES)) -all: byte +all: byte html world: byte opt byte: searchEngine opt: searchEngine.opt +.PHONY: html +html: + make -C html/ + %.cmi: %.mli $(OCAMLC) -c $< %.cmo %.cmi: %.ml @@ -28,6 +32,7 @@ searchEngine.opt: $(CMXS) searchEngine.ml $(OCAMLOPT) -linkpkg -o $@ $^ clean: + make -C html/ clean rm -f *.cm[aiox] *.o searchEngine{,.opt} .PHONY: depend