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:[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
