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.
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
