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

- Fixed scytherview script.

Browse Source
This commit is contained in:
ccremers 2006-12-13 09:40:53 +00:00
parent 10d337d99b
commit acafc18926
1 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
gui/Scyther/Bin/scytherview.py → gui/Scripts/scytherview.py
View File

@ -33,7 +33,9 @@ def generateTemp(extension='tmp'):
def scyther_to_dotfile(): def scyther_to_dotfile():
""" Run Scyther, return dotfile name """ """ Run Scyther, return dotfile name """
scythername = "scyther-linux" mydir = os.path.dirname(__file__)
scythername = os.path.join(mydir, "../Scyther/Bin/scyther-linux")
args = " ".join(sys.argv[1:]) args = " ".join(sys.argv[1:])
tmpdotfile = generateTemp('dot') tmpdotfile = generateTemp('dot')
@ -84,4 +86,9 @@ def main():
else: else:
print "No graphs generated." print "No graphs generated."
if __name__ == '__main__':
if len(sys.argv) > 1:
main() main()
else:
print "Please provide the name of an input file."