]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.in
moved META files in METAS/ dir
[helm.git] / helm / ocaml / Makefile.in
index c53a83b5a660cd9d963d733ff429505585505ebb..5ecff06a0a6518d2498dde6f909e5f6d8885ca31 100644 (file)
@@ -8,15 +8,17 @@ MODULES = xml urimanager getter pxp cic cic_annotations cic_annotations_cache \
 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
 OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@
 
-METAS = $(MODULES:%=META.helm-%)
+METAS = $(MODULES:%=METAS/META.helm-%)
 CWD=`pwd`
 
-all: $(METAS) $(MODULES:%=%.all)
-opt: $(METAS) $(MODULES:%=%.opt)
+all: metas $(MODULES:%=%.all)
+opt: metas $(MODULES:%=%.opt)
+metas: $(METAS)
 depend: $(MODULES:%=%.depend)
 install: $(MODULES:%=%.install)
 uninstall: $(MODULES:%=%.uninstall)
-clean: $(MODULES:%=%.clean)
+clean: $(MODULES:%=%.clean) clean_metas
+clean_metas:
        rm -f $(METAS)
 
 dist-clean: clean
@@ -38,8 +40,8 @@ $(MODULES:%=%.uninstall):
        rm -f $(OCAMLFIND_META_DIR)/$(@:%.uninstall=META.helm-%)
 $(MODULES:%=%.clean):
        cd $(@:%.clean=%) && make clean
-META.helm-%: META.helm-%.src
-       cp $< $@ && echo "directory=\"$(CWD)/$(@:META.helm-%=%)\"" >> $@
+METAS/META.helm-%: METAS/META.helm-%.src
+       cp $< $@ && echo "directory=\"$(CWD)/$*\"" >> $@
 
 .PHONY: .dep.dot
 .dep.dot: