Create scyther_on_windows.md #42
Conversation
detailed steps to build scyther and run it through the terminal
scyther_on_windows.md
Outdated
| “git clone https://github.com/cascremers/scyther.git” | ||
| 6. Download the dependencies | ||
| “pacman -S python3 flex bison” | ||
| 7. Run the build using the following command: |
There was a problem hiding this comment.
Please check: running make from the main directory should just work here.
There was a problem hiding this comment.
running either the './subbuild-unix-w32.sh' command or the 'make' command, will result in the building of scyther-w32.exe. So either option is fine.
There was a problem hiding this comment.
In this case I prefer 'make' (this is also more future-proof in case we change the build process)
There was a problem hiding this comment.
In this case I would prefer make, because it is more future-proof.
scyther_on_windows.md
Outdated
| “./scyther-w32.exe”, | ||
| If we get an output like so, | ||
| “Try 'scyther --help' for more information, or visit: | ||
| https://cispa.saarland/group/cremers/scyther/index.html”, it’d mean that scyther works well. |
There was a problem hiding this comment.
"It'd mean [...] well." -> "then Scyther is working as expected."
scyther_on_windows.md
Outdated
| If we get an output like so, | ||
| “Try 'scyther --help' for more information, or visit: | ||
| https://cispa.saarland/group/cremers/scyther/index.html”, it’d mean that scyther works well. | ||
| 12. To check the working of security protocols, we can run the following command: |
There was a problem hiding this comment.
"the working of security protocols" -> "security protocol analysis".
modified guide
updated guide
modified changes
|
I think there is a bug in the description: we need to either
|
detailed steps to build scyther and run it through the terminal