using gnat11 in openmp case

2023-02-05 12:37:46 +01:00 · 2023-02-05 12:37:46 +01:00 · a530df2985
parent 6ca240a4e5
commit a530df2985
1 changed files with 1 additions and 0 deletions
--- a/release.nix
+++ b/release.nix
@ -41,6 +41,7 @@ in
        ]; 
      };
      omp = pkgs.callPackage ./derivation.nix {
+        cppCompiler = pkgs.gnat11;
        extraCmakeFlags = [
          "-DGINKGO_CUDA=OFF"
          "-DGINKGO_BUILD_BENCHMARKS=OFF"