[MLton-user] libgmp on mingw

[Dave Herman]

Thanks. This seems to have mostly worked for me, although the libgmp 
`make check' target fails its tests. Everything seems to work anyway, 
though. Did you have the same experience?

Dave

Vesa Karvonen wrote:
> 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
>>