]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathita/Makefile
first check in of mathita gui
[helm.git] / helm / mathita / Makefile
diff --git a/helm/mathita/Makefile b/helm/mathita/Makefile
new file mode 100644 (file)
index 0000000..02b52ea
--- /dev/null
@@ -0,0 +1,41 @@
+
+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
+