Neat! Would you mind contributing a patch to address this ARM issue?
(Presumably this is just the code you already tweaked, perhaps ideally
using some kind of preprocessor magic to decide if the alignment is
necessary, or maybe alignment is also good for performance on all
platforms that should be supported.)
On 05/07/2014 12:36 PM, Evan Danaher wrote:
On Wed, May 07, 2014 at 08:37:58AM -0400, Adam Chlipala wrote:
[snip]
I don't know if anyone has built Ur/Web servers for ARM, but I can't think
of any reason why it wouldn't work right away. If there are issues, they're
probably easy to fix. Certainly Ur/Web is used regularly with both 32-bit
and 64-bit x86.
I haven't finished any projects, but some of my playing around was on an
ARM machine running Ubuntu. IIRC, I had to tweak uw_malloc to always be
4-byte aligned, but aside from that I didn't run into any issues. (I
also didn't do anything particularly exciting, but the basics at least
worked without issue.)
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
