4 # 2 Directory containing specs
5 # 3-n List of class files to compile
7 ROBUSTROOT=~/research/Robust/src
8 REPAIRROOT=~/research/Repair/RepairCompiler/
10 BUILDDIR=$CURDIR/tmpbuilddirectory
20 java -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
21 $ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -struct $MAINFILE -struct \
22 structfile.struct -task $@
24 # Build all of the consistency specs
27 mkdir $BUILDDIR/specdir
28 cp $REPAIRROOT/MCC/CRuntime/* $BUILDDIR/specdir
30 # compile specs into C code
34 cp $BUILDDIR/structfile.struct $i.struct
35 java -cp $REPAIRROOT/:. MCC.Compiler -checkonly $i
36 cp size.[c,h] $BUILDDIR/specdir
37 cp $i.c $i_aux.[c,h] $BUILDDIR/specdir
38 echo $i >> $BUILDDIR/specs
45 for i in `cat $BUILDDIR/specs`
50 #build and link everything
52 gcc -I$ROBUSTROOT/Runtime -I. -IRuntime/include -Itmpbuilddirectory \
53 -O0 -DBOEHM_GC -LRuntime/lib/ -lgc -DTASK -g \
54 tmpbuilddirectory/methods.c tmpbuilddirectory/taskdefs.c \
55 $ROBUSTROOT/Runtime/runtime.c $ROBUSTROOT/Runtime/Queue.c \
56 $ROBUSTROOT/Runtime/SimpleHash.c $ROBUSTROOT/Runtime/checkpoint.c \
57 $ROBUSTROOT/Runtime/GenericHashtable.c $BUILDDIR/specdir/*.o \