Update Vagrantfile

This commit is contained in:
Lucas Ramage 2020-05-04 10:27:52 -04:00 committed by GitHub
parent 80930ca681
commit 8173d0a63f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 15 additions and 15 deletions

View File

@ -10,21 +10,21 @@ Vagrant.configure("2") do |config|
end end
config.vm.provision "shell", inline: <<-SHELL config.vm.provision "shell", inline: <<-SHELL
sudo apt-get update -qq sudo apt update
sudo apt-get install -qq clang \ sudo apt install -y clang \
clang-tools-4.0 \ clang-tools-4.0 \
curl \ curl \
gcc \ gcc \
gdb \ gdb \
git \ git \
lcov \ lcov \
libarchive-dev \ libarchive-dev \
libtalloc-dev \ libtalloc-dev \
make \ make \
sloccount \ sloccount \
strace \ strace \
swig \ swig \
uthash-dev uthash-dev
SHELL SHELL
end end