Created
June 12, 2018 22:57
-
-
Save hawkw/19e2ea52fc970916ab8c2110fc6731b5 to your computer and use it in GitHub Desktop.
Conduit Vagrantfile
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# -*- mode: ruby -*- | |
# vi: set ft=ruby : | |
# | |
### Using this ### | |
# | |
# In the Conduit repo's root directory: | |
# $ vagrant up | |
# Followed by: | |
# $ vagrant ssh | |
# You will be logged in to `/home/vagrant`, and the conduit sources will | |
# be available in `/conduit`. Any builds you run inside of Vagrant will | |
# *not* clobber your local build artefacts :) | |
Vagrant.configure("2") do |config| | |
config.vm.box = "ubuntu/trusty64" | |
config.vm.synced_folder ".", "/conduit", type: "rsync", | |
rsync__exclude: [".git/", "vendor/", "target/"] | |
# Provision the VM with a shell script. | |
config.vm.provision "shell", inline: <<-SHELL | |
sudo apt-get update | |
sudo apt-get install -y curl | |
sudo apt-get install -y gdb | |
su - vagrant -c 'curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain=1.26.0' | |
printf '\nexport PATH=$HOME/.cargo/bin/:$PATH' >> /etc/bash.bashrc | |
printf '\nexport CARGO_TARGET_DIR=$HOME/vagrant-target' >> /etc/bash.bashrc | |
SHELL | |
end |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment