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
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.
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"
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:team-gcc-arm-embedded/ppa
24 apt-get install -y git ccache gcc-arm-embedded=5-2016q2-1~trusty1
29 # On windows start a command shell in the project root directory, where the "Vagrantfile" exists.
30 # "vagrant up" to start the VM. First time it takes a while.....
31 # "vagrant ssh" to log into your VM.
32 # "cd /vagrant" Here are the windows project directory mounted with all your files.
33 # "make all" Start working, building all targets for example.
35 # vagrant halt to stop your VM
36 # vagrant --help for more....