X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate2%2Fmk_forward%2FMakefile;h=921486dbdb586a26f3e538923a374384e4d454ca;hb=0742463cef7f17755fa9b28cbd435b4e730b7935;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..921486dbd 100644
--- a/helm/metadata/create2/mk_forward/Makefile
+++ b/helm/metadata/create2/mk_forward/Makefile
@@ -1,5 +1,7 @@
-OCAMLOPTIONS = -package netstring -package netclient -package pxp
-
+BIN_DIR = /usr/local/bin
+REQUIRES = helm-xml helm-cic_proof_checking
+PREDICATES = miniReduction
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLDEP = ocamldep
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
@@ -8,20 +10,9 @@ OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
 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