X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate2%2Fmk_forward%2FMakefile;h=3eccfbf95e97a20ba686b2cf301e46a7905aa6d5;hb=e7e2a523299d807370b292b44e77f46fad1638c9;hp=d8bcc9bd3d03e611f32e258dc31726c9d082887f;hpb=a12fefc78e783661fbb638907252d2265c6af9dd;p=helm.git

diff --git a/helm/metadata/create2/mk_forward/Makefile b/helm/metadata/create2/mk_forward/Makefile
index d8bcc9bd3..3eccfbf95 100644
--- a/helm/metadata/create2/mk_forward/Makefile
+++ b/helm/metadata/create2/mk_forward/Makefile
@@ -1,43 +1,36 @@
-OCAMLOPTIONS = -package netstring -package netclient -package pxp
-
+REQUIRES = helm-xml helm-cic_proof_checking
+PREDICATES = miniReduction
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
 OCAMLDEP = ocamldep
 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
 
-DEPOBJS = xml.ml xml.mli csc_pxp_reader.ml configuration.ml \
-          clientHTTP.ml clientHTTP.mli cic.ml deannotate.ml \
-          uriManager.ml uriManager.mli getter.ml getter.mli \
-          pxpUriResolver.ml cicParser3.ml cicParser3.mli \
-          cicParser2.ml cicParser2.mli cicParser.ml \
-          cicParser.mli cicSubstitution.ml cicSubstitution.mli \
-          cicMiniReduction.ml cicMiniReduction.mli mk_forward.ml
-
-MKFORWARDOBJS = xml.cmo csc_pxp_reader.cmo configuration.cmo \
-                   clientHTTP.cmo cic.cmo deannotate.cmo \
-                   uriManager.cmo getter.cmo pxpUriResolver.ml \
-                   cicParser3.cmo cicParser2.cmo cicParser.cmo \
-                   cicSubstitution.cmo cicMiniReduction.cmo \
-                   mk_forward.cmo
+DEPOBJS = mk_forward.ml
+
+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: