Pushed as 15929beb5f1cd2bf96c53eef0f5da3e986c30530, thank you! I did some small changes to the package definition, so I attach the actual patch I pushed, so you can review it and hopefully learn from it :) When you don't need a phase, you can delete it, instead of replacing it with a procedure that does nothing. To pass arguments to the make command, you can use the #:make-flags argument.