[MLton-user] Re: Problems building on Snow Leopard (Colin Fleming)
John Reppy
jhr at cs.uchicago.edu
Mon Jan 25 15:26:20 PST 2010
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
More information about the MLton-user
mailing list