tools/docs/Vagrantfile

Wed, 31 Dec 2014 07:16:47 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 07:16:47 +0100
branch
TOR_BUG_9701
changeset 3
141e0f1194b1
permissions
-rw-r--r--

Revert simplistic fix pending revisit of Mozilla integration attempt.

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

mercurial