[MLton-user] libgmp on mingw

[Tom 7]

I had the problem of make check failing on mingw too, but blazed ahead and 
it seems to work.

  - Tom

> 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
>>> 
>
>
> _______________________________________________
> MLton-user mailing list
> MLton-user at mlton.org
> http://mlton.org/mailman/listinfo/mlton-user
>
>


[ NEW! : http://tom7.org/       ]
[ OLD! : http://fonts.tom7.com/ ]