X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmetadata%2Fcreate2%2Fmk_forward%2FMakefile;fp=helm%2Fmetadata%2Fcreate2%2Fmk_forward%2FMakefile;h=f24c47a669f0ef8fb50be8d8247053b40ccb2ee0;hb=f9b4235fda2f3d390ef8fa5ddee2d4e2a0f377ae;hp=921486dbdb586a26f3e538923a374384e4d454ca;hpb=ae326f646ef4c01b43d6da04201b427d1e175400;p=helm.git

diff --git a/helm/metadata/create2/mk_forward/Makefile b/helm/metadata/create2/mk_forward/Makefile
index 921486dbd..f24c47a66 100644
--- a/helm/metadata/create2/mk_forward/Makefile
+++ b/helm/metadata/create2/mk_forward/Makefile
@@ -1,4 +1,3 @@
-BIN_DIR = /usr/local/bin
 REQUIRES = helm-xml helm-cic_proof_checking
 PREDICATES = miniReduction
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
@@ -7,6 +6,9 @@ OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
 
+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: mk_forward
 opt: mk_forward.opt
 
@@ -17,18 +19,18 @@ MKFORWARDOBJS = mk_forward.cmo
 depend:
 	$(OCAMLDEP) $(DEPOBJS) > .depend
 
-mk_forward: $(MKFORWARDOBJS)
+mk_forward: $(MKFORWARDOBJS) $(LIBRARIES)
 	$(OCAMLC) -linkpkg -o mk_forward $(MKFORWARDOBJS)
 
-mk_forward.opt: $(MKFORWARDOBJS:.cmo=.cmx)
+mk_forward.opt: $(MKFORWARDOBJS:.cmo=.cmx) $(LIBRARIES_OPT)
 	$(OCAMLOPT) -linkpkg -o mk_forward.opt $(MKFORWARDOBJS:.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: