<div id="comment:0"></div> This is so that one can go ahead with `make SPKG` right after `./configure` (as discussed in #30718). CC: @jhpalmieri Component: **build** _Issue created by migration from https://trac.sagemath.org/ticket/30721_