Re: using a specific version of gmp when compiling mlton
Matthew Fluet <[email protected]> Thu, 6 Dec 2012 09:17:40 -0500
| Newsgroups | gmane.comp.lang.ml.mlton.devel |
|---|---|
| Message-ID | <CAMrhFL4Wih3SOipe_mBTaJKbHos_if4T+nok6P17w3kkbNfb9A@mail.gmail.com> |
On Wed, Dec 5, 2012 at 6:46 PM, Nicolas Schiper <[email protected]>wrote: > I'd like to specify the gmp library I want to use when compiling mlton. > What's the easiest way to do that? > By default, compiling mlton will look for gmp.h in the "usual" places (using "-I /usr/local/include" and some other platform specific paths (e.g., "-I /opt/local/include" for MacPorts on darwin; "-I /usr/pkg/include" on NetBSD)). To change this behavior, edit /runtime/Makefile. The resulting mlton compiler will look for libgmp in the corresponding "usual" places (using "-L /usr/local/include" and some other platform specific paths). To change this behavior, edit /bin/mlton-script. ------------------------------------------------------------------------------ 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