X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMakefile.common.in;h=0bae0213f41ac8f2d0eee622a00110167351f37f;hb=39320e6e7bfe3278598278398389854bd721f756;hp=b191767d2538708bfb885e76df455b062b7fd352;hpb=e3a2b943beb79beccd16e38758b09ac6e71cac0b;p=helm.git

diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index b191767d2..0bae0213f 100644
--- 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