<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
On 02/26/2016 09:05 AM, Karen Sargsyan wrote:<br>
<blockquote cite="mid:56D05BC7.5060304@ibms.sinica.edu.tw"
type="cite">
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
<div class="moz-cite-prefix">
<meta charset="utf-8">
<p style="font-style: normal; font-variant: normal; font-weight:
normal; letter-spacing: normal; line-height: normal; orphans:
auto; text-align: start; text-indent: 0px; text-transform:
none; white-space: normal; widows: 1; word-spacing: 0px;
-webkit-text-stroke-width: 0px; margin: 0px; font-size: 12px;
font-family: Helvetica; color: rgb(69, 69, 69);
background-color: rgb(255, 255, 255);">To run Ur/Web one
simply needs to use latest Ubuntu Mate for RPi (<a
moz-do-not-send="true"
href="https://ubuntu-mate.org/raspberry-pi/" target="_blank"
style="color: rgb(17, 85, 204);"><span style="color:
rgb(228, 175, 9);"></span></a><a moz-do-not-send="true"
class="moz-txt-link-freetext"
href="https://ubuntu-mate.org/">https://ubuntu-mate.org/</a><wbr>raspberry-pi/).</p>
<p style="font-style: normal; font-variant: normal; font-weight:
normal; letter-spacing: normal; line-height: normal; orphans:
auto; text-align: start; text-indent: 0px; text-transform:
none; white-space: normal; widows: 1; word-spacing: 0px;
-webkit-text-stroke-width: 0px; margin: 0px; font-size: 12px;
font-family: Helvetica; color: rgb(69, 69, 69);
background-color: rgb(255, 255, 255);">It is very
user-friendly and comparable with Raspbian in terms of usage.</p>
<p style="font-style: normal; font-variant: normal; font-weight:
normal; letter-spacing: normal; line-height: normal; orphans:
auto; text-align: start; text-indent: 0px; text-transform:
none; white-space: normal; widows: 1; word-spacing: 0px;
-webkit-text-stroke-width: 0px; margin: 0px; font-size: 12px;
font-family: Helvetica; color: rgb(69, 69, 69);
background-color: rgb(255, 255, 255);"><i>sudo apt-get install
mlton</i> perfectly works, as well as <i>sudo apt-get
install urweb</i>.</p>
<p style="font-style: normal; font-variant: normal; font-weight:
normal; letter-spacing: normal; line-height: normal; orphans:
auto; text-align: start; text-indent: 0px; text-transform:
none; white-space: normal; widows: 1; word-spacing: 0px;
-webkit-text-stroke-width: 0px; margin: 0px; font-size: 12px;
font-family: Helvetica; color: rgb(69, 69, 69);
background-color: rgb(255, 255, 255);">Demo compilation went
successful and I've checked some random examples to be working
manually. </p>
<p style="font-style: normal; font-variant: normal; font-weight:
normal; letter-spacing: normal; line-height: normal; orphans:
auto; text-align: start; text-indent: 0px; text-transform:
none; white-space: normal; widows: 1; word-spacing: 0px;
-webkit-text-stroke-width: 0px; margin: 0px; font-size: 12px;
font-family: Helvetica; color: rgb(69, 69, 69);
background-color: rgb(255, 255, 255);">I didn’t hit the issue
of limited memory (RPi 2 has 1GB RAM) in those checks.</p>
</div>
</blockquote>
<br>
Cool! FYI, Ur/Web doesn't need MLton installed to run, so you could
probably skip the first command line, if you plan to run the second
one anyway. The first command line will be necessary if you want to
build Ur/Web from source, of course.<br>
</body>
</html>