|
|
|
@ -1,9 +1,9 @@ |
|
|
|
|
{ lib, fetchzip, makeWrapper, makeDesktopItem, stdenv |
|
|
|
|
, jre, swt, gtk, libXtst, glib |
|
|
|
|
, gtk, libXtst, glib, zlib |
|
|
|
|
}: |
|
|
|
|
|
|
|
|
|
let |
|
|
|
|
version = "1.5.7"; |
|
|
|
|
version = "1.6.0"; |
|
|
|
|
arch = "x86_64"; |
|
|
|
|
|
|
|
|
|
desktopItem = makeDesktopItem rec { |
|
|
|
@ -24,7 +24,7 @@ in stdenv.mkDerivation { |
|
|
|
|
name = "tla-toolbox-${version}"; |
|
|
|
|
src = fetchzip { |
|
|
|
|
url = "https://tla.msr-inria.inria.fr/tlatoolbox/products/TLAToolbox-${version}-linux.gtk.${arch}.zip"; |
|
|
|
|
sha256 = "0lg9sizpw5mkcnwwvmgqigkizjyz2lf1wrg48h7mg7wcv3macy4q"; |
|
|
|
|
sha256 = "1mgx4p5qykf9q0p4cp6kcpc7fx8g5f2w1g40kdgas24hqwrgs3cm"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
buildInputs = [ makeWrapper ]; |
|
|
|
@ -34,17 +34,20 @@ in stdenv.mkDerivation { |
|
|
|
|
installPhase = '' |
|
|
|
|
mkdir -p "$out/bin" |
|
|
|
|
cp -r "$src" "$out/toolbox" |
|
|
|
|
chmod +w "$out/toolbox" "$out/toolbox/toolbox" |
|
|
|
|
chmod -R +w "$out/toolbox" |
|
|
|
|
|
|
|
|
|
patchelf \ |
|
|
|
|
--set-interpreter $(cat $NIX_CC/nix-support/dynamic-linker) \ |
|
|
|
|
"$out/toolbox/toolbox" |
|
|
|
|
|
|
|
|
|
patchelf \ |
|
|
|
|
--set-interpreter $(cat $NIX_CC/nix-support/dynamic-linker) \ |
|
|
|
|
"$(find "$out/toolbox" -name java)" |
|
|
|
|
|
|
|
|
|
makeWrapper $out/toolbox/toolbox $out/bin/tla-toolbox \ |
|
|
|
|
--run "set -x; cd $out/toolbox" \ |
|
|
|
|
--add-flags "-data ~/.tla-toolbox" \ |
|
|
|
|
--prefix PATH : "${jre}/bin" \ |
|
|
|
|
--prefix LD_LIBRARY_PATH : "${lib.makeLibraryPath [ swt gtk libXtst glib ]}" |
|
|
|
|
--prefix LD_LIBRARY_PATH : "${lib.makeLibraryPath [ gtk libXtst glib zlib ]}" |
|
|
|
|
|
|
|
|
|
echo -e "\nCreating TLA Toolbox icons..." |
|
|
|
|
pushd "$src" |
|
|
|
|