From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 27 May 2005 16:52:19 +0000 (+0000)
Subject: added %.annot rule to create type annotation files
X-Git-Tag: PRE_INDEX_1~110
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3fbc7a2d1418ace187475939647553ce2b7721f6;p=helm.git

added %.annot rule to create type annotation files
---

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