ginkgo-project/ginkgo CMakeLists.txt :43 option(GINKGO_BUILD_MPI "Compile the MPI module" ${GINKGO_HAS_MPI})