search

cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols
https://cispa.saarland/group/cremers/scyther/index.html
96 stars 38 forks source link

Mac OS X versions started through the GUI fail to find Graphviz(dot) #2

Closed cascremers closed 2 years ago

cascremers commented 11 years ago

(Applies to some, but not all, installs of current Mac OS X versions)

Graphviz is installed and 'dot' can be run from the commandline. scyther-gui.py can be succesfully run from the commandline.

However, associating '*.py' to Python and clicking scyther-gui.py results in a 'graphviz cannot be found' error.

This seems to be a problem caused by the installation path of the 'dot' executable and a difference in paths being search between gui and commandline.

cascremers commented 11 years ago

Possibly this problem does not occur in newer Mac OS X versions, so maybe less important to fix.

cascremers commented 3 years ago

This should be fixed in the python3-wxpython4 branch, soon to be merged.