Note:  The compiler requires jdk version 1.4 or later.

1. Building the compiler
---------------------------------------------------------------------
To build the compiler:
cd MCC
make

2. Compiling the filesystem example:
---------------------------------------------------------------------
A. First compile the specification checker:

cd MCC
java -cp .. MCC.Compiler -aggressivesearch -prunequantifiernodes specs/filesystem/test3

B. Next move files to the runtime directory:

cp size.* Runtime
cp specs/filesystem/test3_aux.* Runtime
cp specs/filesystem/test3.cc Runtime

C. Next build the runtime:

cd Runtime
mkdir specs
cd specs
ln -s .. filesystem
cd ..
./buildruntime
g++ -O9 -c test3_aux.cc
g++ -O9 danfile.cc *.o -o danfile

D. To run:

./danfile 0 (create filesystem)

./danfile 1 (write file to filesytem, interrupt with ctrl-C to
introduce an error)

./danfile x (check & repair filesystem)