mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-02 20:03:16 +00:00
eb04659fc2
This was achieved using the following command:
sd 'wrapGAppsHook\b' wrapGAppsHook3 (rg -l 'wrapGAppsHook\b')
And then manually reverted the following changes:
- alias in top-level.nix
- function name in wrap-gapps-hook.sh
- comment in postFixup of at-spi2-core
- comment in gtk4
- comment in preFixup of 1password-gui/linux.nix
- comment in postFixup of qgis/unwrapped-ltr.nix and qgis/unwrapped.nix
- comment in postFixup of telegram-desktop
- comment in postFixup of fwupd
- buildCommand of mongodb-compass
- postFixup of xflux-gui
- comment in a patch in kdePackages.kde-gtk-config and plasma5Packages.kde-gtk-config
- description of programs.sway.wrapperFeatures.gtk NixOS option (manual rebuild)
37 lines
1.5 KiB
Nix
37 lines
1.5 KiB
Nix
{ metaFetch, mkCoqDerivation, coq, lib, glib, gnome, wrapGAppsHook3,
|
|
version ? null }:
|
|
|
|
let ocamlPackages = coq.ocamlPackages;
|
|
defaultVersion = with lib.versions; lib.switch coq.coq-version [
|
|
{ case = range "8.18" "8.19"; out = "2.1.2"; }
|
|
{ case = isEq "8.18"; out = "2.0.3+coq8.18"; }
|
|
] null;
|
|
location = { domain = "github.com"; owner = "coq-community"; repo = "vscoq"; };
|
|
fetch = metaFetch ({
|
|
release."2.0.3+coq8.18".sha256 = "sha256-VXhHCP6Ni5/OcsgoI1EbJfYCpXzwkuR8kbbKrl6dfjU=";
|
|
release."2.0.3+coq8.18".rev = "v2.0.3+coq8.18";
|
|
release."2.1.2".rev = "v2.1.2";
|
|
release."2.1.2".sha256 = "sha256-GloY68fLmIv3oiEGNWwmgKv1CMAReBuXzMTUsKOs328=";
|
|
inherit location; });
|
|
fetched = fetch (if version != null then version else defaultVersion);
|
|
in
|
|
ocamlPackages.buildDunePackage {
|
|
pname = "vscoq-language-server";
|
|
inherit (fetched) version;
|
|
src = "${fetched.src}/language-server";
|
|
nativeBuildInputs = [ coq ];
|
|
buildInputs =
|
|
[ coq glib gnome.adwaita-icon-theme wrapGAppsHook3 ] ++
|
|
(with ocamlPackages; [ findlib
|
|
lablgtk3-sourceview3 yojson zarith ppx_inline_test
|
|
ppx_assert ppx_sexp_conv ppx_deriving ppx_import sexplib
|
|
ppx_yojson_conv lsp sel ppx_optcomp ]);
|
|
|
|
meta = with lib; {
|
|
description = "Language server for the vscoq vscode/codium extension";
|
|
homepage = "https://github.com/coq-community/vscoq";
|
|
maintainers = with maintainers; [ cohencyril ];
|
|
license = licenses.mit;
|
|
} // optionalAttrs (fetched.broken or false) { coqFilter = true; broken = true; };
|
|
}
|