From e2066c606fa09d89a27499d484841e324abc8236 Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte.vanpetegem@ugent.be>
Date: Thu, 1 Jun 2023 10:18:23 +0200
Subject: [PATCH] Use openjfx with webkit because that's pre-built on hydra

---
 shells/objectgericht-project.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shells/objectgericht-project.nix b/shells/objectgericht-project.nix
index 35e52201..c3e56e72 100644
--- a/shells/objectgericht-project.nix
+++ b/shells/objectgericht-project.nix
@@ -3,7 +3,7 @@
   packages = with pkgs; [
     openssl
     maven
-    (openjdk17.override { enableJavaFX = true; })
+    (openjdk17.override { enableJavaFX = true; openjfx = openjfx17.override { withWebKit = true; }; })
     (python3.withPackages (ps: [ ps.pyyaml ps.beautifulsoup4 ps.notmuch ]))
   ];
   commands = [