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
