]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/client/Makefile
fixed a typo (inside a comment)
[helm.git] / helm / hbugs / client / Makefile
1 NAME = hbugs_client
2 METADIR = ../meta
3 REQUIRES = lablgtk2 threads hbugs-common lablgtk2.glade
4 PREDICATES = glade init
5 COMMONOPTS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
6 OCAMLC = OCAMLPATH="$(METADIR)" ocamlfind ocamlc -thread $(COMMONOPTS)
7 OCAMLOPT = OCAMLPATH="$(METADIR)" ocamlfind ocamlopt -thread $(COMMONOPTS)
8 OCAMLFIND = ocamlfind
9
10 DEPS = $(shell $(OCAMLFIND) query -recursive -predicates byte -format "%d/%a" $(REQUIRES))
11 DEPSOPT = $(shell $(OCAMLFIND) query -recursive -predicates native -format "%d/%a" $(REQUIRES))
12
13 all: byte
14 world: byte opt
15 byte: $(NAME)
16 opt: $(NAME).opt
17
18 hbugs_client_gui.ml: hbugs_gui.glade
19         lablgladecc2 $< > $@.tmp
20         mv $@.tmp $@
21 hbugs_client_gui.cmo: hbugs_client_gui.ml
22         $(OCAMLC) -c $<
23 hbugs_client_gui.cmx: hbugs_client_gui.ml
24         $(OCAMLOPT) -c $<
25 hbugs_client.cmi: hbugs_client.mli
26         $(OCAMLC) -c $<
27 hbugs_client.cmo: hbugs_client.ml hbugs_client.cmi
28         $(OCAMLC) -thread -c $<
29 hbugs_client.cmx: hbugs_client.ml hbugs_client.cmi
30         $(OCAMLOPT) -thread -c $<
31 $(NAME): $(DEPS) hbugs_client_gui.cmo $(NAME).cmo main.ml
32         $(OCAMLC) -thread -package threads -linkpkg -o $@ hbugs_client_gui.cmo $(NAME).cmo main.ml
33 $(NAME).opt: $(DEPSOPT) hbugs_client_gui.cmx $(NAME).cmx main.ml
34         $(OCAMLOPT) -thread -package threads -linkpkg -o $@ hbugs_client_gui.cmx $(NAME).cmx main.ml
35 clean:
36         rm -f *.cm[aixo] *.cmxa *.[oa] $(NAME){,.opt} hbugs_client_gui.ml
37 distclean: clean
38 .PHONY: all world byte opt clean