4 # All Vagrant configuration is done below. The "2" in Vagrant.configure
5 # configures the configuration version (we support older styles for
6 # backwards compatibility). Please don't change it unless you know what
8 Vagrant.configure("2") do |config|
9 config.vm.box = "hashicorp/bionic64"
10 config.vm.provider "virtualbox" do |vb|
15 config.vm.provision "shell", inline: <<-SHELL
16 FILE=/etc/apt/preferences.d/99do_not_update
17 echo "Package: /(grub-common|grub2-common|grub-pc)/
19 Pin-Priority: -1" > $FILE
21 apt-get dist-upgrade -y
22 apt-get install -yy debhelper libfftw3-dev libreadline-dev libgl1-mesa-dev libglu1-mesa-dev libwxgtk3.0-dev ctn-dev libpng-dev
23 apt-get install -yy git emacs-nox
26 git clone git://git.kpe.io/ctsim.git ctsim.git
27 echo Bootstrapping ctsim
28 DIR=/home/vagrant/ctsim.git
31 chown -R vagrant:vagrant $DIR
32 echo "To build ctsim:"
33 echo " cd ctsim.git; ./configure; make"