make script

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 4 Apr 2002 12:10:46 -0500 (EST)


Any objections to applying the following diff to the src/Makefile script
target?  The relative position of build/lib to build/bin is "constant", so
this makes it a little easier to move a build directory around without
needing to touch the mlton script.

<       sed "/^lib=/s;'.*';'$(LIB)';" <bin/mlton >$(MLTON)
---
>       sed "/^lib=/s;'.*';\"\`dirname \$$0\`/../lib\";" <bin/mlton >$(MLTON)