[MLton-devel] mlton/bin mlton,1.11,1.12
Henry Cejtin
henry@sourcelight.com
Thu, 25 Apr 2002 22:16:33 -0500
If I add an explicit `xxx.a' onto the MLton command line, will that come
before the added -l???/libgmp.a? Hopefully it does so that that way I could,
if I wanted to, force it to use some different version of libgmp.a (or .so)
by explicitly listing it. (The one I would provide has to come before the
one you generate for that to work.)
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel