New MLton distribution...

Stephen Weeks sweeks@intertrust.com
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
missing routines. 

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.