gmp

Matthew Fluet fluet@CS.Cornell.EDU
Tue, 22 Jan 2002 21:37:43 -0500 (EST)


> > As to shared vs. static linking, as you say, that is orthogonal to including
> > or not GMP in MLton except that if we don't include it and we use shared
> > libraries then it won't work on machines that don't have it.
> 
> Which is why I went for static linking, but not including gmp.

Can't we play games with linker options to use /usr/lib/libgmp.a if it
is found and /usr/local/lib/mlton/lib/libgmp.a (a LCD configured gmp
compile) if not?  I thought it would be sufficent to delete the libgmp.a
from my mlton/lib directory and then we would grab the system one, but it
didn't.