Provide a vagrant file

refs: 4307

Change-Id: I9cf1c8f75b65a4d16bb2f13eb95a819f3aedf80c
diff --git a/.gitignore b/.gitignore
index 9b58941..ce2d0ba 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,4 @@
 examples
 util
 .DS_Store
+.vagrant
diff --git a/Vagrantfile b/Vagrantfile
new file mode 100644
index 0000000..5b9637a
--- /dev/null
+++ b/Vagrantfile
@@ -0,0 +1,19 @@
+# -*- mode: ruby -*-
+# vi: set ft=ruby :
+
+$script = <<SCRIPT
+
+git clone --depth 1 https://github.com/named-data/mini-ndn.git
+cd mini-ndn
+sudo ./install.sh -mrfti
+SCRIPT
+
+Vagrant.configure(2) do |config|
+  config.vm.box = "bento/ubuntu-16.04"
+  config.vm.provision "shell", privileged: false, inline: $script
+  config.vm.provider "virtualbox" do |vb|
+    vb.name = "mini-ndn_box"
+    vb.memory = 2000
+    vb.cpus = 2
+  end
+end