Building the Pyretic VM

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

0. Download the official Mininet VM

1. Import into Virtual Box, in "Settings->Basic" set "Name" appropriately

2. Install Python dependencies

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

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

     $ wget https://raw.github.com/frenetic-lang/pyretic/master/pyretic/backend/patch/asynchat.py
     $ sudo mv asynchat.py /usr/lib/python2.7/
     $ sudo chown root:root /usr/lib/python2.7/asynchat.py 
   

4. Install git subtree

     $ git clone https://github.com/git/git.git
     $ pushd git/contrib/subtree/
     $ make
     $ sudo install -m 755 git-subtree /usr/lib/git-core
     $ popd
     $ rm -rf git
   

5. Clone the pyretic repository to your home directory

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

6. 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         
     $ chmod g-w .profile         

7. add my helpful .screenrc

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

8. 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
   

9. Export as an ovf