[MLton] Re: gmp on Darwin

[John Reppy]

It turns out that I have a copy of gmp.h in /usr/local/include, which  
predates
my installing libgmp from fink.

	- John

On Nov 17, 2006, at 4:18 PM, Matthew Fluet wrote:

>
>>> 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.
>>
>> I built GMP from source.  I imagine anyone else who's built  
>> successfully did as well.
>
> O.k.  Then gmp.h would live in /usr/include or /usr/local/include  
> and be found.
>
>