andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Better distribution text and stuff.

Browse Source
This commit is contained in:
ccremers 2006-01-04 14:13:48 +00:00
parent 937fe6f6e4
commit 4ad0cf714b
2 changed files with 24 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dist/makedist.sh vendored
View File

@ -60,7 +60,7 @@ mkdir $WORKDIR
# Fill # Fill
svn export $SVNROOT/SPORE $WORKDIR/SPORE svn export $SVNROOT/SPORE $WORKDIR/SPORE
svn export $SVNROOT/demo $WORKDIR/demo svn export $SVNROOT/demo $WORKDIR/demo
svn export $SVNROOT/scyther $WORKDIR/scyther svn export $SVNROOT/scyther $WORKDIR/bin
# Readme # Readme
cp readme.txt $WORKDIR cp readme.txt $WORKDIR

31
dist/readme.txt vendored
View File

@ -2,13 +2,17 @@
Scyther Scyther
1.0-beta1
a verification tool for security protocols a verification tool for security protocols
by Cas Cremers by Cas Cremers
(Compiled for Linux i686 environments)
------------------------------------------------------------------------ ------------------------------------------------------------------------
Note: This is a 1.0beta release, and therefore the usual warnings apply. Note: This is a BETA release, and therefore the usual warnings apply.
@ -23,21 +27,32 @@ For more information, see:
2. Starting out 2. Starting out
======================================================================== ========================================================================
To start, run the scyther executable (scyther/scyther) with the --help To start, untar the archive:
switch, or try
$ scyther/scyther demo/ns3.spdl $ tar zxvf scyther.tgz
This will produce a directory 'scyther'. Change into this directory.
For graphical output, you need: $ cd scyther
Now run the scyther executable (bin/scyther) with the --help switch,
or try:
$ bin/scyther demo/ns3.spdl
To have Scyther produce graphical graphical output, you need:
- a pdf viewer (xpdf is assumed) - a pdf viewer (xpdf is assumed)
- the GraphViz package (for the 'dot' executable). - the GraphViz package (for the 'dot' executable), which can be found
at: http://www.research.att.com/sw/tools/graphviz/
Add the paths 'scyther/' and 'demo/' to your path environment variable Add the paths 'bin/' and 'demo/' to your path environment variable
(something like 'export PATH=$PATH:$PWD/demo'), and try (something like 'export PATH=$PATH:$PWD/bin:$PWD/demo'), and try
$ scytherview demo/nsl3.spdl $ scytherview demo/nsl3.spdl
Many other protocol input files can be found in the SPORE directory.
3. Citing Scyther 3. Citing Scyther
=========================== ===========================