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

Allow using local GTest #337

Closed CyanoKobalamyne closed 4 months ago

CyanoKobalamyne commented 12 months ago

This searches for the system-provided version of GTest first, and only downloads it if it's not available.

Another possible improvement would be to not re-download GTest every time configure.sh is run.

CyanoKobalamyne commented 4 months ago

@yoni206 as per your request, added version check and flag to force downloading. :)