On Jun 11, 2019, at 17:13, Robert Goldman rpgoldman@sift.net wrote:
This should be straightforward. You would catch a missing-component error whose missing-requires is equal to (asdf:coerce-name "prove") (the coerce-name is probably unnecessary), and do the ql:install as needed and then apply the retry restart.
Thanks for the sketch: It is especially helpful to know about ASDF:COERCE-NAME!