> I'm undecided. As Henry has pointed out, once you have an implicit > dependency, it seems to make sense to be able to disable that > dependency. True. I'm leaning toward no implicit dependency. After all, most people will be able to a long way just using $(SML_LIB). Perhaps specifying path variables on the command line would be more convenient than path maps?