[MLton-devel] MLton on Debian

[Stephen Weeks]

Hi Barak.  I wanted to let you know that I am now officially a Debian
developer and have successfully duploaded a Debian MLton package
(20030710).

Despite that success, I am having a serious problem with building the
MLton package on Debian sarge, and I was wondering if you had a little
time and a sarge machine that you could try stuff out on?  The problem
I am seeing is that strip version 2.14.90.0.4 is producing a bad
executable.  The MLton executable (mlton-compile) works fine
unstripped, but when stripped, it segfaults.  This could be a problem
in MLton's gc, but I don't think so, due to some other facts.  First,
strip on Debian is producing different results (on the same input)
than the same version of strip on RedHat.  Even more, strip on my
Debian sarge machine is behaving non-deterministically -- usually it
produces different results than the RedHat strip, but occasionally it
produces the same results.

Anyways, let us know if you have some time to try a few things.
Thanks.



-------------------------------------------------------
This SF.net email is sponsored by: VM Ware
With VMware you can run multiple operating systems on a single machine.
WITHOUT REBOOTING! Mix Linux / Windows / Novell virtual machines at the
same time. Free trial click here: http://www.vmware.com/wl/offer/345/0
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel