Started updating Urweb; didn't finish

frameworks/Ur/urweb/bash_profile.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+
+export URWEB_HOME=${IROOT}/urweb

frameworks/Ur/urweb/install.sh

@@ -1,11 +1,13 @@
 #!/bin/bash
 
-RETCODE=$(fw_exists /usr/local/bin/urweb)
+RETCODE=$(fw_exists ${IROOT}/urweb.installed)
 [ ! "$RETCODE" == 0 ] || { return 0; }
 
 fw_get http://www.impredicative.com/ur/urweb-20140830.tgz
 fw_untar urweb-20140830.tgz
 cd urweb-20140830
-./configure
+./configure --prefix=${IROOT}/urweb
 make
-sudo make install
+make install
+
+touch ${IROOT}/urweb.installed

frameworks/Ur/urweb/setup.sh

@@ -0,0 +1,5 @@
+#!/bin/bash
+
+${URWEB_HOME}/bin/urweb -db "dbname=hello_world user=benchmarkdbuser password=benchmarkdbpass host=${DBHOST}" bench
+
+./bench.exe -q -k -t ${MAX_THREADS} &

frameworks/Ur/urweb/setup_mysql.sh

@@ -0,0 +1,5 @@
+#!/bin/bash
+
+${URWEB_HOME}/bin/urweb -dbms mysql -db "dbname=hello_world user=benchmarkdbuser password=benchmarkdbpass host=${DBHOST}" bench
+
+./bench.exe -q -k -t ${MAX_THREADS} &