Merge pull request #104698 from veprbl/pr/yed_mark_broken

yed: mark as broken if jre.gtk3 is not available
This commit is contained in:
Sandro 2020-11-23 21:49:42 +01:00 committed by GitHub
commit d06276eb8d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -11,7 +11,7 @@ stdenv.mkDerivation rec {
nativeBuildInputs = [ makeWrapper unzip wrapGAppsHook ];
# For wrapGAppsHook setup hook
buildInputs = [ jre.gtk3 ];
buildInputs = [ (jre.gtk3 or null) ];
dontConfigure = true;
dontBuild = true;
@ -35,5 +35,6 @@ stdenv.mkDerivation rec {
description = "A powerful desktop application that can be used to quickly and effectively generate high-quality diagrams";
platforms = jre.meta.platforms;
maintainers = with maintainers; [ abbradar ];
broken = !("gtk3" ? jre);
};
}