Merge pull request #334889 from fedeinthemix/wolfram-engine-update

This commit is contained in:
Sandro 2024-08-22 11:21:33 +02:00 committed by GitHub
commit 20b2cb122d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 11 additions and 4 deletions

View File

@ -101,9 +101,9 @@ stdenv.mkDerivation rec {
# Fix the installation script
patchShebangs MathInstaller
substituteInPlace MathInstaller \
--replace '`hostname`' "" \
--replace "chgrp" "# chgrp" \
--replace "chown" ": # chown"
--replace-fail '`hostname`' "" \
--replace-fail "chgrp" "# chgrp" \
--replace-fail "chown" ": # chown"
# Install the desktop items
export XDG_DATA_HOME="$out/share"
@ -125,7 +125,7 @@ stdenv.mkDerivation rec {
--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-fail "TopDirectory=" "TopDirectory=$out/libexec/${dirName} #";
fi
for path in WolframPlayer wolframplayer; do

View File

@ -7,6 +7,13 @@
let allVersions = lib.flip map
# N.B. Versions in this list should be ordered from newest to oldest.
[
{
version = "14.1.0";
lang = "en";
language = "English";
sha256 = "1kxdvm3i7nn3ws784y972h2br1n0y82kkkjvz7c5llssv6d3pgj8";
installer = "WolframEngine_14.1.0_LIN.sh";
}
{
version = "13.3.0";
lang = "en";