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.