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

Instructions to build for Windows #30

Closed SamJakob closed 1 year ago

SamJakob commented 1 year ago

MINGW32 is deprecated on Ubuntu, so BuildUnix-Win32.cmake should be updated as follows:

set (CMAKE_C_COMPILER "i686-w64-mingw32-gcc")
set (CMAKE_CXX_COMPILER "i686-w64-mingw32-g++")

Additionally, the dependency would now, naturally, be: i686-w64-mingw32, this will enable the latest version to build on new Ubuntu versions and under WSL. (Also, the platform isn't correctly detected so it is currently necessary to build with cd src; ./subbuild-unix-w32.sh