[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