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.