[MLton-devel] mlton/doc CHANGES,1.62,1.63

[Stephen Weeks]

> As to how to do this, I remember that the linker walks down the search path
> (set in /etc/ld.so.conf) and first looks for a .so file and then for a .a
> (unless you specify -static).  A bit of a pain.  What would be nice would be
> if you could do
> 	-static -lgmp -dynamic
> to just have it link with the static gmp, but this does not work.

OK, so I'll add something that (on Linux) looks for libgmp.a in the
paths in /etc/ld.so.conf, and if it finds it, links with that instead
of -lgmp.

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel