Change minimum CMake version to 3.5

stanford-centaur / pono

Pono: A flexible and extensible SMT-based model checker

Other

82 stars 30 forks source link

Change minimum CMake version to 3.5 #354

Closed CyanoKobalamyne closed 2 months ago

CyanoKobalamyne commented 2 months ago

Current CMake versions print warnings that CMake < 3.5 is deprecated and support for it will be removed soon. CMake 3.5.0 was released in December 2018, so this should not affect any reasonably up-to-date installation.