Robust/src/buildscript

   1 #!/bin/bash
   2 ROBUSTROOT=~/research/Robust/src
   3 MAINFILE=$1
   4 shift
   5 mkdir tmpbuilddirectory
   6 java -cp $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary $ROBUSTROOT/ClassLibrary/ -dir tmpbuilddirectory -mainclass $MAINFILE $@
   7 gcc -I$ROBUSTROOT/Runtime -Itmpbuilddirectory -O0 -g tmpbuilddirectory/methods.c $ROBUSTROOT/Runtime/runtime.c  $ROBUSTROOT/Runtime/file.c -o $MAINFILE.bin