diff options
| author | Ulrik Strid <ulrik.strid@outlook.com> | 2022-02-18 13:31:21 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-02-18 15:17:04 +0100 |
| commit | 4150bf02b50037b5bf53e2c35cc842f1ae84e04e (patch) | |
| tree | 0030a9465289b4ba1ed46a2a9c7e758f1cb88b95 /pkgs/applications/science/logic/coq | |
| parent | 2c1ce604773518f437c4989e8c591131bd1f746a (diff) | |
coq: allow static linking by moving wrapGAppsHook to nativeBuildInputs
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
Diffstat (limited to 'pkgs/applications/science/logic/coq')
| -rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix index fe99b045512b9..bdd2796addcdb 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 ; |