[Ur] Ur/Web on Raspbian

[Adam Chlipala]

On 02/26/2016 09:05 AM, Karen Sargsyan wrote:
>
> To run Ur/Web one simply needs to use latest Ubuntu Mate for RPi 
> (<https://ubuntu-mate.org/raspberry-pi/>https://ubuntu-mate.org/raspberry-pi/).
>
> It is very user-friendly and comparable with Raspbian in terms of usage.
>
> /sudo apt-get install mlton/ perfectly works, as well as /sudo apt-get 
> install urweb/.
>
> Demo compilation went successful and I've checked some random examples 
> to be working manually.
>
> I didn’t hit the issue of limited memory (RPi 2 has 1GB RAM) in those 
> checks.
>

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160226/4c56412c/attachment.html>