Gecode / gecode

Generic Constraint Development Environment
https://www.gecode.org
Other
275 stars 76 forks source link

Add optional support for MPFR when building using CMake #163

Closed Dekker1 closed 1 year ago

Dekker1 commented 1 year ago

This PR makes some changes to the CMake configuration to allow building with MPFR. Building with MPFR is automatically enabled when detected, but can be disabled using the standard cmake definitions: cmake -DCMAKE_DISABLE_FIND_PACKAGE_MPFR=TRUE <other flags...>