added %.annot rule to create type annotation files

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index b191767d2538708bfb885e76df455b062b7fd352..0bae0213f41ac8f2d0eee622a00110167351f37f 100644 (file)
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -69,6 +69,8 @@ $(PACKAGE).ps: .dep.dot
        $(OCAMLC) -c $<
 %.cmx: %.ml
        $(OCAMLOPT) -c $<
+%.annot: %.ml
+       $(OCAMLC) -dtypes $(PKGS) -c $<
 %.ml %.mli: %.mly
        $(OCAMLYACC) $<
 %.ml: %.mll