Step 1: Building Compiler
-------------------------
cd RepairCompiler/MCC
make clean
make


Step 2: Run Compiler
--------------------
Example: 
For the specifs in ex.constraints, ex.struct, ex.space, ex.abstract, ex.model 
in directory Repair/Ex:

A) cd Ex
B) java -classpath <path to RepairCompiler> MCC.Compiler ex

which builds:
  ex.cc
  ex_aux.h
  ex_aux.cc
  size.h
  size.cc
  

Step 3: Compile checker
-----------------------

A) copy generated files into Runtime directory
B) remove old object files rm *.o
C) run ./buildruntime
D) build checking object: g++ -g -c ex_aux.cc
E) g++ -g ex_test.cc *.o
F) run ./a.out