michael@0: # -*- mode: ruby -*-
michael@0: # vi: set ft=ruby :
michael@0: 
michael@0: # We intentionally use the old config format because Mozilla's Jenkins
michael@0: # server doesn't run a modern Vagrant.
michael@0: Vagrant::Config.run do |config|
michael@0:   config.vm.box = "precise64"
michael@0:   config.vm.box_url = "http://files.vagrantup.com/precise64.box"
michael@0:   config.vm.share_folder("gecko", "/gecko", "../..")
michael@0:   # Doxygen needs more than the default memory or it will swap and be
michael@0:   # extremely slow.
michael@0:   config.vm.customize ["modifyvm", :id, "--memory", 2048]
michael@0: end