search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

CMake: Update minimal version and how googletest is fetched #757

Closed blishko closed 2 months ago

blishko commented 2 months ago

We update googletest to v1.15.2. As part of that we use FetchContent_MakeAvailable to fetch it, because our previous way is now deprecated in CMake 3.30. In order to use the new command, we need to bump minimal CMake version to 3.14