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
> [email protected]
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur


_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to