diff options
Diffstat (limited to 'Debian')
| -rw-r--r-- | Debian/Ubuntu 16.04+/ghdl-0.36.tar.xz | bin | 0 -> 3099688 bytes | |||
| -rwxr-xr-x | Debian/Ubuntu 16.04+/install-nghdl.sh | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/Debian/Ubuntu 16.04+/ghdl-0.36.tar.xz b/Debian/Ubuntu 16.04+/ghdl-0.36.tar.xz Binary files differnew file mode 100644 index 0000000..f9edffa --- /dev/null +++ b/Debian/Ubuntu 16.04+/ghdl-0.36.tar.xz diff --git a/Debian/Ubuntu 16.04+/install-nghdl.sh b/Debian/Ubuntu 16.04+/install-nghdl.sh index 0078427..274d09c 100755 --- a/Debian/Ubuntu 16.04+/install-nghdl.sh +++ b/Debian/Ubuntu 16.04+/install-nghdl.sh @@ -270,7 +270,7 @@ elif [ $option == "--uninstall" ];then echo "Removing GHDL......................" sudo rm -rf /usr/local/bin/ghdl /usr/local/bin/ghdl1-llvm /usr/local/lib/ghdl /usr/local/lib/libghdlvpi.so /usr/local/include/vpi_user.h echo "Removing LLVM......................" - sudo apt-get remove -y llvm-3.9 + sudo apt-get purge -y llvm-3.9 echo "Removing GNAT-5...................." sudo apt purge -y gnat-5 else |