jabref: fix startup error with gsettings schemas

This commit is contained in:
Gabriel Ebner 2017-10-26 12:35:38 +02:00
parent f233575b20
commit 00a5d6d4d4

View File

@ -1,4 +1,4 @@
{ stdenv, fetchurl, makeWrapper, makeDesktopItem, ant, jdk, jre }:
{ stdenv, fetchurl, makeWrapper, makeDesktopItem, jdk, jre, wrapGAppsHook, gtk3, gsettings_desktop_schemas }:
stdenv.mkDerivation rec {
version = "3.8.1";
@ -19,9 +19,9 @@ stdenv.mkDerivation rec {
exec = "jabref";
};
buildInputs = [ makeWrapper jdk ];
buildInputs = [ makeWrapper jdk wrapGAppsHook gtk3 gsettings_desktop_schemas ];
phases = [ "installPhase" ];
unpackPhase = "#";
installPhase = ''
mkdir -p $out/bin $out/share/java $out/share/icons