commit bdb7b37b00e54c5d993784428d164f8765a6f7f2
author alshabib <alshabibi.ali@gmail.com> Wed May 25 09:46:49 2016 -0700
committer Ali Al-Shabibi <ali@onlab.us> Thu May 26 22:23:38 2016 +0000
tree 46c2c47f9188d70d3025c8b652d1b647e1197522
parent 4997cd7c9c5fa0e68b1e1bea63f9db550e4444fa

adding a mininet vagrant box

Change-Id: I0c89c35a9e6768b3c3640c0895d405901e38799e

tools/dev/vagrant/ansible/roles/mininet/tasks/main.yml

diff --git a/tools/dev/vagrant/ansible/roles/mininet/tasks/main.yml b/tools/dev/vagrant/ansible/roles/mininet/tasks/main.yml
new file mode 100644
index 0000000..105cbc4
--- /dev/null
+++ b/tools/dev/vagrant/ansible/roles/mininet/tasks/main.yml
@@ -0,0 +1,11 @@
+- name: git is present
+  apt:
+    name: git
+    force: yes
+  tags: [common]
+
+- name: Clone mininet repository
+  git: repo=https://github.com/mininet/mininet.git dest=mininet
+
+- name: Install mininet
+  command: mininet/util/install.sh -a