[MLton-user] libgmp on mingw

[Vesa Karvonen]

Here are earlier posts that are likely to be relevant:

  http://mlton.org/pipermail/mlton-user/2007-October/001203.html
    http://mlton.org/pipermail/mlton-user/2007-October/001220.html
  http://mlton.org/pipermail/mlton-user/2007-June/001125.html

In summary, assuming I got the facts straight, the new release of
MLton uses GMP as a DLL, and therefore you need to build & install GMP
as a shared library. So, assuming you haven't done this already, grab
the GMP source dist (http://gmplib.org/#DOWNLOAD), build it and
install it.  See the configure options in the June message.

-Vesa Karvonen

On Oct 31, 2007 11:14 PM, Dave Herman <dherman at ccs.neu.edu> wrote:
> I've installed the new release of MLton in MinGW and I'm getting libgmp
> errors that I can't figure out. It apparently is finding the libgmp
> library but then failing to link:
>
> DAVE$ mlton test.sml
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x2ec5):gc.c: undefined
> reference to `_imp____gmpz_cmp'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x4289):gc.c: undefined
> reference to `_imp____gmpz_get_str'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x454b):gc.c: undefined
> reference to `_imp____gmpz_mul_2exp'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x456a):gc.c: undefined
> reference to `_imp____gmpz_fdiv_q_2exp'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x47a9):gc.c: undefined
> reference to `_imp____gmpz_com'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x4800):gc.c: undefined
> reference to `_imp____gmpz_xor'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x4a98):gc.c: undefined
> reference to `_imp____gmpz_sub'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x4d30):gc.c: undefined
> reference to `_imp____gmpz_tdiv_r'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x4fc8):gc.c: undefined
> reference to `_imp____gmpz_ior'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x5260):gc.c: undefined
> reference to `_imp____gmpz_tdiv_q'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x54f8):gc.c: undefined
> reference to `_imp____gmpz_mul'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x5790):gc.c: undefined
> reference to `_imp____gmpz_gcd'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x5a28):gc.c: undefined
> reference to `_imp____gmpz_and'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0x5cc0):gc.c: undefined
> reference to `_imp____gmpz_add'
> c:\mingw\lib\mlton\self/libmlton.a(gc.o)(.text+0xb775):gc.c: undefined
> reference to `_imp____gmpz_set_str'
> collect2: ld returned 1 exit status
> call to system failed with signal 1:
> gcc -o test C:\DOCUME~1\dherman\LOCALS~1\Temp\filezBOPCu.o
> C:\DOCUME~1\dherman\LOCALS~1\Temp\filecm6PiD.o -Lc:\mingw\lib\mlton\self
> -lmlton -lgdtoa -lm -lgmp -lws2_32 -lkernel32 -lpsapi -lnetapi32
>
> Can anyone help? I'm stumped..
>
> Thanks,
> Dave
>
> _______________________________________________
> MLton-user mailing list
> MLton-user at mlton.org
> http://mlton.org/mailman/listinfo/mlton-user
>