ocaml/Makefile

   1 OCAMLC = ocamlopt -g -rectypes
   2 LIB = unix.cmxa str.cmxa
   3 UTILS = util.cmx console.cmx listx.cmx pure.cmx num.cmx parser.cmx
   4
   5 all: a.out test4.out
   6
   7 run: test4.out
   8         bash run
   9
  10 a.out: $(UTILS) lambda4.cmx problems.cmx
  11         $(OCAMLC) -o a.out $(LIB) $^
  12
  13 sat.out: $(UTILS) lambda4.cmx sat.ml
  14         $(OCAMLC) -o sat.out $(LIB) $^
  15 #
  16 test4.out: $(UTILS) lambda4.cmx test.ml
  17         $(OCAMLC) -o test4.out $(LIB) $^
  18
  19 %.cmi: %.mli
  20         $(OCAMLC) -c $<
  21
  22 %.cmx: %.ml %.cmi
  23         $(OCAMLC) -c $<
  24
  25 clean:
  26         rm -f *.cm* *.out *.o .depend log
  27
  28 .depend: *.ml *.mli
  29         ocamldep *.ml *.mli > .depend
  30
  31 include .depend
  32
  33 .PHONY: clean all run