<div id="comment:0"></div> This could either be part of `configure`; or we could have two `type=script` packages that do that. Component: **build: configure** Reviewer: **Michael Orlitzky** _Issue created by migration from https://trac.sagemath.org/ticket/21563_