Makefile not quite right

[Stephen Weeks]

> The current makefile is not right because it leaves the executable mlton (the
> one that ends up in /usr/local/lib/mlton/lib) in  src/mlton.   Thus,  if  you
> then  try  and  re-build it, it tries to use THAT mlton (instead of the shell
> script that gets put in /usr/local/bin) as what  it  should  run  to  compile
> things.

I assume you are talking about src/mlton/Makefile, not src/Makefile?
If so, I don't see how what you say could happen, given the following line
PATH = $(BIN):$(shell echo $$PATH)

>  I  thought about this some and I think that it is a mistake to call
> this executable mlton.  Note with gcc, gcc is the analog of the shell  script
> and cc1 is the analog of the a.out file.

I am happy to change the name of the a.out to mltonc or mlton1 or whatever.
Lemme know what you want.