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

[skaller]

On Fri, 2007-03-02 at 19:41 -0600, Matthew Fluet wrote:

> 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 ...
> 
> 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
Copyright (C) 2006 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you
are
welcome to change it and/or distribute copies of it under certain
conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for
details.
This GDB was configured as "x86_64-linux-gnu"... at MLton: No such file or
directory.

(gdb) run
Starting program:
load-world /work/mlton/usr/lib/mlton/world.debug.mlton ram-slop 0.5
-- /work/mlton/usr/lib/mlton -cc gcc -cc-opt-quote
-I/work/mlton/usr/lib/mlton/include -cc-opt -O1 -cc-opt
-fno-strict-aliasing\ -fomit-frame-pointer\ -w
-mlb-path-map /work/mlton/usr/lib/mlton/mlb-path-map -target-as-opt
amd64 -m64\ -mtune=opteron -target-cc-opt amd64 -m64\ -mtune=opteron
-target-cc-opt darwin -I/opt/local/include\ -I/sw/include -target-cc-opt
freebsd -I/usr/local/include -target-cc-opt netbsd -I/usr/pkg/include
-target-cc-opt openbsd -I/usr/local/include -target-cc-opt solaris
-Wa,-xarch=v8plusa\ -mcpu=ultrasparc -target-cc-opt sparc -mcpu=v8\ -m32
-target-cc-opt x86 -fno-strength-reduce\
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ -fschedule-insns\
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ -fschedule-insns2\
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ -malign-functions=5\
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ -malign-jumps=2\
\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ -malign-loops=2 -target-link-opt amd64
-m64 -target-link-opt darwin '' -target-link-opt freebsd
-L/usr/local/lib/ -target-link-opt mingw -lws2_32\ -lkernel32\ -lpsapi\
-lnetapi32 -target-link-opt netbsd -Wl,-R/usr/pkg/lib\ -L/usr/pkg/lib/
-target-link-opt openbsd -L/usr/local/lib/ -target-link-opt solaris
-lnsl\ -lsocket\ -lrt -link-opt -lgdtoa\ -lm\ -lgmp -profile-exclude
\<basis\>
No executable file specified.
Use the "file" or "exec-file" command.


-- 
John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net