From: bdemsky <bdemsky>
Date: Wed, 6 Sep 2006 14:01:40 +0000 (+0000)
Subject: adding repair build script
X-Git-Tag: preEdgeChange~835
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e9c5f8749284845f04c6aadbcbebe06d451ad0b3;p=IRC.git

adding repair build script
---

diff --git a/Robust/src/buildscriptrepair b/Robust/src/buildscriptrepair
new file mode 100755
index 00000000..2dd69e12
--- /dev/null
+++ b/Robust/src/buildscriptrepair
@@ -0,0 +1,58 @@
+#!/bin/bash
+# arguments are:
+# 1 Name of executable
+# 2 Directory containing specs
+# 3-n List of class files to compile
+
+ROBUSTROOT=~/research/Robust/src
+REPAIRROOT=~/research/Repair/RepairCompiler/
+CURDIR=`pwd`
+BUILDDIR=$CURDIR/tmpbuilddirectory
+MAINFILE=$1
+shift
+
+cd $1
+SPECDIR=`pwd`
+cd $CURDIR
+shift
+
+mkdir $BUILDDIR
+java -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
+$ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -struct $MAINFILE -struct \
+structfile.struct -task $@
+
+# Build all of the consistency specs
+
+cd $SPECDIR
+mkdir $BUILDDIR/specdir
+cp $REPAIRROOT/MCC/CRuntime/* $BUILDDIR/specdir
+
+# compile specs into C code
+for i in *
+do
+cd $SPECDIR/$i
+cp $BUILDDIR/structfile.struct $i.struct
+java -cp $REPAIRROOT/:. MCC.Compiler -checkonly $i
+cp size.[c,h] $BUILDDIR/specdir
+cp $i.c $i_aux.[c,h] $BUILDDIR/specdir
+echo $i >> $BUILDDIR/specs
+done
+
+#compile C code
+
+cd $BUILDDIR/specdir
+./buildruntime
+for i in `cat $BUILDDIR/specs`
+do
+gcc -O0 -g -c $i.c
+done
+
+#build and link everything
+
+gcc -I$ROBUSTROOT/Runtime -I. -IRuntime/include -Itmpbuilddirectory \
+-O0 -DBOEHM_GC -LRuntime/lib/ -lgc -DTASK -g \
+tmpbuilddirectory/methods.c tmpbuilddirectory/taskdefs.c \
+$ROBUSTROOT/Runtime/runtime.c $ROBUSTROOT/Runtime/Queue.c \
+$ROBUSTROOT/Runtime/SimpleHash.c $ROBUSTROOT/Runtime/checkpoint.c \
+$ROBUSTROOT/Runtime/GenericHashtable.c $BUILDDIR/specdir/*.o \
+-o $MAINFILE.bin