search

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Other
114 stars 43 forks source link

Increase minimum CMake version #336

Closed CyanoKobalamyne closed 5 months ago

CyanoKobalamyne commented 12 months ago

With the current version, CMake prints this warning: Compatibility with CMake < 3.5 will be removed from a future version of CMake. Update the VERSION argument <min> value or use a ...<max> suffix to tell CMake that the project does not need compatibility with older versions.

CyanoKobalamyne commented 5 months ago

Since CMake 3.5 was released in December 2018 and every currently supported distro has newer versions, I'm merging this.