Makefile

[Stephen Weeks]

> A quick test reveals that you can set the PATH that the shells are invoked with
> by simply adding the line
> 	PATH=...
> where ... is what ever you want the path to be.  Thus the line
> 	PATH=$(shell echo $$PATH):../bin
> would add ../bin at the end of the path (i.e., it will only use that as a last
> resort) which sounds correct to me.  I guess that this might cause trouble
> if you have an old version of MLton installed, so perhaps
> 	PATH=../bin:$(shell echo $$PATH)
> is probably the way to go.

I went with the latter.