[MLton-user] problems recompiling mlton on linux

Matthew Fluet matthew.fluet at gmail.com
Fri Jan 15 16:13:03 PST 2010


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