From bb2882a6d0dac5fa33ddb81cc2d3fbd9ec031ec0 Mon Sep 17 00:00:00 2001 From: Jan Decaluwe Date: Tue, 1 Mar 2016 19:42:54 +0100 Subject: [PATCH] Actually select the binary distro for Ubuntu 12.04 --- scripts/install_ghdl.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/install_ghdl.sh b/scripts/install_ghdl.sh index ccb82e67..ef655d42 100755 --- a/scripts/install_ghdl.sh +++ b/scripts/install_ghdl.sh @@ -1,5 +1,5 @@ #!/bin/bash set -evx -wget https://sourceforge.net/projects/ghdl-updates/files/Builds/ghdl-0.33/debian/ghdl_0.33-1ubuntu1_amd64.deb -O /tmp/ghdl.tar.gz +wget https://sourceforge.net/projects/ghdl-updates/files/Builds/ghdl-0.33/ghdl-0.33-x86_64-linux.tgz -O /tmp/ghdl.tar.gz mkdir ghdl-0.33 tar -C ghdl-0.33 -xvf /tmp/ghdl.tar.gz