[MLton-user] Re: Problems building on Snow Leopard (Colin Fleming)

[Colin Fleming]

Thanks - that sounds like a good idea. I've already installed the
binary package - is there any way to cleanly delete it, other than
manually deleting the relevant files?

Cheers,
Colin

2010/1/26 John Reppy <jhr at cs.uchicago.edu>:
>
> On Jan 25, 2010, at 4:58 PM, mlton-user-request at mlton.org wrote:
>>
>> Hi Matthew,
>>
>> Thanks for the quick response. Changing the architecture didn't help,
>> I've attached the full build log. However I did manage to build with
>> 20070826, so I'll rebuild with the executable that generated now -
>> thanks for that. Am I correct in that make install creates the install
>> directory inside the source dir, and that actually installing it is
>> normally copying that to the root of the filesystem? Is there any way
>> to do a more traditional "make install"?
>
> I just edit the Makefile to set
>
>        DESTDIR =
>        PREFIX := /usr/local/mlton
>
> (I like to keep all the mlton stuff in its own subtree for easy replacement).
>
>        - John
>
>
> _______________________________________________
> MLton-user mailing list
> MLton-user at mlton.org
> http://mlton.org/mailman/listinfo/mlton-user
>