1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/tools/docs/Vagrantfile Wed Dec 31 06:09:35 2014 +0100
1.3 @@ -0,0 +1,13 @@
1.4 +# -*- mode: ruby -*-
1.5 +# vi: set ft=ruby :
1.6 +
1.7 +# We intentionally use the old config format because Mozilla's Jenkins
1.8 +# server doesn't run a modern Vagrant.
1.9 +Vagrant::Config.run do |config|
1.10 + config.vm.box = "precise64"
1.11 + config.vm.box_url = "http://files.vagrantup.com/precise64.box"
1.12 + config.vm.share_folder("gecko", "/gecko", "../..")
1.13 + # Doxygen needs more than the default memory or it will swap and be
1.14 + # extremely slow.
1.15 + config.vm.customize ["modifyvm", :id, "--memory", 2048]
1.16 +end
