using a specific version of gmp when compiling mlton

Nicolas Schiper <[email protected]> Wed, 5 Dec 2012 18:46:51 -0500
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAOkCbPikfnua5nG296C8Ft2sVARoMTqpP_tsh_onDE2UYx_2_w@mail.gmail.com>
Hi,

I'd like to specify the gmp library I want to use when compiling mlton.
What's the easiest way to do that?

Thanks for the help,

Nicolas

------------------------------------------------------------------------------
LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial
Remotely access PCs and mobile devices and provide instant support
Improve your efficiency, and focus on delivering more value-add services
Discover what IT Professionals Know. Rescue delivers
http://p.sf.net/sfu/logmein_12329d2d

_______________________________________________
MLton-devel mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-devel