J'ai utilisé ce script pour l'installer directement depuis le dépôt github, qui a été mis à jour hier...
#!/bin/bash
# First get the file from github
git clone https://github.com/tgingold/ghdl
cd ghdl
./configure --prefix=/usr/local
#In case you get the error "Sorry, you need GNAT to build GHDL. See the README" do `sudo apt install gnat`
# fatal error: zlib.h: No such file or directory include <zlib.h>
sudo apt-get -y install libz-dev
make
make install
sudo apt-get -y install gtkwave
# Usage instructions:
printf "\n\n\nUsage instructions:\n"
wget -qO- https://github.com/chGoodchild/setup_scripts/raw/master/using_ghdl.sh
Vous pouvez exécuter le script en copiant les commandes suivantes dans votre terminal :
wget https://raw.githubusercontent.com/chGoodchild/setup_scripts/master/ghdl.sh
chmod +x ghdl.sh
sudo ./ghdl.sh