From 4150bf02b50037b5bf53e2c35cc842f1ae84e04e Mon Sep 17 00:00:00 2001 From: Ulrik Strid Date: Fri, 18 Feb 2022 13:31:21 +0100 Subject: [PATCH] coq: allow static linking by moving wrapGAppsHook to nativeBuildInputs Co-authored-by: Vincent Laporte --- pkgs/applications/science/logic/coq/default.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index fe99b045512b..bdd2796addcd 100644 --- a/pkgs/applications/science/logic/coq/default.nix +++ b/pkgs/applications/science/logic/coq/default.nix @@ -130,11 +130,12 @@ self = stdenv.mkDerivation { nativeBuildInputs = [ pkg-config ] ++ optional buildIde copyDesktopItems + ++ optional (buildIde && versionAtLeast "8.10") wrapGAppsHook ++ optional (!versionAtLeast "8.6") gnumake42; buildInputs = [ ncurses ] ++ ocamlBuildInputs ++ optionals buildIde (if versionAtLeast "8.10" - then [ ocamlPackages.lablgtk3-sourceview3 glib gnome.adwaita-icon-theme wrapGAppsHook ] + then [ ocamlPackages.lablgtk3-sourceview3 glib gnome.adwaita-icon-theme ] else [ ocamlPackages.lablgtk ]) ++ optional (versionAtLeast "8.14") ocamlPackages.dune_2 ;