mirror of
https://github.com/SRI-CSL/gllvm
synced 2026-06-08 12:28:35 +00:00
Ian A. Mason
15 lines
403 B
Bash
Executable File
15 lines
403 B
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
# vagrant bootstrapping file
|
|
|
|
sudo apt-get update
|
|
|
|
sudo apt-get install -y emacs24 dbus-x11
|
|
sudo apt-get install -y git
|
|
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
|