]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/client/Makefile
- redesigned error and warning handling for libxslt
[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
9 all: byte
10 world: byte opt
11 byte: $(NAME)
12 opt: $(NAME).opt
13
14 hbugs_client_gui.ml: hbugs_gui.glade
15         lablgladecc $< > $@
16 hbugs_client_gui.cmo: hbugs_client_gui.ml
17         $(OCAMLC) -c $<
18 hbugs_client_gui.cmx: hbugs_client_gui.ml
19         $(OCAMLOPT) -c $<
20 hbugs_client.cmi: hbugs_client.mli
21         $(OCAMLC) -c $<
22 hbugs_client.cmo: hbugs_client.ml hbugs_client.cmi
23         $(OCAMLC) -c $<
24 hbugs_client.cmx: hbugs_client.ml hbugs_client.cmi
25         $(OCAMLOPT) -c $<
26 $(NAME): hbugs_client_gui.cmo $(NAME).cmo main.ml
27         $(OCAMLC) -thread -package threads -linkpkg -o $@ $^
28 $(NAME).opt: hbugs_client_gui.cmx $(NAME).cmx main.ml
29         $(OCAMLOPT) -thread -package threads -linkpkg -o $@ $^
30 clean:
31         rm -f *.cm[aixo] *.cmxa *.[oa] $(NAME){,.opt} hbugs_client_gui.ml
32 distclean: clean
33 .PHONY: all world byte opt clean