New MLton distribution...
Mon, 10 Jul 2000 12:17:41 -0700 (PDT)
Interesting, from nm, I see that a normal libgmp.a has
00000000 T __mpn_add_n
But from the one built from ANOQ's distro
00000000 T ___mpn_add_n
I.E. there is an extra "_". This consistently happens for all the
And, the following works for me
gcc -o mlton ../src/mlton.o libmlton.a $HOME/mlton/lib/libgmp.a -lm
The only difference is that I am linking with libgmp.a from my
internal version of MLton.