helm/mathita/Makefile

   1
   2 OCAMLFIND = ocamlfind
   3 REQUIRES = lablgtk2.glade
   4 OCAML_FLAGS = -package "$(REQUIRES)" -pp camlp4o
   5 OCAML_THREADS_FLAGS = -thread
   6 OCAML_DEBUG_FLAGS =
   7 OCAMLC = $(OCAMLFIND) ocamlc $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS) $(OCAML_DEBUG_FLAGS)
   8 OCAMLOPT = $(OCAMLFIND) opt $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS) $(OCAML_DEBUG_FLAGS)
   9 OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAML_FLAGS)
  10 LABLGLADECC = lablgladecc2
  11 CMOS = \
  12         mathitaGui.cmo
  13
  14 all: mathita
  15
  16 mathita: $(CMOS) mathita.ml
  17         $(OCAMLC) -linkpkg -o $@ $^
  18
  19 mathitaGui.ml mathitaGui.mli: mathita.glade
  20         $(LABLGLADECC) $< > $@
  21         $(OCAMLC) -i mathitaGui.ml > mathitaGui.mli
  22
  23 %.cmi: %.mli
  24         $(OCAMLC) -c $<
  25 %.cmo %.cmi: %.ml
  26         $(OCAMLC) -c $<
  27 %.cmx: %.ml
  28         $(OCAMLOPT) -c $<
  29 %.ml %.mli: %.mly
  30         $(OCAMLYACC) $<
  31
  32 clean:
  33         rm -rf *.cm[aoix] *.cmxa *.[ao] mathita
  34 distclean: clean
  35         rm -f mathitaGui.ml
  36
  37 depend: mathitaGui.ml
  38         $(OCAMLDEP) *.ml *.mli > .depend
  39
  40 include .depend
  41