1 Note: The compiler requires jdk version 1.4 or later.
3 1. Building the compiler
4 ---------------------------------------------------------------------
9 2. Compiling the filesystem example:
10 ---------------------------------------------------------------------
11 A. First compile the specification checker:
14 java -cp .. MCC.Compiler -aggressivesearch -prunequantifiernodes specs/filesystem/test3
16 B. Next move files to the runtime directory:
19 cp specs/filesystem/test3_aux.* Runtime
20 cp specs/filesystem/test3.cc Runtime
22 C. Next build the runtime:
30 g++ -O9 -c test3_aux.cc
31 g++ -O9 danfile.cc *.o -o danfile
35 ./danfile 0 (create filesystem)
37 ./danfile 1 (write file to filesytem, interrupt with ctrl-C to
40 ./danfile x (check & repair filesystem)