1 # Fix grub-pc on Virtualbox with Ubuntu
2 export DEBIAN_FRONTEND=noninteractive
4 # Standard update + upgrade dance
8 # Fix the silly notion that /bin/sh should point to dash by pointing it to bash
10 sudo update-alternatives --install /bin/sh sh /bin/bash 100
13 apt-get install -y build-essential autoconf automake bison libssl-dev ccache libtool git dkms debhelper emacs libganglia1-dev libapr1-dev libconfuse-dev
16 # apt-get install -y qemu-kvm libvirt-bin ubuntu-vm-builder bridge-utils
19 apt-get install -y linux-image-extra-`uname -r`
21 # Install jdk and maven
22 apt-get install -y openjdk-7-jdk
23 # $$$ comment out for the moment
24 # apt-get install -y --force-yes maven3
26 # Install debian packaging tools
27 apt-get install -y debhelper dkms
29 # Setup for hugepages using upstart so it persists across reboots
30 echo "vm.nr_hugepages=1024" >> /etc/sysctl.d/20-hugepages.conf
33 cat << EOF > /etc/init/hugepages.conf
34 start on runlevel [2345]
39 mkdir -p /run/hugepages/kvm || true
40 rm -f /run/hugepages/kvm/* || true
41 rm -f /dev/shm/* || true
42 mount -t hugetlbfs nodev /run/hugepages/kvm
46 # Make sure we run that hugepages.conf right now
52 sudo -u vagrant mkdir git
55 # Check if git exists and remove it before attempting clone, else clone ineffective when "reload --provision"
56 [ -d vpp ] && rm -rf vpp
57 sudo -H -u vagrant git clone /vpp
61 if [ -d build-root ]; then
64 sudo -H -u vagrant ./bootstrap.sh
67 sudo -H -u vagrant make PLATFORM=vpp TAG=vpp_debug install-deb
69 # Install debian packages