[MLton-devel] Re: MLton on Debian

[Barak Pearlmutter]

> I wanted to let you know that I am now officially a Debian developer

That's great.  But it certainly took a hell of a long time!


What I do is run "pbuilder" which constructs and updates and allows on
to log in to a chroot environment with stable, testing, or unstable.

Strip takes lots of switches and its defaults might be different in
different systems and versions etc.  Maybe you should just tell the
debian scripts to not strip your executable (probably by giving an
option to dh_strip telling it to leave bin/mlton alone) and do it
yourself instead at "debian/rules install" time using carefully
selected switches.

Another possibility: might this have something to do with a library
getting munched, some xxx.a file or something like that?  Or some
library or format incompatibility related to GCC 2.x vs GCC 3.x ?

					--Barak.
--
Prof Barak A. Pearlmutter <barak@cs.may.ie>
 Hamilton Institute, NUI Maynooth, Co. Kildare, Ireland
 http://www-bcl.cs.may.ie/~barak/


-------------------------------------------------------
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