--- /dev/null
+
+OCAMLFIND = ocamlfind
+REQUIRES = lablgtk2.glade
+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 = \
+ mathitaGui.cmo
+
+all: mathita
+
+mathita: $(CMOS) mathita.ml
+ $(OCAMLC) -linkpkg -o $@ $^
+
+mathitaGui.ml mathitaGui.mli: mathita.glade
+ $(LABLGLADECC) $< > $@
+ $(OCAMLC) -i mathitaGui.ml > mathitaGui.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 mathitaGui.ml
+
+depend: mathitaGui.ml
+ $(OCAMLDEP) *.ml *.mli > .depend
+
+include .depend
+