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 andrea.out: $(UTILS) andrea9.ml
  20         $(OCAMLC) -o andrea.out $(LIB) $(UTILS) andrea9.ml
  21
  22 %.cmi: %.mli
  23         $(OCAMLC) -c $<
  24
  25 %.cmx: %.ml %.cmi
  26         $(OCAMLC) -c $<
  27
  28 clean:
  29         rm -f *.cm* *.out *.o .depend log
  30
  31 .depend: *.ml *.mli
  32         ocamldep *.ml *.mli > .depend
  33
  34 include .depend
  35
  36 .PHONY: clean all run