diff options
Diffstat (limited to 'translate/gcc/dist.sh')
| -rwxr-xr-x | translate/gcc/dist.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/translate/gcc/dist.sh b/translate/gcc/dist.sh index cefbdfeed..326f95a55 100755 --- a/translate/gcc/dist.sh +++ b/translate/gcc/dist.sh @@ -39,13 +39,13 @@ set -e # GCC version -GCCVERSION=4.7.2 +GCCVERSION=4.8.2 # Machine name used by GCC MACHINE=i686-pc-linux-gnu # Directory where GCC sources (and objects) stay. DISTDIR=$HOME/dist # GTKWave version. -GTKWAVE_VERSION=1.3.72 +GTKWAVE_VERSION=3.3.50 # GHDL version (extracted from version.ads) VERSION=`sed -n -e 's/.*GHDL \([0-9.a-z]*\) (.*/\1/p' ../../version.ads` |