set mpi option off

main
Claudius Holeksa 2023-02-16 16:40:46 +01:00
parent 3c47a2f107
commit 47cc387799
1 changed files with 4 additions and 0 deletions

View File

@ -17,6 +17,7 @@ in
"-DGINKGO_BUILD_HWLOC=OFF"
"-DGINKGO_BUILD_HIP=OFF"
"-DGINKGO_BUILD_OMP=OFF"
"-DGINKGO_BUILD_MPI=OFF"
];
};
cuda = pkgs.callPackage ./derivation.nix {
@ -27,6 +28,7 @@ in
"-DGINKGO_BUILD_HWLOC=OFF"
"-DGINKGO_BUILD_HIP=OFF"
"-DGINKGO_BUILD_OMP=OFF"
"-DGINKGO_BUILD_MPI=OFF"
];
extraBuildInputs = [
pkgs.cudatoolkit
@ -41,6 +43,7 @@ in
"-DGINKGO_BUILD_HWLOC=OFF"
"-DGINKGO_BUILD_HIP=ON"
"-DGINKGO_BUILD_OMP=OFF"
"-DGINKGO_BUILD_MPI=OFF"
];
extraBuildInputs = [
pkgs.hip
@ -56,6 +59,7 @@ in
"-DGINKGO_BUILD_HWLOC=OFF"
"-DGINKGO_BUILD_OMP=ON"
"-DGINKGO_BUILD_HIP=OFF"
"-DGINKGO_BUILD_MPI=OFF"
];
extraBuildInputs = [
];