Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-04-15 13:48:46 -0700 (Tue, 15 Apr 2003)
Revision: 4433
Log message:

      | Add preliminary omake build system.
      |
      | Here's some things I haven't done yet.
      |    1. Support for some .PHONY targets like "clean".
      |    2. TeX compilation needs support in editor/ml/OMakefile.
      |    3. Haven't tried "omake -j 4" yet.
      |    4. editor/ml/Makefile is pretty ugly, could be cleaned up.
      

Changes  Path
+1 -1 metaprl/Makefile
Added metaprl/OMakefile
Properties metaprl/OMakefile
Added metaprl/OMakeroot
Properties metaprl/OMakeroot
Added metaprl/debug/OMakefile
Properties metaprl/debug/OMakefile
Added metaprl/editor/ml/OMakefile
Properties metaprl/editor/ml/OMakefile
Added metaprl/ensemble/OMakefile
Properties metaprl/ensemble/OMakefile
Added metaprl/filter/OMakefile
Properties metaprl/filter/OMakefile
+1 -1 metaprl/filter/base/Files
Added metaprl/filter/base/OMakefile
Properties metaprl/filter/base/OMakefile
+1 -1 metaprl/filter/boot/Files
Added metaprl/filter/boot/OMakefile
Properties metaprl/filter/boot/OMakefile
Added metaprl/filter/filter/OMakefile
Properties metaprl/filter/filter/OMakefile
+1 -1 metaprl/filter/phobos/Files
Added metaprl/filter/phobos/OMakefile
Properties metaprl/filter/phobos/OMakefile
Added metaprl/library/OMakefile
Properties metaprl/library/OMakefile
+6 -0 metaprl/mk/make_config.sh
+3 -0 metaprl/mk/preface
Added metaprl/mllib/OMakefile
Properties metaprl/mllib/OMakefile
+0 -0 metaprl/mllib/array_linear_set.ml
Added metaprl/refiner/OMakefile
Properties metaprl/refiner/OMakefile
+1 -1 metaprl/refiner/refbase/Files
Added metaprl/refiner/refbase/OMakefile
Properties metaprl/refiner/refbase/OMakefile
+1 -1 metaprl/refiner/refiner/Files
Added metaprl/refiner/refiner/OMakefile
Properties metaprl/refiner/refiner/OMakefile
+1 -1 metaprl/refiner/reflib/Files
Added metaprl/refiner/reflib/OMakefile
Properties metaprl/refiner/reflib/OMakefile
+1 -1 metaprl/refiner/refsig/Files
Added metaprl/refiner/refsig/OMakefile
Properties metaprl/refiner/refsig/OMakefile
+2 -2 metaprl/refiner/rewrite/Files
Added metaprl/refiner/rewrite/OMakefile
Properties metaprl/refiner/rewrite/OMakefile
+1 -1 metaprl/refiner/term_ds/Files
Added metaprl/refiner/term_ds/OMakefile
Properties metaprl/refiner/term_ds/OMakefile
+1 -1 metaprl/refiner/term_gen/Files
Added metaprl/refiner/term_gen/OMakefile
Properties metaprl/refiner/term_gen/OMakefile
+1 -1 metaprl/refiner/term_std/Files
Added metaprl/refiner/term_std/OMakefile
Properties metaprl/refiner/term_std/OMakefile
Added metaprl/theories/base/OMakefile
Properties metaprl/theories/base/OMakefile
Added metaprl/theories/czf/OMakefile
Properties metaprl/theories/czf/OMakefile
Added metaprl/theories/experimental/compile/OMakefile
Properties metaprl/theories/experimental/compile/OMakefile
+9 -8 metaprl/theories/experimental/compile/m_ra_type.ml
Added metaprl/theories/fir/OMakefile
Properties metaprl/theories/fir/OMakefile
Added metaprl/theories/fol/OMakefile
Properties metaprl/theories/fol/OMakefile
Added metaprl/theories/itt/OMakefile
Properties metaprl/theories/itt/OMakefile
Added metaprl/theories/mc/OMakefile
Properties metaprl/theories/mc/OMakefile
Added metaprl/theories/ocaml/OMakefile
Properties metaprl/theories/ocaml/OMakefile
Added metaprl/theories/ocaml_doc/OMakefile
Properties metaprl/theories/ocaml_doc/OMakefile
Added metaprl/theories/ocaml_sos/OMakefile
Properties metaprl/theories/ocaml_sos/OMakefile
Added metaprl/theories/phobos/OMakefile
Properties metaprl/theories/phobos/OMakefile
Added metaprl/theories/sil/OMakefile
Properties metaprl/theories/sil/OMakefile
Added metaprl/theories/tactic/OMakefile
Properties metaprl/theories/tactic/OMakefile
Added metaprl/theories/tptp/OMakefile
Properties metaprl/theories/tptp/OMakefile
Added metaprl/theories/tutorial/OMakefile
Properties metaprl/theories/tutorial/OMakefile
Added metaprl-branches/lm_libmojave/clib/OMakefile
Properties metaprl-branches/lm_libmojave/clib/OMakefile