X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2FMakefile;h=70ffca88afa3c1ec20bb9467964a53855b393c65;hb=42fa20a1eac55122a1c6b2b47511ed162212c29b;hp=e96695dbe3e54f3efc916c59ad83ddbc8cb3782b;hpb=2db12b2fb1b0846ae2140273aec5ed8df27c9201;p=helm.git

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