@@ -1,4 +1,4 @@
1−{ lib, stdenv, fetchurl, perl, perlPackages, makeWrapper, nettools, java, polyml, z3, rlwrap }:
1+{ lib, stdenv, fetchurl, perl, perlPackages, makeWrapper, nettools, java, polyml, z3, rlwrap, makeDesktopItem }:
22# nettools needed for hostname
33
44stdenv.mkDerivation rec {
@@ -68,9 +68,26 @@ stdenv.mkDerivation rec {
6868 cd $out/$dirname
6969 bin/isabelle install $out/bin
7070
71+ # icon
72+ mkdir -p "$out/share/icons/hicolor/isabelle/apps"
73+ cp "$out/Isabelle${version}/lib/icons/isabelle.xpm" "$out/share/icons/hicolor/isabelle/apps/"
74+
75+ # desktop item
76+ mkdir -p "$out/share"
77+ cp -r "${desktopItem}/share/applications" "$out/share/applications"
78+
7179 wrapProgram $out/$dirname/src/HOL/Tools/ATP/scripts/remote_atp --set PERL5LIB ${perlPackages.makeFullPerlPath [ perlPackages.LWP ]}
7280 '';
7381
82+ desktopItem = makeDesktopItem {
83+ name = "isabelle";
84+ exec = "isabelle jedit";
85+ icon = "isabelle";
86+ desktopName = "Isabelle";
87+ comment = meta.description;
88+ categories = "Education;Science;Math;";
89+ };
90+
7491 meta = with lib; {
7592 description = "A generic proof assistant";
7693