]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/client/Makefile
exported hbugsClient class so that it can be used from outside
[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 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): gui.cmo $(NAME).cmo
27         $(OCAMLC) -thread -package threads -linkpkg -o $@ $^
28 $(NAME).opt: gui.cmx $(NAME).cmx
29         $(OCAMLOPT) -thread -package threads -linkpkg -o $@ $^
30 clean:
31 #       rm -f *.cm[aixo] *.cmxa *.[oa] $(NAME){,.opt} gui.ml
32         rm -f *.cm[aixo] *.cmxa *.[oa] $(NAME){,.opt}
33 .PHONY: all world byte opt clean