[MLton] MLRISC port MLBs have invalid absolute paths

Matthew Fluet fluet@cs.cornell.edu
Thu, 30 Mar 2006 06:09:05 -0500 (EST)


> The lib/mlrisc-lib stuff has a lot of references to absolute paths
> beginning with /home/fluet/...  It looks like they all appear in
> auto-generated MLB files.

I must have made that patch with a cm2mlb that didn't have the new 
SMLNJ-MLRISC mapping.  I've commited a fix to the .patch file and I'll 
check my scripts when I get a chance.