[MLton] gmp on Darwin

Matthew Fluet fluet at cs.cornell.edu
Thu Nov 23 12:09:08 PST 2006


> Every time I build MLton from scratch, I modify the pathing so that it 
> can fine my GMP headers, which are in /opt/local (since I use MacPorts 
> for most of the prerequisites).

A recent commit (r4840) adds /opt/local/include to the -I paths and adds 
/opt/local/lib to the -L paths, so MLton should compile with either 
MacPorts or Fink.  The linker paths are 'biased' towards MacPorts, so if 
you have both around, you'll link against /opt/local/lib.

> I also have to play with various files to get it to expect to be found 
> in PREFIX=/opt/local for the binaries, manpages, etc.  It's no big deal, 
> but probably annoying for new users.

I wouldn't expect you to need to change anything but the top-level 
Makefile.  And, I think that defaulting to /usr/local for darwin is the 
right choice.  It's not worth the Makefile hackery to try to dynamically 
detect whether the user is using MacPorts or Fink or self-installed 
/usr/local.  Should someone decide to provide MLton as a MacPorts or Fink 
package, it should be very easy for them to maintain the patch that 
installs in the package appropriate location.


> ----- Original Message ----
> From: Matthew Fluet <fluet at cs.cornell.edu>
> To: MLton at mlton.org
> Cc: Eric McCorkle <eric at shadowsun.net>; John Reppy <jhr at cs.uchicago.edu>
> Sent: Friday, November 17, 2006 1:54:39 PM
> Subject: [MLton] gmp on Darwin
>
>
> I got an Intel MacPro for an office machine, and, no suprise, am trying to
> build mlton.  John's binary works fine, having installed gmp via fink.
>
> However, when I try to build from SVN sources, building the runtime fails
> because /sw/include isn't in the default include path and #include "gmp.h"
> fails.
>
> Now, I know various ways to fix this, but I'm curious as to why it hasn't
> been an issue for anyone who has built on Darwin previously.
>
>
> _______________________________________________
> MLton mailing list
> MLton at mlton.org
> http://mlton.org/mailman/listinfo/mlton
>
>
>
> _______________________________________________
> MLton mailing list
> MLton at mlton.org
> http://mlton.org/mailman/listinfo/mlton
>



More information about the MLton mailing list