646b892680
Some checks failed
Periodic Merges (6h) / master → staging-nixos (push) Failing after 12m50s
Periodic Merges (6h) / master → staging-next (push) Failing after 12m54s
Periodic Merges (24h) / merge-base(master,staging) → haskell-updates (push) Failing after 11m54s
Periodic Merges (6h) / staging-next → staging (push) Failing after 12m13s
Periodic Merges (24h) / staging-next-25.05 → staging-25.05 (push) Failing after 13m24s
Periodic Merges (24h) / release-25.05 → staging-next-25.05 (push) Failing after 14m28s
73 lines
1.4 KiB
Nix
73 lines
1.4 KiB
Nix
{
|
|
lib,
|
|
makeDesktopItem,
|
|
copyDesktopItems,
|
|
wrapGAppsHook3,
|
|
glib,
|
|
adwaita-icon-theme,
|
|
mkCoqDerivation,
|
|
coq,
|
|
version ? null,
|
|
}:
|
|
|
|
mkCoqDerivation rec {
|
|
pname = "coqide";
|
|
inherit version;
|
|
|
|
inherit (coq) src;
|
|
release."${coq.version}" = { };
|
|
|
|
defaultVersion = if lib.versions.range "8.14" "8.20" coq.version then coq.version else null;
|
|
|
|
preConfigure = ''
|
|
patchShebangs dev/tools/
|
|
'';
|
|
prefixKey = "-prefix ";
|
|
|
|
useDune = true;
|
|
|
|
buildInputs = [
|
|
copyDesktopItems
|
|
wrapGAppsHook3
|
|
coq.ocamlPackages.lablgtk3-sourceview3
|
|
glib
|
|
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 = "CoqIDE user interface for the Coq proof assistant";
|
|
mainProgram = "coqide";
|
|
license = licenses.lgpl21Plus;
|
|
maintainers = [ maintainers.Zimmi48 ];
|
|
};
|
|
}
|