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