coq: allow static linking by moving wrapGAppsHook to nativeBuildInputs

Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2 years ago · 4150bf02b5
parent 2c1ce60477
commit 4150bf02b5
1 changed files with 2 additions and 1 deletions
--- 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
  ;