[Ur] Ur/Web on Raspbian

[Evan Danaher]

I believe you can also convince MLton to output C or object files for
the Ur/web compiler, then copy those onto the Pi and run the final gcc
compile/link of those to produce an Ur/web compiler that runs on the Pi.

I think that's what I did to get an Ur/web compiler on an (x86) VPS with
256Mb RAM a while back.

Somebody should really put together a wiki page with the various tricks
for compilint Ur, since this is at least the third time it's come up...

On Tue, Feb 23, 2016 at 09:37:18AM -0600, 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
>