helm/ocaml/Makefile.in

   1 # Warning: the modules must be in compilation order
   2 MODULES = xml urimanager getter pxp cic cic_annotations cic_annotations_cache \
   3           cic_cache cic_proof_checking cic_textual_parser cic_unification
   4
   5 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
   6 OCAMLFIND_META_DIR = @OCAMLFIND_META_DIR@
   7
   8 METAS = $(MODULES:%=META.helm-%)
   9 CWD=`pwd`
  10
  11 all: $(METAS) $(MODULES:%=%.all)
  12 opt: $(METAS) $(MODULES:%=%.opt)
  13 depend: $(MODULES:%=%.depend)
  14 install: $(MODULES:%=%.install)
  15 uninstall: $(MODULES:%=%.uninstall)
  16 clean: $(MODULES:%=%.clean)
  17         rm -f $(METAS)
  18
  19 dist-clean: clean
  20         rm -f Makefile Makefile.common configure config.log config.cache config.status
  21
  22 $(MODULES:%=%.all):
  23         export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.all=%) && make all
  24 $(MODULES:%=%.opt):
  25         export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.opt=%) && make opt
  26 $(MODULES:%=%.depend):
  27         export OCAMLPATH=$(CWD):$$OCAMLPATH ; cd $(@:%.depend=%) && make depend
  28 $(MODULES:%=%.install):
  29         cd $(@:%.install=%) && make install
  30         export TARGET=$(OCAMLFIND_META_DIR)/$(@:%.install=META.helm-%) ; \
  31         cp $(@:%.install=META.helm-%.src) $$TARGET && \
  32         echo "directory=\"$(OCAMLFIND_DEST_DIR)/$(@:%.install=%)\"" >> $$TARGET
  33 $(MODULES:%=%.uninstall):
  34         cd $(@:%.uninstall=%) && make uninstall
  35         rm -f $(OCAMLFIND_META_DIR)/$(@:%.uninstall=META.helm-%)
  36 $(MODULES:%=%.clean):
  37         cd $(@:%.clean=%) && make clean
  38 META.helm-%: META.helm-%.src
  39         cp $< $@ && echo "directory=\"$(CWD)/$(@:META.helm-%=%)\"" >> $@