Ur/Web needs Ubuntu package 'mlton'

frameworks/Ur/urweb/setup.sh

@@ -5,6 +5,7 @@ COMPILER=${IROOT}/urweb
 
 RETCODE=$(fw_exists ${COMPILER}.installed)
 [ "$RETCODE" == 0 ] || { \
+  sudo apt-get install mlton
   cd $IROOT
   fw_get -O http://www.impredicative.com/ur/urweb-$VERSION.tgz
   fw_untar urweb-$VERSION.tgz