Repair/RepairCompiler/MCC/README

   1 Note:  The compiler requires jdk version 1.4 or later.
   2
   3 1. Building the compiler
   4 ---------------------------------------------------------------------
   5 To build the compiler:
   6 cd MCC
   7 make
   8
   9 2. Compiling the filesystem example:
  10 ---------------------------------------------------------------------
  11 A. First compile the specification checker:
  12
  13 cd MCC
  14 java -cp .. MCC.Compiler -aggressivesearch -prunequantifiernodes specs/filesystem/test3
  15
  16 B. Next move files to the CRuntime directory:
  17
  18 cp size.* CRuntime
  19 cp specs/filesystem/test3_aux.* CRuntime
  20 cp specs/filesystem/test3.c CRuntime
  21
  22 C. Next build the runtime:
  23
  24 cd CRuntime
  25 mkdir specs
  26 cd specs
  27 ln -s .. filesystem
  28 cd ..
  29 ./buildruntime
  30 gcc -O9 -c test3_aux.c
  31 gcc -O9 file.c *.o -o file
  32
  33 D. To run:
  34
  35 ./file 0 (create filesystem)
  36
  37 ./file 5 (write file to filesytem, interrupt with ctrl-C to
  38 introduce an error)
  39
  40 ./file x (check & repair filesystem)
  41