[Ur] Ur/Web on Raspbian

[Adrian Thompson]

Hello,

I compiled Ur on the Beaglebone Black a long time ago.  There was some ARM
issues when compiling - I can't remember what they were.  But the major
issue you will find is that compiling Ur requires more RAM than you would
expect.  Add 2GB of swap (swap file) and then compile for a long time lol.

Adrian


-----Original Message-----
From: Ur [mailto:ur-bounces at impredicative.com] On Behalf Of karsar
Sent: February 23, 2016 2:11 AM
To: Sergey Mironov
Cc: The Ur programming language
Subject: Re: [Ur] Ur/Web on Raspbian

I wanted to run Ur/Web compiler. I still want to try make it work on RPi,
but your idea to produce C code instead is probably what I need, as my goal
is to get a working application. I'll share my results in this thread later.

With best regards,
Karen  


-----Original message-----
From:Sergey Mironov <grrwlf at gmail.com>
To:karsar <karsar at ibms.sinica.edu.tw>,The Ur programming language
<ur at impredicative.com> Date:Tue, 23 Feb 2016 15:45:55
Subject:Re: [Ur] Ur/Web on Raspbian

Hi. Do you want to run Ur/Web the compiler on ARM or just Ur/Web
application? If the latter is a case, then you may think about asking Ur/Web
to produce C-code instead of binary and then compile it with ARM GCC. You
will need database library to link with, but it is not a problem. AFAIK,
Ur/Web produces C code in any case (check out -debug flag creating
/tmp/webapp.c) and then compiles it with GCC.

Regards,
Sergey

PS I remember someone started similar topic on this list

2016-02-23 10:01 GMT+03:00 karsar <karsar at ibms.sinica.edu.tw>:
> Hi,
>
> As Ur/Web is after not only secure, but fast web applications, I'm 
> interested in checking how well those will run on a system with low 
> resources. I have several RPis (Raspberry Pi) of different 
> generations, therefore running Ur/Web application on them (Raspiban OS)
seems to be a way to go.  Ur/Web  requires MLlton (there is no MLton package
in Raspbian, as I know) and MLton may ask more memory than RPi has.
> Looks like cross-compilation is the only option. Did anyone try to get 
> Ur/Web working on RPi or other ARM based machine with low resources? If
yes, could you provide details on the  required steps?
>
> With best regards,
> Karen Sargsyan
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

_______________________________________________
Ur mailing list
Ur at impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur