commit b49dd9c7cb551eb8fcb3791d0da35f46295b6c5c
author Alexander Afanasyev <aa@cs.fiu.edu> Thu May 28 23:02:09 2020 -0400
committer Alexander Afanasyev <aa@cs.fiu.edu> Tue Jun 02 11:41:15 2020 -0400
tree d315306110b7625be76a6e461b0197825689586f
parent 6c322d5a7cc05f772d6cc43f4546e38a193de6c1

build: Upgrade underlying NFD/ndn-cxx to 0.7.0

Change-Id: I3b0b3a6c5b64ce821ca5a0f7831220d01594fa70

.vagrant/Vagrantfile

diff --git a/.vagrant/Vagrantfile b/.vagrant/Vagrantfile
index 46b4c75..27df1f4 100644
--- a/.vagrant/Vagrantfile
+++ b/.vagrant/Vagrantfile
@@ -14,15 +14,17 @@
 
     mkdir android-sdk-linux
     cd android-sdk-linux
-    wget -q https://dl.google.com/android/repository/sdk-tools-linux-3859397.zip
-    unzip sdk-tools-linux-3859397.zip
-    rm sdk-tools-linux-3859397.zip
+    mkdir -p cmdline-tools
+    mv tools cmdline-tools/latest
+    wget https://dl.google.com/android/repository/commandlinetools-linux-6514223_latest.zip
+    unzip commandlinetools-linux-6514223_latest.zip
+    rm commandlinetools-linux-6514223_latest.zip
 
     export ANDROID_HOME=`pwd`
-    export PATH=${PATH}:${ANDROID_HOME}/tools/bin:${ANDROID_HOME}/platform-tools
+    export PATH=${PATH}:${ANDROID_HOME}/cmdline-tools/latest/bin:${ANDROID_HOME}/platform-tools
 
     echo "y" | sdkmanager "platform-tools"
-    sdkmanager "platforms;android-28" "ndk-bundle"
+    sdkmanager "platforms;android-29" "ndk-bundle"
 
     cd ndk-bundle
     git clone https://github.com/named-data-mobile/android-crew-staging.git crew.dir
@@ -38,7 +40,7 @@
 SCRIPT
 
 Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
-  config.vm.box = "puphpet/ubuntu1604-x64"
+  config.vm.box = "bento/ubuntu-18.04"
 
   config.vm.provision "shell", privileged: false, inline: $script