Skip to content

Rename CMake options BUILD_*_PMT to PMT_BUILD_*

Bram Veenboer requested to merge rename-cmake-options into master

As we now encourage people to integrate PMT using CMake's FetchContent feature, we need to distinguish the CMake options that PMT exposes. While there is already the _PMT suffix, it is clearer to have a PMT_ prefix, instead. This MR addresses that.

Merge request reports