dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

tlaplusToolbox: deprecate phases

Browse Source
This commit is contained in:
Felix Buehler 2021-08-16 21:54:44 +02:00
parent 8ad1a7859a
commit 8a8a949ffd
1 changed files with 12 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
pkgs/applications/science/logic/tlaplus/toolbox.nix
View File

@ -1,5 +1,13 @@
{ lib, fetchzip, makeWrapper, makeDesktopItem, stdenv
, gtk3, libXtst, glib, zlib, wrapGAppsHook
{ lib
, fetchzip
, makeWrapper
, makeDesktopItem
, stdenv
, gtk3
, libXtst
, glib
, zlib
, wrapGAppsHook
}:
let
@ -17,7 +25,8 @@ let
};
in stdenv.mkDerivation rec {
in
stdenv.mkDerivation rec {
pname = "tla-toolbox";
version = "1.7.1";
src = fetchzip {
@ -31,8 +40,6 @@ in stdenv.mkDerivation rec {
dontWrapGApps = true;
phases = [ "installPhase" ];
installPhase = ''
runHook preInstall