gmp

[Henry Cejtin]

Yes, you can definitely do that.  Since we use -L and -l to load it, it will
find the standard one if you remove the one that MLton comes with.  This
requires that it is in a `standard' place or that we add where ever it is
to the list of places that gcc searches for (via another -L).
What did you do that failed?  I just tried on my Red Hat 7.1 machine to do
	gcc xxx.c -lgmp
and it found the standard one, just as I would expect it would.