2018-04-30 18:58:19 +02:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
2018-05-07 18:41:38 +02:00
|
|
|
# vagrant bootstrapping file
|
|
|
|
|
|
2018-04-30 18:58:19 +02:00
|
|
|
sudo apt-get update
|
|
|
|
|
|
2018-05-24 01:47:37 +02:00
|
|
|
sudo apt-get install -y emacs24 dbus-x11
|
2018-05-04 00:37:35 +02:00
|
|
|
sudo apt-get install -y git
|
2018-04-30 18:58:19 +02:00
|
|
|
sudo apt-get install -y llvm-5.0 libclang-5.0-dev clang-5.0
|
|
|
|
|
sudo apt-get install -y python-pip golang-go
|
|
|
|
|
sudo apt-get install -y flex bison bc libncurses5-dev
|
|
|
|
|
sudo apt-get install -y libelf-dev libssl-dev
|
|
|
|
|
|
|
|
|
|
echo ". /vagrant/bash_profile" >> /home/vagrant/.bashrc
|
