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

[Matthew Fluet]

Deleting the installed files is sufficient for uninstalling.
-Matthew

On Tue, Jan 26, 2010 at 5:32 AM, Colin Fleming
<colin.mailinglist at gmail.com> wrote:
> 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
>>
>
> _______________________________________________
> MLton-user mailing list
> MLton-user at mlton.org
> http://mlton.org/mailman/listinfo/mlton-user
>