2004-04-23 11:58:43 +01:00
|
|
|
==================
|
|
|
|
|
# Scyther README #
|
|
|
|
|
==================
|
|
|
|
|
|
|
|
|
|
----------------
|
|
|
|
|
1. About Scyther
|
|
|
|
|
----------------
|
|
|
|
|
|
|
|
|
|
Scyther bla Cas andsoforth, bla Lutger, yada yada yada.
|
|
|
|
|
|
|
|
|
|
---------------
|
|
|
|
|
2. Requirements
|
|
|
|
|
---------------
|
|
|
|
|
|
|
|
|
|
Scyther compilation depends on a few external items:
|
|
|
|
|
|
|
|
|
|
- A C compiler (gcc or anything modern *nixy will do)
|
|
|
|
|
- The Flex and Bison scanner/compiler generation tools.
|
|
|
|
|
|
2005-04-10 16:36:41 +01:00
|
|
|
These two requirements are usually met by default by any modern *nix
|
2004-04-23 11:58:43 +01:00
|
|
|
variant, such as GNU/Linux.
|
|
|
|
|
|
|
|
|
|
If you want LaTeX output we need
|
|
|
|
|
|
|
|
|
|
- LaTeX
|
|
|
|
|
- The MSC macro package msc.sty
|
|
|
|
|
|
2004-05-15 13:33:01 +01:00
|
|
|
For the documentation generation, optionally with graphs.
|
|
|
|
|
- Doxygen: http://www.doxygen.org/
|
|
|
|
|
- Dot: http://www.research.att.com/sw/tools/graphviz/
|
|
|
|
|
|
