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)
62 lines
1.3 KiB
Nix
62 lines
1.3 KiB
Nix
{ lib
|
|
, makeDesktopItem
|
|
, copyDesktopItems
|
|
, wrapGAppsHook3
|
|
, glib
|
|
, gnome
|
|
, mkCoqDerivation
|
|
, coq
|
|
, version ? null }:
|
|
|
|
mkCoqDerivation rec {
|
|
pname = "coqide";
|
|
inherit version;
|
|
|
|
inherit (coq) src;
|
|
release."${coq.version}" = {};
|
|
|
|
defaultVersion = if lib.versions.isGe "8.14" coq.version then coq.version else null;
|
|
|
|
preConfigure = ''
|
|
patchShebangs dev/tools/
|
|
'';
|
|
prefixKey = "-prefix ";
|
|
|
|
useDune = true;
|
|
|
|
buildInputs = [
|
|
copyDesktopItems
|
|
wrapGAppsHook3
|
|
coq.ocamlPackages.lablgtk3-sourceview3
|
|
glib
|
|
gnome.adwaita-icon-theme
|
|
];
|
|
|
|
buildPhase = ''
|
|
runHook preBuild
|
|
dune build -p ${pname} -j $NIX_BUILD_CORES
|
|
runHook postBuild
|
|
'';
|
|
installPhase = ''
|
|
runHook preInstall
|
|
dune install --prefix $out ${pname}
|
|
runHook postInstall
|
|
'';
|
|
|
|
desktopItems = makeDesktopItem {
|
|
name = "coqide";
|
|
exec = "coqide";
|
|
icon = "coq";
|
|
desktopName = "CoqIDE";
|
|
comment = "Graphical interface for the Coq proof assistant";
|
|
categories = [ "Development" "Science" "Math" "IDE" "GTK" ];
|
|
};
|
|
|
|
meta = with lib; {
|
|
homepage = "https://coq.inria.fr";
|
|
description = "The CoqIDE user interface for the Coq proof assistant";
|
|
mainProgram = "coqide";
|
|
license = licenses.lgpl21Plus;
|
|
maintainers = [ maintainers.Zimmi48 ];
|
|
};
|
|
}
|