[MLton] Re: gmp on Darwin

[John Reppy]

When I get home, I'll try to figure out how it worked for me.

	- 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.
>
>