Commit 9dd76ff7 authored by Federico Beffa's avatar Federico Beffa
Browse files

wolfram-engine: add 13.2.0

parent ea11a397
Loading
Loading
Loading
Loading
+4 −2
Original line number Diff line number Diff line
@@ -125,8 +125,10 @@ stdenv.mkDerivation rec {
    wrapQtApp "$out/libexec/${dirName}/SystemFiles/FrontEnd/Binaries/Linux-x86-64/WolframPlayer" \
      --set LD_LIBRARY_PATH "${zlib}/lib:${stdenv.cc.cc.lib}/lib:${libssh2}/lib:\''${LD_LIBRARY_PATH}" \
      --set QT_XKB_CONFIG_ROOT "${xkeyboard_config}/share/X11/xkb"
    if ! isELF "$out/libexec/${dirName}/SystemFiles/FrontEnd/Binaries/Linux-x86-64/WolframPlayer"; then
      substituteInPlace $out/libexec/${dirName}/SystemFiles/FrontEnd/Binaries/Linux-x86-64/WolframPlayer \
      --replace "TopDirectory=" "TopDirectory=$out/libexec/${dirName} #"
        --replace "TopDirectory=" "TopDirectory=$out/libexec/${dirName} #";
    fi

    for path in WolframPlayer wolframplayer; do
      makeWrapper $out/libexec/${dirName}/Executables/$path $out/bin/$path
+7 −0
Original line number Diff line number Diff line
@@ -7,6 +7,13 @@
let allVersions = with lib; flip map
  # N.B. Versions in this list should be ordered from newest to oldest.
  [
    {
      version = "13.2.0";
      lang = "en";
      language = "English";
      sha256 = "1xvg1n64iq52jxnk9y551m5iwkkz6cxzwyw28h8d0kq36aaiky24";
      installer = "WolframEngine_13.2.0_LINUX.sh";
    }
    {
      version = "13.1.0";
      lang = "en";