From ca052ac68a3a7a3fa6486512e2748448f03bc4de Mon Sep 17 00:00:00 2001
From: Lorenz Meier <lm@inf.ethz.ch>
Date: Sun, 25 Oct 2015 12:20:05 +0100
Subject: [PATCH] Vagrant: Upgrade CMake version

---
 Vagrantfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Vagrantfile b/Vagrantfile
index cea1289500..d7e40a6da6 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -80,6 +80,8 @@ Vagrant.configure(2) do |config|
     # Ensure we start in the Firmware folder
     echo "cd /Firmware" >> ~/.bashrc
     # Install software
+    sudo add-apt-repository ppa:terry.guo/gcc-arm-embedded -y
+    sudo add-apt-repository ppa:george-edison55/cmake-3.x -y
     sudo apt-get update
     sudo apt-get install -y build-essential ccache cmake clang-3.5 lldb-3.5 g++-4.8 gcc-4.8 genromfs libc6-i386 libncurses5-dev python-argparse python-empy python-serial s3cmd texinfo zlib1g-dev git-core zip gdb gcc-arm-linux-gnueabihf g++-arm-linux-gnueabihf
     pushd .