]> matita.cs.unibo.it Git - helm.git/commitdiff
s/gui/hbugs_client_gui/
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 13:50:28 +0000 (13:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 13:50:28 +0000 (13:50 +0000)
helm/hbugs/client/.cvsignore
helm/hbugs/client/Makefile

index b2aeedb7d1ab2300da6373ffa424ffe264852255..405d7b0f4cd4f9d6c16a7500c6cdf9dfb0006f04 100644 (file)
@@ -4,6 +4,6 @@
 *.cmx
 *.o
 *.a
-gui.ml
+hbugs_client_gui.ml
 hbugs_client
 hbugs_client.opt
index 70ffca88afa3c1ec20bb9467964a53855b393c65..4ac9af006d6ecea07c50ec4c946a1697dcdf4525 100644 (file)
@@ -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