# Gère les dépôts utilisés pour installer des programmes (common)
sudo apt-get install software-properties-common
 
# Ajoute la clé publique 
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 0x5a16e7281be7a449
 
# Ajout des dépôts de HHVM à la liste existante
sudo add-apt-repository "deb http://dl.hhvm.com/ubuntu $(lsb_release -sc) main"
 
# Mise à jour des dépots
sudo apt-get update
 
# Installe HHVM
sudo apt-get install hhvm