X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2FMakefile;h=4ac9af006d6ecea07c50ec4c946a1697dcdf4525;hb=85ccebb566c36671ca753debe09e6dd5c9dd0df7;hp=70ffca88afa3c1ec20bb9467964a53855b393c65;hpb=58cc9aa288286beb79f78ce4546d5a4bebde54e5;p=helm.git

diff --git a/helm/hbugs/client/Makefile b/helm/hbugs/client/Makefile
index 70ffca88a..4ac9af006 100644
--- a/helm/hbugs/client/Makefile
+++ b/helm/hbugs/client/Makefile
@@ -11,11 +11,11 @@ world: byte opt
 byte: $(NAME)
 opt: $(NAME).opt
 
-# gui.ml: hbugs_gui.glade
-# 	lablgladecc $< > $@
-gui.cmo: gui.ml
+hbugs_client_gui.ml: hbugs_gui.glade
+	lablgladecc $< > $@
+hbugs_client_gui.cmo: hbugs_client_gui.ml
 	$(OCAMLC) -c $<
-gui.cmx: gui.ml
+hbugs_client_gui.cmx: hbugs_client_gui.ml
 	$(OCAMLOPT) -c $<
 hbugs_client.cmi: hbugs_client.mli
 	$(OCAMLC) -c $<
@@ -23,11 +23,11 @@ hbugs_client.cmo: hbugs_client.ml hbugs_client.cmi
 	$(OCAMLC) -c $<
 hbugs_client.cmx: hbugs_client.ml hbugs_client.cmi
 	$(OCAMLOPT) -c $<
-$(NAME): gui.cmo $(NAME).cmo
+$(NAME): hbugs_client_gui.cmo $(NAME).cmo main.ml
 	$(OCAMLC) -thread -package threads -linkpkg -o $@ $^
-$(NAME).opt: gui.cmx $(NAME).cmx
+$(NAME).opt: hbugs_client_gui.cmx $(NAME).cmx main.ml
 	$(OCAMLOPT) -thread -package threads -linkpkg -o $@ $^
 clean:
-# 	rm -f *.cm[aixo] *.cmxa *.[oa] $(NAME){,.opt} gui.ml
-	rm -f *.cm[aixo] *.cmxa *.[oa] $(NAME){,.opt}
+	rm -f *.cm[aixo] *.cmxa *.[oa] $(NAME){,.opt} hbugs_client_gui.ml
+distclean: clean
 .PHONY: all world byte opt clean