Makefile

Matthew Fluet Matthew Fluet <fluet@CS.Cornell.EDU>
Mon, 20 Nov 2000 09:23:34 -0500 (EST)


> 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.

I'm actually running Mandrake 7.1 on this machine, but my guess is that it
is a different gmp.

And gcc does search mlton/lib first.  The issue is that the Makefile
never copies the libgmp.a produced in the mlton/src/runtime directory to
the mlton/lib directory.