From e849b83590284414a0d53f6bc2ab00e91d3845b3 Mon Sep 17 00:00:00 2001 From: linsui <36977733+linsui@users.noreply.github.com> Date: Wed, 8 Jan 2025 20:39:35 +0800 Subject: [PATCH] jabref: fix build --- pkgs/applications/office/jabref/default.nix | 3 +++ pkgs/top-level/all-packages.nix | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/pkgs/applications/office/jabref/default.nix b/pkgs/applications/office/jabref/default.nix index da3d47bb7597..5b5d63fb5909 100644 --- a/pkgs/applications/office/jabref/default.nix +++ b/pkgs/applications/office/jabref/default.nix @@ -102,6 +102,9 @@ stdenv.mkDerivation rec { DEFAULT_JVM_OPTS=$(sed -n -E "s/^DEFAULT_JVM_OPTS='(.*)'$/\1/p" $out/bin/JabRef | sed -e "s|\$APP_HOME|$out|g" -e 's/"//g') + # Temp fix: openjfx doesn't build with webkit + unzip $out/lib/javafx-web-*-*.jar libjfxwebkit.so -d $out/lib/ + runHook postInstall ''; diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 86c329e9a1b4..76bce2a847ba 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -14126,7 +14126,7 @@ with pkgs; jabref = callPackage ../applications/office/jabref { jdk = jdk21.override { enableJavaFX = true; - openjfx_jdk = openjfx23.override { withWebKit = true; }; + openjfx_jdk = openjfx23; }; };