[MLton] Experimental 64-bit binary package (& SVN sources)

[Matthew Fluet]

>> Please try running mlton.debug.  Assuming you get the same "Floating 
>> point exception", please modify the /usr/bin/mlton.debug script to 
>> invoke mlton-compile under gdb.  In the doit() function, change
>>    exec "$mlton" @MLton ...
>> to
>>    exec gdb "$mlton" --args @MLton ...

 From your log, it looks like exec and gdb don't play well together.

>> Then run mlton.debug and hopefully this will identify where the SIGFPE 
>> is coming from. 
> 
> Without gdb, I still get the FPE. But with gdb I get this:
> 
> skaller at rosella:/work/mlton/usr$ bin/mlton.debug 
> GNU gdb 6.4.90-debian
> This GDB was configured as "x86_64-linux-gnu"... at MLton: No such file or
> directory.

It seems to have missed mlton-compile.debug as the executable, and 
"@MLton" should have been passed as an argument to the executable.