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

Force C standard to gnu89 for linux builds #13

Closed ghost closed 8 years ago

ghost commented 9 years ago

On new gcc versions the gnu11 C standard is used by default. However your code will not compile with gnu11, as some changes for inlining functions were made. So you explictly have to force gcc to use gnu89 instead. You might want to consider to also change this for other Platforms (I only know about linux).

cascremers commented 8 years ago

Thanks for the suggestion. It's been tested and now integrated for all platforms by inclusion into CMakeLists.txt.

This is reflected in commits 457c68580fc55e019d83f93d551ff2a360c7f8b5 and 8486da9a82dabd4df6bc0d717e14925303ea2b5e , for both main branches.