[Ur] Ur/Web on Raspbian

[Karen Sargsyan]

I’ve found a simple solution for running Ur/Web compiler itself and web 
applications

on Raspberry Pi 2. It doesn’t work for previous generations of RPi 
(ARMv6 based), but considering

the small price of RPi2, it is hardly the case that anyone will make web 
applications

to run on previous generations.  This solution may work on other 
machines with ARMv7.


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.


Anyway, this solution, though acceptable for RPi 2 users, may be not an 
option

for other machines. I’ll dig further and update if anything useful is found.


Best regards,

Karen



On 2/24/16 1:14 AM, jasonpepas at gmail.com wrote:
>
>> On Feb 23, 2016, at 10:55 AM, Adam Chlipala <adamc at csail.mit.edu> wrote:
>>
>>> 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.
>> 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.
> Subscribed.
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160226/2180b7c5/attachment.html>