37d1632865
* Updated vm provisioning scripts to build and install P4Runtime Also, hardcoded commit ID for each tool to improve reproducibility of exercises (the P4Runtime API could change in the future). TODO: there is a permission error at line 114 of user-bootstrap.sh that needs to be fixed. * Removed unnecessary compiler flags when bulding PI * Fixed permission error and updated BMv2 and PI commit IDs
79 lines
1.6 KiB
Bash
Executable File
79 lines
1.6 KiB
Bash
Executable File
#!/bin/bash
|
|
|
|
set -x
|
|
|
|
sudo add-apt-repository ppa:webupd8team/sublime-text-3
|
|
sudo add-apt-repository ppa:webupd8team/atom
|
|
|
|
apt-get update
|
|
|
|
DEBIAN_FRONTEND=noninteractive apt-get -y -o Dpkg::Options::="--force-confdef" -o Dpkg::Options::="--force-confold" upgrade
|
|
|
|
apt-get install -y --no-install-recommends \
|
|
atom \
|
|
autoconf \
|
|
automake \
|
|
bison \
|
|
build-essential \
|
|
ca-certificates \
|
|
cmake \
|
|
cpp \
|
|
curl \
|
|
emacs24 \
|
|
flex \
|
|
git \
|
|
libboost-dev \
|
|
libboost-filesystem-dev \
|
|
libboost-iostreams1.58-dev \
|
|
libboost-program-options-dev \
|
|
libboost-system-dev \
|
|
libboost-test-dev \
|
|
libboost-thread-dev \
|
|
libc6-dev \
|
|
libevent-dev \
|
|
libffi-dev \
|
|
libfl-dev \
|
|
libgc-dev \
|
|
libgc1c2 \
|
|
libgflags-dev \
|
|
libgmp-dev \
|
|
libgmp10 \
|
|
libgmpxx4ldbl \
|
|
libjudy-dev \
|
|
libpcap-dev \
|
|
libreadline6 \
|
|
libreadline6-dev \
|
|
libssl-dev \
|
|
libtool \
|
|
lubuntu-desktop \
|
|
make \
|
|
mininet \
|
|
mktemp \
|
|
pkg-config \
|
|
python \
|
|
python-dev \
|
|
python-ipaddr \
|
|
python-pip \
|
|
python-scapy \
|
|
python-setuptools \
|
|
sublime-text-installer \
|
|
tcpdump \
|
|
unzip \
|
|
vim \
|
|
wget \
|
|
xcscope-el \
|
|
xterm
|
|
|
|
useradd -m -d /home/p4 -s /bin/bash p4
|
|
echo "p4:p4" | chpasswd
|
|
echo "p4 ALL=(ALL) NOPASSWD:ALL" > /etc/sudoers.d/99_p4
|
|
chmod 440 /etc/sudoers.d/99_p4
|
|
|
|
cd /usr/share/lubuntu/wallpapers/
|
|
cp /home/vagrant/p4-logo.png .
|
|
rm lubuntu-default-wallpaper.png
|
|
ln -s p4-logo.png lubuntu-default-wallpaper.png
|
|
rm /home/vagrant/p4-logo.png
|
|
cd /home/vagrant
|
|
sed -i s@#background=@background=/usr/share/lubuntu/wallpapers/1604-lubuntu-default-wallpaper.png@ /etc/lightdm/lightdm-gtk-greeter.conf
|