Makefile

[Henry Cejtin]

I'm  confused about how __mpn_lshift and __mpn_rshift could be missing.  They
are in the version that we make and the standard version. ...  Ah, it's  name
changed  in  gmp-3.0.1 and that is what is shipped with Red Hat 7.0.  Is that
what you are running on?  I had intended to switch to the new gmp but haven't
gotten  to  it yet.  I would have thought that the -L.../mlton/lib would have
been searched first.

The moral is that the right thing to do is to actually put the full  path  in
for our libraries I guess.