[Ur] Ur/Web on Raspbian

[Adam Chlipala]

Yes, let me reaffirm a general point here, which might dissuade you from 
this quest: while the Ur/Web compiler produces unusually compact 
executables, the compiler itself requires unusually much time and memory 
to execute.  It's a whole-program optimizing compiler.

On 02/23/2016 10:37 AM, Adrian Thompson wrote:
> 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
>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur