Changes by: Cristian Tapus (crt at cs.caltech.edu)
Date: 2004-03-17 18:14:25 -0800 (Wed, 17 Mar 2004)
Revision: 5476
Log message:

      Cristian and Aleksey:
      
      - Added macros for including subdirectories from the Mojave theory.
      Now the subdirectories should _not_ have their own OMakefile's, unless
      they want to do something unusual.
      
      - Added minor fixes to get some of the extensions to compile.
      

Changes  Path
+25 -21 mpcompiler/mmc/OMakefile
+1 -1 mpcompiler/mmc/core/Files
Deleted mpcompiler/mmc/core/OMakefile
+1 -0 mpcompiler/mmc/core/mmc_core_cps.mli
Deleted mpcompiler/mmc/extensions/Files
Deleted mpcompiler/mmc/extensions/Makefile
Deleted mpcompiler/mmc/extensions/OMakefile
Added mpcompiler/mmc/extensions/arithmetic_integer/Files
Properties mpcompiler/mmc/extensions/arithmetic_integer/Files
Added mpcompiler/mmc/extensions/array/Files
Properties mpcompiler/mmc/extensions/array/Files
+9 -0 mpcompiler/mmc/extensions/array/mmc_ext_array.ml
Added mpcompiler/mmc/extensions/bool/Files
Properties mpcompiler/mmc/extensions/bool/Files
+15 -23 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
Added mpcompiler/mmc/extensions/fix/Files
Properties mpcompiler/mmc/extensions/fix/Files
+2 -2 mpcompiler/mmc/extensions/fix/mmc_ext_fix.ml
Added mpcompiler/mmc/extensions/int/Files
Properties mpcompiler/mmc/extensions/int/Files
+9 -0 mpcompiler/mmc/extensions/int/mmc_ext_int.ml
Added mpcompiler/mmc/extensions/operator/Files
Properties mpcompiler/mmc/extensions/operator/Files
+1 -1 mpcompiler/util/Files
Deleted mpcompiler/util/OMakefile