tools/docs/Vagrantfile
author Birunthan Mohanathas <birunthan@mohanathas.com>
Wed, 16 Jul 2014 12:02:34 -0700
changeset 194423 faecfa9d0bb6c46e32934182e6154758190262ed
parent 160090 0eec37596a6d1c0a0ff1077d518cd1df3e0e0c26
permissions -rw-r--r--
Bug 1028565 - Part 5: Flatten editor/{idl,public}/ directories. r=ehsan

# -*- mode: ruby -*-
# vi: set ft=ruby :

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