This should be closed as wontfix since we now use premake5 by default (#3729) and will drop premake4 completely soon.
However, since this ticket is tracked by the package maintainers who want to unbundle premake, I would like to submit a patch adding option --with-system-premake5 to update-workspaces.sh, before closing it.