X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FannotationHelper%2FMakefile;h=272ac3ebaa0158ee2912ad591912d7602f7d10ba;hb=515c1195a3b3ff86bf002091b4535bc812aa40ea;hp=5c7de7bd5989fbac0085f4d35c59651d8e985a87;hpb=125e2d7e5055fe756c31fefaf625f63147d1bcf7;p=helm.git

diff --git a/helm/annotationHelper/Makefile b/helm/annotationHelper/Makefile
index 5c7de7bd5..272ac3eba 100644
--- a/helm/annotationHelper/Makefile
+++ b/helm/annotationHelper/Makefile
@@ -6,28 +6,31 @@ OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
 OCAMLDEP = ocamldep
 
+LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
+LIBRARIES_OPT = $(shell ocamlfind query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
+
 all: cicAnnotationHelper
 opt: cicAnnotationHelper.opt
 
-DEPOBJS = cicAnnotationHelper.ml
+DEPOBJS = cicAnnotationHinter.mli cicAnnotationHinter.ml cicAnnotationHelper.ml
 
-CICANNOTATIONHELPEROBJS = cicAnnotationHelper.cmo
+CICANNOTATIONHELPEROBJS = cicAnnotationHinter.cmo cicAnnotationHelper.cmo
 
 depend:
 	$(OCAMLDEP) $(DEPOBJS) > .depend
 
-cicAnnotationHelper: $(CICANNOTATIONHELPEROBJS)
+cicAnnotationHelper: $(CICANNOTATIONHELPEROBJS) $(LIBRARIES)
 	$(OCAMLC)  -linkpkg -o cicAnnotationHelper $(CICANNOTATIONHELPEROBJS)
 
-cicAnnotationHelper.opt: $(CICANNOTATIONHELPEROBJS:.cmo=.cmx)
+cicAnnotationHelper.opt: $(CICANNOTATIONHELPEROBJS:.cmo=.cmx) $(LIBRARIES_OPT)
 	$(OCAMLOPT) -linkpkg -o cicAnnotationHelper.opt $(CICANNOTATIONHELPEROBJS:.cmo=.cmx)
 
 .SUFFIXES: .ml .mli .cmo .cmi .cmx
-.ml.cmo:
+.ml.cmo: $(LIBRARIES)
 	$(OCAMLC) -c $<
-.mli.cmi:
+.mli.cmi: $(LIBRARIES)
 	$(OCAMLC) -c $<
-.ml.cmx:
+.ml.cmx: $(LIBRARIES_OPT)
 	$(OCAMLOPT) -c $<
 
 clean: