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.