From 1b7cf5dc3c18e787fa61110d21455b8d90aba50e Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 9 Aug 2006 13:21:38 +0000 Subject: [PATCH] - Added readme with dependency list. --- gui/README.txt | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 gui/README.txt diff --git a/gui/README.txt b/gui/README.txt new file mode 100644 index 0000000..665f60e --- /dev/null +++ b/gui/README.txt @@ -0,0 +1,22 @@ +Scyther + +The Scyther Tool: Automatic Verification of Security Protocols + + +- Linux/Windows + + Requirements: + + python www.python.org + wxPython www.wxpython.org + (c)elementtree elementtree + effbot.org/zone/element-index.htm (slower but more widely available) + celementtree effbot.org/zone/celementtree.htm (preferred) + graphviz www.graphviz.org + + Optional: + + Python Imaging Library www.pythonware.com/products/pil/ + + (It might be possible to include PIL in the sources) +