]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/client/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / hbugs / client / Makefile
1 NAME = hbugs_client
2 METADIR = ../meta
3 REQUIRES = lablgtk threads hbugs-common
4 PREDICATES = glade init
5 COMMONOPTS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
6 OCAMLC = OCAMLPATH="$(METADIR)" ocamlfind ocamlc $(COMMONOPTS)
7 OCAMLOPT = OCAMLPATH="$(METADIR)" ocamlfind ocamlopt $(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         lablgladecc $< > $@
20 hbugs_client_gui.cmo: hbugs_client_gui.ml
21         $(OCAMLC) -c $<
22 hbugs_client_gui.cmx: hbugs_client_gui.ml
23         $(OCAMLOPT) -c $<
24 hbugs_client.cmi: hbugs_client.mli
25         $(OCAMLC) -c $<
26 hbugs_client.cmo: hbugs_client.ml hbugs_client.cmi
27         $(OCAMLC) -c $<
28 hbugs_client.cmx: hbugs_client.ml hbugs_client.cmi
29         $(OCAMLOPT) -c $<
30 $(NAME): $(DEPS) hbugs_client_gui.cmo $(NAME).cmo main.ml
31         $(OCAMLC) -thread -package threads -linkpkg -o $@ hbugs_client_gui.cmo $(NAME).cmo main.ml
32 $(NAME).opt: $(DEPSOPT) hbugs_client_gui.cmx $(NAME).cmx main.ml
33         $(OCAMLOPT) -thread -package threads -linkpkg -o $@ hbugs_client_gui.cmx $(NAME).cmx main.ml
34 clean:
35         rm -f *.cm[aixo] *.cmxa *.[oa] $(NAME){,.opt} hbugs_client_gui.ml
36 distclean: clean
37 .PHONY: all world byte opt clean