I came to the same conclusion, so I'm more after an easy setup for making RPi web applications via
C code produced by Ur/Web compiler hosted on a different machine.
I'll share my setup, as soon as I figure out procedure, make script and test on several applications.

Karen

On 2/24/16 12:02 AM, Adam Chlipala wrote:
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



_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to