> I don't know how I would add autodetection for this to > the MLton makefiles. How would you do this autodetection? I don't know anything about autodetection, so if you find something that works, fine with me. Maybe Henry has something to say.