Don't need "Did you mean literal(...)?" anymore.
[repair.git] / Repair / RepairCompiler / compiler-steps.txt
1 Step 1: Building Compiler
2 -------------------------
3 cd RepairCompiler/MCC
4 make clean
5 make
6
7
8 Step 2: Run Compiler
9 --------------------
10 Example: 
11 For the specifs in ex.constraints, ex.struct, ex.space, ex.abstract, ex.model 
12 in directory Repair/Ex:
13
14 A) cd Ex
15 B) java -classpath <path to RepairCompiler> MCC.Compiler -checkonly ex
16
17 which builds:
18   ex.cc
19   ex_aux.h
20   ex_aux.cc
21   size.h
22   size.cc
23   
24
25 Step 3: Compile checker
26 -----------------------
27
28 A) copy the Runtime directory in Repair/Ex:   
29    cp -r <path to RepairCompiler>/MCC/Runtime .
30 B) copy generated files into the Runtime directory 
31    cp ex.cc ex_aux.* size.* Runtime
32 C) remove old object files 
33    cd Runtime; rm *.o
34 D) ./buildruntime
35 E) build checking object: 
36    g++ -g -c ex_aux.cc
37
38
39 Step 4: Check the application
40 -----------------------------
41
42 If ex_test.c is the application under testing, then:
43
44 A) in ex_test.c, add:
45    #include "ex_aux.h" 
46    #include "memory.h"
47 B) at the beginning of the main method, add:
48    initializemmap();
49 C) wherever you want to check the consistency constraints, add:
50    #include "ex.cc"
51 D) compile the application:
52    g++ -g ex_test.cc *.o -o ex_test
53 E) run the application: 
54    ./ex_test