[MLton-user] problems recompiling mlton on linux

[John Reppy]

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