X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Frdfly%2FMakefile;fp=helm%2Fsoftware%2Fdaemons%2Frdfly%2FMakefile;h=779bb7b44c9cc6de0424a91e78194128b3becbf6;hb=76ad23ea1e83e8c187a4593027e9baed1bb022e3;hp=0000000000000000000000000000000000000000;hpb=2b2b90087f836c2f32291935216549e9370e68c3;p=helm.git

diff --git a/helm/software/daemons/rdfly/Makefile b/helm/software/daemons/rdfly/Makefile
new file mode 100644
index 000000000..779bb7b44
--- /dev/null
+++ b/helm/software/daemons/rdfly/Makefile
@@ -0,0 +1,39 @@
+BIN_DIR = /usr/local/bin
+REQUIRES = mysql http helm-registry
+PREDICATES = 
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
+OCAMLFIND = ocamlfind
+OCAMLC = $(OCAMLFIND) ocamlc -thread $(OCAMLOPTIONS)
+OCAMLOPT = $(OCAMLFIND) ocamlopt -thread $(OCAMLOPTIONS)
+OCAMLDEP = ocamldep -pp camlp4o
+
+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))
+
+OBJS = rdfly.cmo
+
+all: rdfly
+opt: rdfly.opt
+
+rdfly: $(OBJS) $(LIBRARIES)
+	$(OCAMLC) -linkpkg -o $@ $(OBJS)
+
+rdfly.opt: $(OBJS:.cmo=.cmx) $(LIBRARIES_OPT)
+	$(OCAMLOPT) -linkpkg -o rdfly.opt $(OBJS:.cmo=.cmx)
+
+.SUFFIXES: .ml .mli .cmo .cmi .cmx
+.ml.cmo:
+	$(OCAMLC) -c $<
+.mli.cmi:
+	$(OCAMLC) -c $<
+.ml.cmx:
+	$(OCAMLOPT) -c $<
+
+$(OBJS): $(LIBRARIES)
+$(OBJS:.cmo=.cmx)): $(LIBRARIES_OPT)
+
+clean:
+	rm -f *.cm[iox] *.o rdfly rdfly.opt
+
+.PHONY: install uninstall clean
+