[MLton-user] mlton-20070826 on mingw
Bernard.Berthomieu at laas.fr
Mon Dec 10 09:29:31 PST 2007
So far, we were building our mlton applications for windows using a
based on mlton-2005. We want to upgrade to mlton-2007; since a prebuilt
for mingw is available, we gave it a try, using the latest msys 1.0 and
and the prebuilt dynamic libgmp from http://cs.nyu.edu/exact/core/gmp.
We could successfully compile our applications, and they run correctly
dynamically linked. However, for compiling, we had to remove the
timezone and gettimeofday from file
as these are now provided by the current mingw headers and gcc
Now, to ease installation of our applications, I typically install
mlton so that libgmp
is statically linked with the applications, by putting a copy of
lib/mlton/self. I have seen in previous messages on this list that this
does not work
for mlton-20070826 on mingw. If I'm doing this, I get the link error:
undefined reference to `_imp____gmpz_cmp'
undefined reference to `_imp____gmpz_get_str'
Could someone explain me why exactly do we get the above error ?
and how one could link libgmp statically with mlton applications on that
Many thanks for any help,
More information about the MLton-user