[Ur] Ur/Web on Raspbian

Karen Sargsyan karsar at ibms.sinica.edu.tw
Tue Feb 23 11:23:33 EST 2016


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: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
>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>




More information about the Ur mailing list