Vivado 2015.2 Instructions spécifiques pour l'installation et l'utilisation

Pour la distribution que j'ai utilisée, Linux Mint Debian Edition, il est nécessaire de réaliser une opération par rapport au programme uname qui répond unknown lorsqu'il est invoqué avec l'option -i. Ceci provoque un message d'erreur et empêche l'installation de Vivado.

• Solution de « détournement » de uname¹⁾
  Il y a un uname qui fonctionne bien (en tout cas pour le “-i”):

  $ sudo dpkg-divert --add --rename --divert /bin/uname.orig /bin/uname
  $ sudo ln -s /usr/lib/klibc/bin/uname /bin/uname

  Pour revenir en arrière:

  $ sudo dpkg-divert --rename --remove /bin/uname

  Source : https://bugs.launchpad.net/ubuntu/+source/coreutils/+bug/470550