tools/docs/Vagrantfile

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