[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