From 536563199bcfc1f7a84897f02b78352d5fb2fdfd Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 20 Jul 2004 02:26:11 +0000
Subject: [PATCH] Adding readme files

---
 Repair/RepairCompiler/MCC/README           | 41 ++++++++++++++++++++++
 Repair/RepairCompiler/README               |  2 ++
 Repair/RepairCompiler/structextract/README |  7 ++++
 3 files changed, 50 insertions(+)
 create mode 100755 Repair/RepairCompiler/MCC/README
 create mode 100755 Repair/RepairCompiler/README
 create mode 100755 Repair/RepairCompiler/structextract/README

diff --git a/Repair/RepairCompiler/MCC/README b/Repair/RepairCompiler/MCC/README
new file mode 100755
index 0000000..2a6dbff
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/README
@@ -0,0 +1,41 @@
+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)
+
diff --git a/Repair/RepairCompiler/README b/Repair/RepairCompiler/README
new file mode 100755
index 0000000..07f782e
--- /dev/null
+++ b/Repair/RepairCompiler/README
@@ -0,0 +1,2 @@
+MCC - compiler directory
+structextract - structure extractor directory
\ No newline at end of file
diff --git a/Repair/RepairCompiler/structextract/README b/Repair/RepairCompiler/structextract/README
new file mode 100755
index 0000000..d28825e
--- /dev/null
+++ b/Repair/RepairCompiler/structextract/README
@@ -0,0 +1,7 @@
+Structure extractor
+
+To build type ./build
+
+To run, build a binary with dwarf-2 debug information (for gcc, add the -gdwarf-2 flag).
+
+Then run ./structextract binaryfilename
-- 
2.34.1