diff options
| author | Jan van Brügge <supermanitu@gmail.com> | 2021-07-19 12:04:30 +0200 |
|---|---|---|
| committer | Jan van Brügge <supermanitu@gmail.com> | 2021-07-19 12:04:30 +0200 |
| commit | e32da890c9bbfadcd41bd70de00de6f14b737840 (patch) | |
| tree | e3a5ef95ba025c0ee25bde459a49eec77bfeb9fb /pkgs/applications/science/logic/isabelle/default.nix | |
| parent | 9111bd40b2411bc9cfdf6a7ab981e83005788837 (diff) | |
| download | nixpkgs-e32da890c9bbfadcd41bd70de00de6f14b737840.tar nixpkgs-e32da890c9bbfadcd41bd70de00de6f14b737840.tar.gz nixpkgs-e32da890c9bbfadcd41bd70de00de6f14b737840.tar.bz2 nixpkgs-e32da890c9bbfadcd41bd70de00de6f14b737840.tar.lz nixpkgs-e32da890c9bbfadcd41bd70de00de6f14b737840.tar.xz nixpkgs-e32da890c9bbfadcd41bd70de00de6f14b737840.tar.zst nixpkgs-e32da890c9bbfadcd41bd70de00de6f14b737840.zip | |
isabelle: Add desktop entry
Diffstat (limited to 'pkgs/applications/science/logic/isabelle/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/isabelle/default.nix | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix index b24c452cd18..f9337f69025 100644 --- a/pkgs/applications/science/logic/isabelle/default.nix +++ b/pkgs/applications/science/logic/isabelle/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, fetchurl, perl, perlPackages, makeWrapper, nettools, java, polyml, z3, rlwrap }: +{ lib, stdenv, fetchurl, perl, perlPackages, makeWrapper, nettools, java, polyml, z3, rlwrap, makeDesktopItem }: # nettools needed for hostname stdenv.mkDerivation rec { @@ -68,9 +68,26 @@ stdenv.mkDerivation rec { cd $out/$dirname bin/isabelle install $out/bin + # icon + mkdir -p "$out/share/icons/hicolor/isabelle/apps" + cp "$out/Isabelle${version}/lib/icons/isabelle.xpm" "$out/share/icons/hicolor/isabelle/apps/" + + # desktop item + mkdir -p "$out/share" + cp -r "${desktopItem}/share/applications" "$out/share/applications" + wrapProgram $out/$dirname/src/HOL/Tools/ATP/scripts/remote_atp --set PERL5LIB ${perlPackages.makeFullPerlPath [ perlPackages.LWP ]} ''; + desktopItem = makeDesktopItem { + name = "isabelle"; + exec = "isabelle jedit"; + icon = "isabelle"; + desktopName = "Isabelle"; + comment = meta.description; + categories = "Education;Science;Math;"; + }; + meta = with lib; { description = "A generic proof assistant"; |