Cas Cremers

Requirements

1. Scyther.
   

   Version	Where to download
   Windows (v1.0-rc1)	Download the zip file
   Linux/Unix (v1.0-rc1)	Download the archive
   Mac OS X (v1.0-rc1)	Download the archive

   
   

   Extract the archive in a place you will remember later.

2. The GraphViz library.
   

   This library is used by the Scyther tool to draw graphs. It can be freely downloaded from:

   Name	Where to download
   GraphViz	http://www.graphviz.org/

   
   

   Download the latest stable release and install it.

3. Python and Python libraries.
   

   The graphical user interface of Scyther is written in the Python language. Consequently, you need to install the following things:

   Name	Where to download
   Python	http://www.python.org/download/
   wxPython (*1)	http://www.wxpython.org/download.php

   
   

   *1: Note that there are many different wxPython packages. Any package that matches your Python version (currently 2.4) will do just fine.

Running Scyther

Start Scyther by executing the file: scyther-gui.py

Note for Mac OS (Darwin) users

On Mac OS, the graphviz package by default cannot determine the right font location if fontconfig is not installed. This causes the fonts in the graphs in Scyther to be rendered wrongly. You can fix this by adding the following setting to your environment variables: (joining the string lines)

DOTFONTPATH=
"/usr/X11R6/lib/X11/fonts/TrueType:/usr/X11R6/lib/X11/fonts/truetype:
/usr/X11R6/lib/X11/fonts/TTF:/usr/share/fonts/TrueType:
/usr/share/fonts/truetype:/usr/openwin/lib/X11/fonts/TrueType:
/usr/X11R6/lib/X11/fonts/Type1"