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

Add Apple Silicon Support #36

Closed SamJakob closed 10 months ago

SamJakob commented 10 months ago

Adds support for macOS ARM chips (Apple Silicon) by updating the CMake configurations accordingly. The ARM version builds to a different executable (scyther-mac-arm) to avoid confusion and greater flexibility. This also allows for building, executing and testing a cross-compiled x86 (Intel) build from ARM.

cascremers commented 10 months ago

Thank you, looking good!