4 # All Vagrant configuration is done below. The "2" in Vagrant.configure
\r
5 # configures the configuration version (we support older styles for
\r
6 # backwards compatibility). Please don't change it unless you know what
\r
8 Vagrant.configure(2) do |config|
\r
9 # The most common configuration options are documented and commented below.
\r
10 # For a complete reference, please see the online documentation at
\r
11 # https://docs.vagrantup.com.
\r
13 # Every Vagrant development environment requires a box. You can search for
\r
14 # boxes at https://atlas.hashicorp.com/search.
\r
15 config.vm.box = "ubuntu/trusty64"
\r
17 # Enable provisioning with a shell script. Additional provisioners such as
\r
18 # Puppet, Chef, Ansible, Salt, and Docker are also available. Please see the
\r
19 # documentation for more information about their specific syntax and use.
\r
20 config.vm.provision "shell", inline: <<-SHELL
\r
21 apt-get remove -y binutils-arm-none-eabi gcc-arm-none-eabi
\r
22 add-apt-repository ppa:terry.guo/gcc-arm-embedded
\r
24 apt-get install -y git gcc-arm-none-eabi=4.9.3.2015q3-1trusty1
\r