]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/client/Makefile
first client implementation as a standalone application
[helm.git] / helm / hbugs / client / Makefile
diff --git a/helm/hbugs/client/Makefile b/helm/hbugs/client/Makefile
new file mode 100644 (file)
index 0000000..e96695d
--- /dev/null
@@ -0,0 +1,26 @@
+NAME = hbugs_client
+METADIR = ../meta
+REQUIRES = lablgtk threads hbugs-common
+PREDICATES = glade init
+COMMONOPTS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLC = OCAMLPATH="$(METADIR)" ocamlfind ocamlc $(COMMONOPTS)
+OCAMLOPT = OCAMLPATH="$(METADIR)" ocamlfind ocamlopt $(COMMONOPTS)
+
+all: byte
+world: byte opt
+byte: $(NAME)
+opt: $(NAME).opt
+
+gui.ml: hbugs_gui.glade
+       lablgladecc $< > $@
+gui.cmo: gui.ml
+       $(OCAMLC) -c $<
+gui.cmx: gui.ml
+       $(OCAMLOPT) -c $<
+$(NAME): gui.cmo $(NAME).ml
+       $(OCAMLC) -thread -package threads -linkpkg -o $@ $^
+$(NAME).opt: gui.cmx $(NAME).ml
+       $(OCAMLOPT) -thread -package threads -linkpkg -o $@ $^
+clean:
+       rm -f *.cm[aixo] *.cmxa *.[oa] $(NAME){,.opt} gui.ml
+.PHONY: all world byte opt clean