helm/mathita/Makefile

   1
   2 OCAMLFIND = ocamlfind
   3 REQUIRES = lablgtk2.glade helm-registry
   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         mathitaGeneratedGui.cmo \
  13         mathitaGtkMisc.cmo \
  14         mathitaGui.cmo
  15
  16 all: mathita
  17
  18 mathita: $(CMOS) mathita.ml
  19         $(OCAMLC) -linkpkg -o $@ $^
  20
  21 mathitaGeneratedGui.ml mathitaGeneratedGui.mli: mathita.glade
  22         $(LABLGLADECC) $< > $@
  23         $(OCAMLC) -i mathitaGeneratedGui.ml > mathitaGeneratedGui.mli
  24
  25 %.cmi: %.mli
  26         $(OCAMLC) -c $<
  27 %.cmo %.cmi: %.ml
  28         $(OCAMLC) -c $<
  29 %.cmx: %.ml
  30         $(OCAMLOPT) -c $<
  31 %.ml %.mli: %.mly
  32         $(OCAMLYACC) $<
  33
  34 clean:
  35         rm -rf *.cm[aoix] *.cmxa *.[ao] mathita
  36 distclean: clean
  37         rm -f mathitaGeneratedGui.ml
  38
  39 depend: mathitaGeneratedGui.ml
  40         $(OCAMLDEP) *.ml *.mli > .depend
  41
  42 include .depend
  43