tlaplus-toolbox: 1.7.1 -> 1.7.4

{

  lib,

  fetchzip,

  fetchurl,

  makeShellWrapper,

  makeDesktopItem,

  stdenv,

  glib,

  zlib,

  wrapGAppsHook3,

  copyDesktopItems,

  bintools,

  unzip,

}:

let

  desktopItem = makeDesktopItem rec {

    name = "TLA+Toolbox";

    exec = "tla-toolbox";

    icon = "tla-toolbox";

    comment = "IDE for TLA+";

    desktopName = name;

    genericName = comment;

    categories = [ "Development" ];

    startupWMClass = "TLA+ Toolbox";

  };

stdenv.mkDerivation (finalAttrs: {

  pname = "tlaplus-toolbox";

  version = "1.7.4";

in

stdenv.mkDerivation rec {

  pname = "tla-toolbox";

  version = "1.7.1";

  src = fetchzip {

    url = "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-${version}-linux.gtk.x86_64.zip";

    sha256 = "02a2y2mkfab5cczw8g604m61h4xr0apir49zbd1aq6mmgcgngw80";

  src = fetchurl {

    url = "https://tla.msr-inria.inria.fr/tlatoolbox/branches/${finalAttrs.version}/products/TLAToolbox-${finalAttrs.version}-linux.gtk.x86_64.zip";

    hash = "sha256-eYK2cXJvLIQfkK+onromwhNfAmzWSyCZXCsEORxkjaU=";

  };

  buildInputs = [ gtk3 ];

  nativeBuildInputs = [

    copyDesktopItems

    makeShellWrapper

    wrapGAppsHook3

    unzip

  ];

  buildInputs = [ gtk3 ];

  dontWrapGApps = true;

  desktopItems = [

    (makeDesktopItem {

      name = "TLA+Toolbox";

      exec = "tla-toolbox";

      icon = "tla-toolbox";

      comment = "IDE for TLA+";

      desktopName = "TLA+Toolbox";

      genericName = "IDE for TLA+";

      categories = [ "Development" ];

      startupWMClass = "TLA+ Toolbox";

    })

  ];

  installPhase = ''

    runHook preInstall

    mkdir -p "$out/bin"

    cp -r "$src" "$out/toolbox"

    chmod -R +w "$out/toolbox"

    fixupPhase

    gappsWrapperArgsHook

    patchelf \

      --set-interpreter $(cat $NIX_CC/nix-support/dynamic-linker) \

      "$out/toolbox/toolbox"

    mkdir -p "$out/bin" "$out/libexec"

    cp -r . "$out/libexec/toolbox"

    patchelf \

      --set-interpreter $(cat $NIX_CC/nix-support/dynamic-linker) \

      --set-rpath "${lib.makeLibraryPath [ zlib ]}:$(patchelf --print-rpath $(find "$out/toolbox" -name java))" \

      "$(find "$out/toolbox" -name java)"

    patchelf --set-interpreter ${bintools.dynamicLinker} "$out/libexec/toolbox/toolbox"

    patchelf --set-interpreter ${bintools.dynamicLinker} \

      --add-rpath "${lib.makeLibraryPath [ zlib ]}" \

      "$(find "$out/libexec/toolbox" -name java)"

    patchelf --set-interpreter ${bintools.dynamicLinker} \

      "$(find "$out/libexec/toolbox" -name jspawnhelper)"

    patchelf \

      --set-interpreter $(cat $NIX_CC/nix-support/dynamic-linker) \

      "$(find "$out/toolbox" -name jspawnhelper)"

    makeShellWrapper $out/toolbox/toolbox $out/bin/tla-toolbox \

      --chdir "$out/toolbox" \

    makeShellWrapper $out/libexec/toolbox/toolbox $out/bin/tla-toolbox \

      --chdir "$out/libexec/toolbox" \

      --add-flags "-data ~/.tla-toolbox" \

      --prefix LD_LIBRARY_PATH : "${

        lib.makeLibraryPath [

      "''${gappsWrapperArgs[@]}"

    echo -e "\nCreating TLA Toolbox icons..."

    pushd "$src"

    for icon_in in $(find . -path "./plugins/*/icons/full/etool16/tla_launch_check_wiz_*.png")

    do

      icon_size=$(echo $icon_in | grep -Po "wiz_\K[0-9]+")

      icon_out="$out/share/icons/hicolor/$icon_size""x$icon_size/apps/tla-toolbox.png"

      mkdir -p "$(dirname $icon_out)"

      cp "$icon_in" "$icon_out"

      install -D --mode=0644 "$icon_in" "$icon_out"

    done

    popd

    echo -e "\nCreating TLA Toolbox desktop entry..."

    cp -r "${desktopItem}/share/applications"* "$out/share/applications"

    runHook postInstall

  '';

    platforms = [ "x86_64-linux" ];

    maintainers = [ ];

  };

}

})