aboutsummaryrefslogtreecommitdiff
path: root/Vagrantfile
blob: 66973b2111c6a5d42aa25aac04d35f98d632ebe6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
VAGRANT_BOX_MEMORY = 4096
VAGRANT_BOX_CPUS = 4

Vagrant.configure("2") do |config|
  
  # Ubuntu 18
  config.vm.box = "ubuntu/bionic64"

  # Set the Vagrant box's RAM
  config.vm.provider :virtualbox do |vb|
    vb.memory = VAGRANT_BOX_MEMORY
    vb.cpus = VAGRANT_BOX_CPUS
  end

  # Add to the vagrant box's provisioning script: install dependencies for weenix
  config.vm.provision :shell, :inline => %Q{
    sudo apt-get update
    sudo apt-get install python2.7 python-minimal cscope nasm make build-essential grub2-common qemu xorriso genisoimage xterm gdb -y
    cat /vagrant/weenix-scripts.txt >> /home/vagrant/.bashrc
    source /home/vagrant/.bashrc
  }
end