[MLton-user] problems recompiling mlton on linux

John Reppy jhr at cs.uchicago.edu
Fri Jan 15 16:17:07 PST 2010


I did a "make clean" prior to the build, but I'll try checking out a fresh copy
just to be sure.

	- John

On Jan 15, 2010, at 6:13 PM, Matthew Fluet wrote:

> I can't reproduce.  I was able to bootstrap on amd64-linux (Fedora 10)
> from 20070826 to r7392 without any problems.  The recent commit that
> changed how cross-compiler targets are represented did change where
> libraries were stored, so might have caused some confusion if you
> didn't have a clean source tree.
> 
> -Matthew
> 
> On Fri, Jan 15, 2010 at 4:32 PM, John Reppy <jhr at cs.uchicago.edu> wrote:
>> I've been trying to compile the latest (r7392) version of mlton on linux, but I hit a segmentation
>> fault when the make gets to mllex:
>> 
>>        ...
>>        Type checking mlrisc-lib library.
>>        Type checking mlyacc-lib library.
>>        Type checking smlnj-lib library.
>>        make -C "mllex"
>>        make[2]: Entering directory `/home/jhr/addon/mlton/mlton/mllex'
>>        Compiling mllex
>>        "mlton" -target self mllex.mlb
>>        make[2]: *** [mllex] Segmentation fault
>>        make[2]: Leaving directory `/home/jhr/addon/mlton/mlton/mllex'
>> 
>> I'm using the 20070826 release (x86-64).  Any suggestions for what might be the problem or
>> how to work around it?
>> 
>>        - John
>> 
>> 
>> _______________________________________________
>> MLton-user mailing list
>> MLton-user at mlton.org
>> http://mlton.org/mailman/listinfo/mlton-user
>> 
> 




More information about the MLton-user mailing list