X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fbroker%2FMakefile;h=e4cb57236b0328f6df9bc34116fd0fc189fc4f12;hb=1fb8d0192e1f7ee891c53dc282c9c9f111e63e3c;hp=a5b1e9af5d3fd1beb6844fcc6d2dcd9c19f62c8e;hpb=908519e733293ea817c1cf5bb9b61770e594d463;p=helm.git diff --git a/helm/hbugs/broker/Makefile b/helm/hbugs/broker/Makefile index a5b1e9af5..e4cb57236 100644 --- a/helm/hbugs/broker/Makefile +++ b/helm/hbugs/broker/Makefile @@ -1,10 +1,10 @@ NAME = hbugs_broker METADIR = ../meta -REQUIRES = http threads hbugs-common hbugs-thread-safe +REQUIRES = http threads hbugs-common hbugs-thread-safe threads COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o OCAMLFIND = ocamlfind -OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS) -OCAMLOPT = $(OCAMLFIND) ocamlopt $(COMMONOPTS) +OCAMLC = $(OCAMLFIND) ocamlc -thread $(COMMONOPTS) +OCAMLOPT = $(OCAMLFIND) ocamlopt -thread $(COMMONOPTS) OCAMLDEP = $(OCAMLFIND) ocamldep $(COMMONOPTS) MODULES = hbugs_broker_registry OCAMLDOC = \ @@ -20,6 +20,8 @@ CTL = ./hbugs_broker_ctl.sh OBJS = $(patsubst %,%.cmo,$(MODULES)) OBJSOPT = $(patsubst %,%.cmx,$(MODULES)) +DEPS = $(shell $(OCAMLFIND) query -recursive -predicates byte -format "%d/%a" $(REQUIRES)) +DEPSOPT = $(shell $(OCAMLFIND) query -recursive -predicates native -format "%d/%a" $(REQUIRES)) all: byte byte: $(NAME) @@ -41,6 +43,8 @@ depend: %.cmx: %.ml %.cmi $(OCAMLOPT) -c $< include Makefile.overrides +$(OBJS): $(DEPS) +$(OBJSOPT): $(DEPSOPT) $(NAME): $(OBJS) $(NAME).ml $(OCAMLC) -linkpkg -thread -o $@ $^ $(NAME).opt: $(OBJSOPT) $(NAME).ml