X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2FMakefile;fp=helm%2Fhbugs%2Fclient%2FMakefile;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=19491ded7ec174af636dd9be416be9e0ce2911ed;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/hbugs/client/Makefile b/helm/hbugs/client/Makefile
deleted file mode 100644
index 19491ded7..000000000
--- a/helm/hbugs/client/Makefile
+++ /dev/null
@@ -1,37 +0,0 @@
-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)
-OCAMLFIND = ocamlfind
-
-DEPS = $(shell $(OCAMLFIND) query -recursive -predicates byte -format "%d/%a" $(REQUIRES))
-DEPSOPT = $(shell $(OCAMLFIND) query -recursive -predicates native -format "%d/%a" $(REQUIRES))
-
-all: byte
-world: byte opt
-byte: $(NAME)
-opt: $(NAME).opt
-
-hbugs_client_gui.ml: hbugs_gui.glade
-	lablgladecc $< > $@
-hbugs_client_gui.cmo: hbugs_client_gui.ml
-	$(OCAMLC) -c $<
-hbugs_client_gui.cmx: hbugs_client_gui.ml
-	$(OCAMLOPT) -c $<
-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): $(DEPS) hbugs_client_gui.cmo $(NAME).cmo main.ml
-	$(OCAMLC) -thread -package threads -linkpkg -o $@ hbugs_client_gui.cmo $(NAME).cmo main.ml
-$(NAME).opt: $(DEPSOPT) hbugs_client_gui.cmx $(NAME).cmx main.ml
-	$(OCAMLOPT) -thread -package threads -linkpkg -o $@ hbugs_client_gui.cmx $(NAME).cmx main.ml
-clean:
-	rm -f *.cm[aixo] *.cmxa *.[oa] $(NAME){,.opt} hbugs_client_gui.ml
-distclean: clean
-.PHONY: all world byte opt clean