> I would also suggest adding libgmp.a to the RUNTIME list in the > /src/Makefile. Done. This addresses the problem, and I don't think we need full path names. The gmp was simply missing from mlton/lib.