renamed mathita to matita

[helm.git] / helm / mathita / Makefile

diff --git a/helm/mathita/Makefile b/helm/mathita/Makefile
deleted file mode 100644 (file)
index 59cbbea..0000000
--- 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
-