New implementation using the new HELM OCaml libraries.

[helm.git] / helm / metadata / create2 / mk_forward / Makefile

diff --git a/helm/metadata/create2/mk_forward/Makefile b/helm/metadata/create2/mk_forward/Makefile
index d8bcc9bd3d03e611f32e258dc31726c9d082887f..921486dbdb586a26f3e538923a374384e4d454ca 100644 (file)
--- 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