Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-08-26 14:57:58 -0700 (Fri, 26 Aug 2005)
Revision: 7680
Log message:

      Updating the omakefiles for 0.9.6
      

Changes  Path
+9 -13 mpcompiler/mmc/OMakefile
+10 -13 mpcompiler/poplmark/pmc/OMakefile

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-08-26 15:06:25 -0700 (Fri, 26 Aug 2005)
Revision: 7681
Log message:

      More 0.9.6 updates.
      

Changes  Path
+6 -5 mpcompiler/mmc/OMakefile
+6 -5 mpcompiler/poplmark/pmc/OMakefile

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-08-26 15:22:41 -0700 (Fri, 26 Aug 2005)
Revision: 7683
Log message:

      "Nuprl_font" -> "Mpfonts"
      

Changes  Path
+5 -0 mpcompiler/mmc/OMakefile
+2 -2 mpcompiler/mmc/arch/ppc/mmc_ppc_asm.ml
+11 -11 mpcompiler/mmc/arch/x86/base/mmc_x86_asm.ml
+4 -4 mpcompiler/mmc/arch/x86/type/mmc_x86_type_check_core.ml
+2 -2 mpcompiler/mmc/base/mmc_base_judgment.ml
+1 -1 mpcompiler/mmc/core/mmc_core_ast.ml
+14 -14 mpcompiler/mmc/core/mmc_core_tast.ml
+5 -5 mpcompiler/mmc/core/mmc_core_type_check.ml
+3 -3 mpcompiler/mmc/extensions/bool/mmc_ext_bool.ml
+2 -2 mpcompiler/mmc/extensions/int/mmc_ext_int.ml
+10 -10 mpcompiler/mmc/extensions/operator/mmc_ext_operator.ml
+2 -2 mpcompiler/mmc/extensions/ref/mmc_ext_ref.ml
+1 -1 mpcompiler/mmc/extensions/sequence/mmc_ext_sequence.ml
+2 -2 mpcompiler/mmc/extensions/special/mmc_ext_special.ml
+1 -1 mpcompiler/mmc/extensions/string/mmc_ext_string.ml
+1 -1 mpcompiler/mmc/extensions/string/mmc_x86_string.ml
+3 -3 mpcompiler/mmc/extensions/tyexists/mmc_ext_tyexists.ml
+3 -3 mpcompiler/mmc/extensions/tyexists/mmc_x86_tyexists.ml
+2 -2 mpcompiler/mmc/extensions/unit/mmc_ext_unit.ml
+2 -2 mpcompiler/mmc/opt/base/mmc_meta_bool.ml
+5 -0 mpcompiler/poplmark/pmc/OMakefile
+4 -4 mpcompiler/poplmark/pmc/base/pmc_base_judgment.ml
+3 -3 mpcompiler/poplmark/pmc/core/pmc_lambda.ml
+3 -3 mpcompiler/poplmark/pmc/core/pmc_subtype.ml
+1 -1 mpcompiler/util/mm_arith_util.ml
+3 -3 mpcompiler/util/mm_meta_util.ml

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-08-26 15:42:14 -0700 (Fri, 26 Aug 2005)
Revision: 7684
Log message:

      More OMake 0.9.6 changes.
      

Changes  Path
+1 -0 mpcompiler/mmc/test/mmc
+1 -0 mpcompiler/poplmark/pmc/test/pmc

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-08-26 17:22:06 -0700 (Fri, 26 Aug 2005)
Revision: 7685
Log message:

      Current state of the MMC tests.
      

Changes  Path
+9 -7 mpcompiler/mmc/test/mmc
+443 -537 mpcompiler/mmc/test/mmc_tests_out.previous