O que acabei fazendo:
-
Obtenha a lista de pacotes instalados a partir do PPA de conjunto de ferramentas associado ao GCC-5:
aptitude -F "%p" search "?origin(ubuntu-toolchain-r) ?version(5.4.1) ?installed"
-
Para cada um deles, faça o download da versão correta manualmente:
aptitude download cpp-5=5.4.0-6ubuntu1~16.04.9 ...
-
Instale todos os .debs baixados:
sudo dpkg -i *.deb
(Agora é um bom momento para
apt check
e certifique-se de que você não quebrou nada.) -
Defina esses pacotes para que as versões do PPA nunca sejam usadas, criando um arquivo em
/etc/apt/preferences.d/
contendoPackage: gcc-5 cpp-5 g++-5 gcc-5-base gcc-5-base:i386 gcc-5-doc libasan2 libgcc-5-dev libgcj16 libmpx0 libobjc-5-dev libstdc++-5-dev Pin: release o=LP-PPA-ubuntu-toolchain-r-test Pin-Priority: -1
Execute
apt-cache policy gcc-5
e verifique se a versão antiga é a preferida. -
Reconstrua todos os módulos DKMS:
dkms status # list DKMS modules sudo dkms remove modulename/version -k $(uname -r) sudo dkms build modulename/version -k $(uname -r) sudo dkms install modulename/version -k $(uname -r)
Verifique com
modinfo
se o vermagic dos módulos recém-compilados inclui "retpoline". -
reboot
e espero que tudo ainda funcione.