dont need ada for openmp

2023-02-05 21:52:46 +01:00 · 2023-02-05 21:52:46 +01:00 · f6acd48252
parent 4ff9123dbc
commit f6acd48252
1 changed files with 1 additions and 1 deletions
--- a/release.nix
+++ b/release.nix
@ -43,7 +43,7 @@ in
        ]; 
      };
      omp = pkgs.callPackage ./derivation.nix {
-        cppCompiler = pkgs.gnat11;
+        cppCompiler = pkgs.gcc12;
        extraCmakeFlags = [
          "-DGINKGO_CUDA=OFF"
          "-DGINKGO_BUILD_BENCHMARKS=OFF"