update readme
[repair.git] / 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