Install VirtualBox v5.0.26 from here: https://www.virtualbox.org/wiki/Download_Old_Builds_5_0
Install vagrant v1.8.4 from here: https://releases.hashicorp.com/vagrant/1.8.4/ (1.8.5 seems to be current, but there’s a documented bug around ssh auth).
Install vagrant-hostmanager plugin.
vagrant plugin install vagrant-hostmanager.
Clone dcos-vagrant.
hub clone dcos/dcos-vagrant
cd dcos-vagrant
Create a VagrantConfig.yaml
from the example.
cp VagrantConfig.yml{.example,}
Download the DCOS v1.8.0 installer script from DCOS (in the dcos-vagrant directory).
wget https://downloads.dcos.io/dcos/EarlyAccess/commit/586c0496863000322c016c631e463248d863690d/dcos_generate_config.sh
Copy the right one of the versioned config files into the right place.
cp etc/config{-1.8,}.yaml
Start up the guests (from the documented "minimal" configuration, with 1 each of master, agent-private, and boot nodes).
vagrant up m1 a1 boot