<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<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);">I’ve found a simple
solution for running Ur/Web compiler itself and web applications</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);">on Raspberry Pi 2. It
doesn’t work for previous generations of RPi (ARMv6 based), but
considering </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);">the small price of RPi2,
it is hardly the case that anyone will make web applications</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);">to run on previous
generations. This solution may work on other machines with
ARMv7.</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); min-height:
14px; background-color: rgb(255, 255, 255);"><br>
</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);">To run Ur/Web one simply
needs to use latest Ubuntu Mate for RPi (<a
href="https://ubuntu-mate.org/raspberry-pi/" target="_blank"
style="color: rgb(17, 85, 204);"><span style="color: rgb(228,
175, 9);"><a class="moz-txt-link-freetext" href="https://ubuntu-mate.org/">https://ubuntu-mate.org/</a><wbr>raspberry-pi/</span></a>).</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>
<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); min-height:
14px; background-color: rgb(255, 255, 255);"><br>
</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);">Anyway, this solution,
though acceptable for RPi 2 users, may be not an option</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);">for other machines. I’ll
dig further and update if anything useful is found.</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); min-height:
14px; background-color: rgb(255, 255, 255);"><br>
</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);">Best regards,</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);">Karen</p>
<br>
<br>
On 2/24/16 1:14 AM, <a class="moz-txt-link-abbreviated" href="mailto:jasonpepas@gmail.com">jasonpepas@gmail.com</a> wrote:<br>
</div>
<blockquote
cite="mid:8A50A06A-D066-4A93-AAED-EBDB2F89C211@gmail.com"
type="cite">
<pre wrap="">
</pre>
<blockquote type="cite">
<pre wrap="">On Feb 23, 2016, at 10:55 AM, Adam Chlipala <a class="moz-txt-link-rfc2396E" href="mailto:adamc@csail.mit.edu"><adamc@csail.mit.edu></a> wrote:
</pre>
<blockquote type="cite">
<pre wrap="">On 02/23/2016 11:35 AM, Austin Seipp wrote:
Truthfully, I think it would be much nicer to just have urweb itself
emit a standalone C file, including the entire runtime system with it
(literally, copying its source into the output .c file). Then
'building it' is as trivial as either copying and compiling, or
running arm-linux-gnueabihf-gcc on your host machine, and copying the
result of that.
</pre>
</blockquote>
<pre wrap="">
I wouldn't mind at all adding such a mode (opt-in) to the compiler, especially if someone else (not me) submits a pull request with the required code.
</pre>
</blockquote>
<pre wrap="">
Subscribed.
_______________________________________________
Ur mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Ur@impredicative.com">Ur@impredicative.com</a>
<a class="moz-txt-link-freetext" href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a>
</pre>
</blockquote>
<br>
</body>
</html>