From 94ad98d59bab98702b790980a86c2b04d3b084ec Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Sat, 20 Dec 2014 19:55:24 +0100
Subject: Manually install a known GCC version

---
 .travis.yml | 13 +++++++++++--
 1 file changed, 11 insertions(+), 2 deletions(-)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 6c8557c4d..eabb3ea64 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,10 +5,19 @@
 language: cpp
 
 before_script:
-  - sudo add-apt-repository 'ppa:terry.guo/gcc-arm-embedded' -y
+  #- sudo add-apt-repository 'ppa:terry.guo/gcc-arm-embedded' -y
   - sudo apt-get update -q
-  - sudo apt-get install gcc-arm-none-eabi=4-8-2014q2-0saucy9 python-serial python-argparse
+  # Note: we do not want a random, auto-updated GCC version - sudo apt-get install gcc-arm-none-eabi
+  - sudo apt-get install ia32-libs python-serial python-argparse grep
   - sudo apt-get install flex bison libncurses5-dev autoconf texinfo build-essential libtool zlib1g-dev genromfs git wget
+  - pushd .
+  - cd ~
+  - wget https://launchpadlibrarian.net/174121628/gcc-arm-none-eabi-4_7-2014q2-20140408-linux.tar.bz2
+  - tar -jxf gcc-arm-none-eabi-4_7-2014q2-20140408-linux.tar.bz2
+  - exportline="export PATH=$HOME/gcc-arm-none-eabi-4_7-2014q2/bin:\$PATH"
+  - if grep -Fxq "$exportline" ~/.profile; then echo nothing to do ; else echo $exportline >> ~/.profile; fi
+  - . ~/.profile
+  - popd
 
 # Output GCC version
   - arm-none-eabi-gcc --version
-- 
cgit v1.2.3