]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/client/Makefile
first client implementation as a standalone application
[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 gui.ml: hbugs_gui.glade
15         lablgladecc $< > $@
16 gui.cmo: gui.ml
17         $(OCAMLC) -c $<
18 gui.cmx: gui.ml
19         $(OCAMLOPT) -c $<
20 $(NAME): gui.cmo $(NAME).ml
21         $(OCAMLC) -thread -package threads -linkpkg -o $@ $^
22 $(NAME).opt: gui.cmx $(NAME).ml
23         $(OCAMLOPT) -thread -package threads -linkpkg -o $@ $^
24 clean:
25         rm -f *.cm[aixo] *.cmxa *.[oa] $(NAME){,.opt} gui.ml
26 .PHONY: all world byte opt clean