From: bdemsky <bdemsky>
Date: Mon, 8 Dec 2008 23:42:04 +0000 (+0000)
Subject: make afid work easily
X-Git-Tag: buildscript^7~3
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6aa9cf9f731d483cc0f839092de44ac4226aba33;p=IRC.git

make afid work easily
---

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index c5b34f54..cca26bec 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -251,16 +251,16 @@ fi
 
 if $MULTICOREFLAG
 then
-if ! java -Xms50m -Xmx800m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
+if ! ourjava -Xms50m -Xmx800m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
 $ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR \
 $JAVAOPTS $SRCFILES
 then exit $?
 fi
 else
-#if ! java -Xms5m -Xmx100m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
+#if ! ourjava -Xms5m -Xmx100m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
 if ! $NOJAVA
 then
-if ! java -Xms50m -Xmx600m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
+if ! ourjava -Xms50m -Xmx600m $JAVAFORWARDOPTS -classpath $ROBUSTROOT/../cup/:$ROBUSTROOT Main.Main -classlibrary \
 $ROBUSTROOT/ClassLibrary/ -dir $BUILDDIR -precise \
 $JAVAOPTS $SRCFILES
 then exit $?
diff --git a/Robust/src/ourjava b/Robust/src/ourjava
new file mode 100755
index 00000000..cf9ff1f3
--- /dev/null
+++ b/Robust/src/ourjava
@@ -0,0 +1,23 @@
+
+#!/bin/bash
+if [ -a ~/.AFID/SaveTestCase ]
+then 
+if [ -z $OLDPATH ]
+then
+export OLDPATH=$PATH
+export PATH=$PATH:~/.AFID/
+if [ ! -a ~/research/Robust/.afidconfig ]
+then
+echo "project=Compiler" > ~/research/Robust/.afidconfig
+echo "user=$USER" >> ~/research/Robust/.afidconfig
+echo "text/visual=visual" >> ~/research/Robust/.afidconfig
+echo "postURL=http://afid.eecs.uci.edu/afid/upload_file.php" >> ~/research/Robust/.afidconfig
+~/.AFID/SaveTestCase --create-exclude-file
+fi
+~/.AFID/SaveTestCase java $@
+else
+java $@
+fi
+else
+java $@
+fi
diff --git a/Robust/src/ourjavac b/Robust/src/ourjavac
new file mode 100755
index 00000000..dd823eca
--- /dev/null
+++ b/Robust/src/ourjavac
@@ -0,0 +1,23 @@
+
+#!/bin/bash
+if [ -a ~/.AFID/FindSource ]
+then 
+if [ -z $OLDPATH ]
+then
+export OLDPATH=$PATH
+export PATH=$PATH:~/.AFID/
+if [ ! -a ~/research/Robust/.afidconfig ]
+then
+echo "project=Compiler" > ~/research/Robust/.afidconfig
+echo "user=$USER" >> ~/research/Robust/.afidconfig
+echo "text/visual=visual" >> ~/research/Robust/.afidconfig
+echo "postURL=http://afid.eecs.uci.edu/afid/upload_file.php" >> ~/research/Robust/.afidconfig
+~/.AFID/SaveTestCase --create-exclude-file
+fi
+~/.AFID/FindSource javac $@
+else
+javac $@
+fi
+else
+javac $@
+fi