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 -conscheck \
22 -struct structfile -task $@
24 # Build all of the consistency specs
27 mkdir $BUILDDIR/specdir
28 cp $REPAIRROOT/MCC/CRuntime/* $BUILDDIR/specdir
30 echo > $BUILDDIR/specs
32 # compile specs into C code
38 cat $BUILDDIR/structfile.struct $i.label > $i.struct
39 java -cp $REPAIRROOT/:. MCC.Compiler -name $i -checkonly $i
41 cp size.[c,h] $BUILDDIR/specdir
42 cp $i.c $i\_aux.[c,h] $BUILDDIR/specdir
43 echo $i >> $BUILDDIR/specs
51 echo > $BUILDDIR/checkers.h
52 for i in `cat $BUILDDIR/specs`
54 gcc -O0 -g -c $i\_aux.c
55 echo \#include \"specdir\/$i\_aux.h\" >> $BUILDDIR/checkers.h
58 #build and link everything
61 gcc -I$ROBUSTROOT/Runtime -I. -I$BUILDDIR/specdir \
62 -IRuntime/include -I$BUILDDIR -O0 -DBOEHM_GC -DCONSCHECK \
63 -LRuntime/lib/ -lgc -DTASK -g tmpbuilddirectory/methods.c \
64 tmpbuilddirectory/taskdefs.c $ROBUSTROOT/Runtime/runtime.c \
65 $ROBUSTROOT/Runtime/file.c \
66 $ROBUSTROOT/Runtime/socket.c \
67 $ROBUSTROOT/Runtime/Queue.c $ROBUSTROOT/Runtime/SimpleHash.c \
68 $ROBUSTROOT/Runtime/checkpoint.c \
69 $ROBUSTROOT/Runtime/GenericHashtable.c $BUILDDIR/specdir/*.o -o \