> If I add an explicit `xxx.a' onto the MLton command line, will that come > before the added -l???/libgmp.a? It will now. :-) _______________________________________________ MLton-devel mailing list MLton-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mlton-devel