> Nevertheless, on request, I'll research what I must have been doing > wrong.
I'm just guessing, but the most likely cause is that you didn't have ml-yacc installed. kaol mentioned pathconfig, but that doesn't help in this case since pathconfig is updated in ml-yacc.postinst. If there is anything to fix here, it's the confusing error message. If you saw this instead, I think you would have figured it out easily. Error: (stable) $/ml-yacc-lib.cm: unable to find $SMLNJ-ML-YACC-LIB/ml-yacc.lib.cm # And no extra path Seo Sanghyeon -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]