[Ur] Compiling ur/web on Mac OS X 10.6 (Snow Leopard)

[Christoph Angerer]

I tried compiling from the svn sources, yes. In this version, the deprecated ucontext issue is fixed, but that doesn't mean that it compiles :( 

The issue is, that MLton wants an MLton compiler to compile itself. I don't get the binaries to work, though (their 3 year old "release" as well as the last August's experimental ones). The newest experimental one that is statically linked still has this ucontext issue and the dynamically linked binaries don't want to link to my libgmp (found /usr/local/lib/libgmp.3.dylib: mach-o, but wrong architecture)

I also tried to do the MLton bootstrapping by compiling it with sml/nj (make TARGET_ARCH=amd64 smlnj-mlton) but my impression is, that this MLton is really messed up. For example, in their platform/Makefile they invoke mlton even though it shouldn't for bootstrapping (since it doesn't exist, obviously). There is no way that this ever works for somebody who doesn't have mlton installed already, as far as I can tell. I commented out this target and I got a little further. But then you have to "fix" (=uncomment, most of the time) one issue after the other until you essentially give up.

I am running out of ideas and I will probably try to compile it on a linux machine for now and wait until the MLton people get a binary out that works for snow leopard... Is MLton that essential for Ur, btw? My impression is, that the sml/nj for example is much easier to install and in "better shape", but that just might be the impression of an unknowing outsider.

Anyhow, I think this is all related to problems with MLton so that I should probably should write them and not you guys:) Thanks for listening, though!
Christoph

On 22.02.2010, at 02:30, Adam Chlipala wrote:

> Christoph Angerer wrote:
>> I installed the MLton binary for Darwin (Intel) and then simply added the #define in the /usr/local/lib/mlton/include/platform/darwin.h header.
>>   
> 
> I think the latest MLton release is known not to work on Snow Leopard, but the version in MLton Subversion _does_ work.  I don't see much point in each Snow Leopard user patching every bug himself, when there is already MLton code available with these problems fixed from the start.  Have you tried the Subversion version?
>    http://mlton.org/Sources
> 
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur