This update adds precise garbage collection to the compiler and the runtime.

[IRC.git] / Robust / src / buildscriptrepair

diff --git a/Robust/src/buildscriptrepair b/Robust/src/buildscriptrepair
index 1caf13f24c0393b4f9d5488814e5059d73a9529e..6cb321d9b6ac9b32a8296a35908030906a5ed738 100755 (executable)
--- a/Robust/src/buildscriptrepair
+++ b/Robust/src/buildscriptrepair
@@ -18,7 +18,7 @@ shift
 
 mkdir $BUILDDIR
 java -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
-$ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -struct $MAINFILE -conscheck \
+$ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -precise -struct $MAINFILE -conscheck \
 -struct structfile -task $@
 
 # Build all of the consistency specs
@@ -28,9 +28,12 @@ mkdir $BUILDDIR/specdir
 cp $REPAIRROOT/MCC/CRuntime/* $BUILDDIR/specdir
 
 echo > $BUILDDIR/specs
+
 # compile specs into C code
 for i in *
 do
+if [ "$i" != "CVS" ]
+then
 cd $SPECDIR/$i
 cat $BUILDDIR/structfile.struct $i.label > $i.struct
 java -cp $REPAIRROOT/:. MCC.Compiler -name $i -checkonly $i
@@ -38,6 +41,7 @@ ls
 cp size.[c,h] $BUILDDIR/specdir
 cp $i.c $i\_aux.[c,h] $BUILDDIR/specdir
 echo $i >> $BUILDDIR/specs
+fi
 done
 
 #compile C code
@@ -53,11 +57,16 @@ done
 
 #build and link everything
 
-cd $CURDIR gcc -I$ROBUSTROOT/Runtime -I. -I$BUILDDIR/specdir \
--IRuntime/include -I$BUILDDIR -O0 -DBOEHM_GC -DCONSCHECK \
+cd $CURDIR 
+gcc -I$ROBUSTROOT/Runtime -I. -I$BUILDDIR/specdir \
+-IRuntime/include -I$BUILDDIR -O0 -DPRECISE_GC -DCONSCHECK \
 -LRuntime/lib/ -lgc -DTASK -g tmpbuilddirectory/methods.c \
 tmpbuilddirectory/taskdefs.c $ROBUSTROOT/Runtime/runtime.c \
+$ROBUSTROOT/Runtime/file.c \
+$ROBUSTROOT/Runtime/socket.c \
 $ROBUSTROOT/Runtime/Queue.c $ROBUSTROOT/Runtime/SimpleHash.c \
 $ROBUSTROOT/Runtime/checkpoint.c \
+$ROBUSTROOT/Runtime/option.c \
+$ROBUSTROOT/Runtime/garbage.c \
 $ROBUSTROOT/Runtime/GenericHashtable.c $BUILDDIR/specdir/*.o -o \
 $MAINFILE.bin