From ae6cf513a033fe4a98b30996f6557b3f2c509dc9 Mon Sep 17 00:00:00 2001
From: Javi Merino <javi.merino@arm.com>
Date: Thu, 21 Jul 2016 11:20:49 +0100
Subject: [PATCH] Vagrant: install wrapt

The latest devlib depend on wrapt.  Install it.  This fixes #145.
---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 77cb5eb56..e27bb080f 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -20,7 +20,7 @@ Vagrant.configure(2) do |config|
         openjdk-7-jre pkg-config python-all-dev python-matplotlib \
         python-nose python-numpy python-pip python-zmq sshpass trace-cmd \
         tree wget
-    sudo pip install ipython[notebook] pandas
+    sudo pip install ipython[notebook] pandas wrapt
     sudo apt-get remove -y w3m
 
     ln -s /vagrant /home/vagrant/lisa
-- 
GitLab