X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fmathita%2FMakefile;fp=helm%2Fmathita%2FMakefile;h=0000000000000000000000000000000000000000;hb=c5d4ad1c98c1434b95a8a9b1c8697dd36cf39623;hp=59cbbea6feecd9db0669aa7b9d71917f07eb229e;hpb=07287062d5b84a0f2b66380d0d380bbf68217a27;p=helm.git

diff --git a/helm/mathita/Makefile b/helm/mathita/Makefile
deleted file mode 100644
index 59cbbea6f..000000000
--- a/helm/mathita/Makefile
+++ /dev/null
@@ -1,43 +0,0 @@
-
-OCAMLFIND = ocamlfind
-REQUIRES = lablgtk2.glade helm-registry
-OCAML_FLAGS = -package "$(REQUIRES)" -pp camlp4o
-OCAML_THREADS_FLAGS = -thread
-OCAML_DEBUG_FLAGS =
-OCAMLC = $(OCAMLFIND) ocamlc $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS) $(OCAML_DEBUG_FLAGS)
-OCAMLOPT = $(OCAMLFIND) opt $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS) $(OCAML_DEBUG_FLAGS)
-OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
-LABLGLADECC = lablgladecc2
-CMOS = \
-        mathitaGeneratedGui.cmo \
-	mathitaGtkMisc.cmo \
-	mathitaGui.cmo
-
-all: mathita
-
-mathita: $(CMOS) mathita.ml
-	$(OCAMLC) -linkpkg -o $@ $^
-
-mathitaGeneratedGui.ml mathitaGeneratedGui.mli: mathita.glade
-	$(LABLGLADECC) $< > $@
-	$(OCAMLC) -i mathitaGeneratedGui.ml > mathitaGeneratedGui.mli
-
-%.cmi: %.mli
-	$(OCAMLC) -c $<
-%.cmo %.cmi: %.ml
-	$(OCAMLC) -c $<
-%.cmx: %.ml
-	$(OCAMLOPT) -c $<
-%.ml %.mli: %.mly
-	$(OCAMLYACC) $<
-
-clean:
-	rm -rf *.cm[aoix] *.cmxa *.[ao] mathita
-distclean: clean
-	rm -f mathitaGeneratedGui.ml
-
-depend: mathitaGeneratedGui.ml
-	$(OCAMLDEP) *.ml *.mli > .depend
-
-include .depend
-