fix jre on mac

runtimeverification · Oct 20, 2023 · 681d06c · 681d06c
1 parent 9d8ca8e
commit 681d06c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nix/k.nix b/nix/k.nix
@@ -77,7 +77,7 @@ in let
     flex
     (if stdenv.isDarwin then clang else gcc)
     gmp
-    (jre_minimal.override { jdk = jdk.override { headless = true; }; })
+    (if stdenv.isDarwin then jre_minimal else jre_minimal.override { jdk = jdk.override { headless = true; }; })
     mpfr
     ncurses
     pkgconfig