Vagrantfile

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