[Ur] Ur/Web on Raspbian

[karsar]

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