X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fcommon%2FMakefile;h=94c354f044a880981bc56b95ac2a524ae18e43eb;hb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;hp=3a3d96821d8a2f8f0b1f5e622254569590a761a0;hpb=10f0d657b652fa050f29e7a5bac6f4bb3ff89b71;p=helm.git

diff --git a/helm/hbugs/common/Makefile b/helm/hbugs/common/Makefile
index 3a3d96821..94c354f04 100644
--- a/helm/hbugs/common/Makefile
+++ b/helm/hbugs/common/Makefile
@@ -18,6 +18,8 @@ MODULES =	\
 
 OBJS = $(patsubst %,%.cmo,$(MODULES))
 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
+DEPS = $(shell $(OCAMLFIND) query -recursive -predicates byte -format "%d/%a" $(REQUIRES))
+DEPSOPT = $(shell $(OCAMLFIND) query -recursive -predicates native -format "%d/%a" $(REQUIRES))
 
 all: byte
 byte: $(OBJS)
@@ -38,6 +40,8 @@ depend:
 %.cmx: %.ml %.cmi
 	$(OCAMLOPT) -c $<
 include Makefile.overrides
+$(OBJS): $(DEPS)
+$(OBJSOPT): $(DEPSOPT)
 
 distclean: clean
 clean: