Building the Pyretic VM

Instructions for creating a Pyretic VM from the Mininet VM using VirualBox

0. Download the official Mininet VM (or use your own Mininet VM)

1. Import into Virtual Box, in "Settings->Basic" set "Name" appropriately 2a. Install Python dependencies

     $ sudo apt-get install python-dev python-pip screen
     $ sudo pip install networkx bitarray ipaddr pytest ipdb
   

2b. Patch asynchat Python dependency (addresses some, but not all, of the bugs in this library)

     $ wget http://frenetic-lang.org/pyretic/useful/asynchat.py
     $ sudo mv asynchat.py /usr/lib/python2.7/
     $ sudo chown root:root /usr/lib/python2.7/asynchat.py 

3. Clone the pyretic repository to your home directory

     $ cd ~   
     $ git clone git://github.com/frenetic-lang/pyretic.git
   

4. Setup your environment variables EITHER by adding the following lines to end of .profile:

     export PATH=$PATH:$HOME/pyretic:$HOME/pox   
     export PYTHONPATH=$HOME/pyretic:$HOME/mininet:$HOME/pox
   

OR by replacing your .profile

     $ rm .profile
     $ wget http://frenetic-lang.org/pyretic/useful/.profile         

5. add my helpful .screenrc

     $ wget http://frenetic-lang.org/pyretic/useful/.screenrc
   

6. Prepare VM for export

     $ sudo cat /dev/zero > zero.fill; sudo sync; sleep 1; sudo sync; sudo rm -f zero.fill; sudo shutdown -h now
   

7. Export as an ovf