helm/ocaml/Makefile

   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
   4
   5 all opt depend install uninstall clean:
   6         for i in $(MODULES) ; do (cd $$i ; make $@) ; done