Merge pull request #110367 from markuskowa/upd-slurm

slurm: 20.11.2.1 -> 20.11.3.1
This commit is contained in:
markuskowa 2021-01-21 20:08:18 +01:00 committed by GitHub
commit afa23b8a4b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 7 deletions

View file

@ -109,12 +109,12 @@ in {
ensurePermissions = { "slurm_acct_db.*" = "ALL PRIVILEGES"; }; ensurePermissions = { "slurm_acct_db.*" = "ALL PRIVILEGES"; };
name = "slurm"; name = "slurm";
}]; }];
extraOptions = '' settings.mysqld = {
# recommendations from: https://slurm.schedmd.com/accounting.html#mysql-configuration # recommendations from: https://slurm.schedmd.com/accounting.html#mysql-configuration
innodb_buffer_pool_size=1024M innodb_buffer_pool_size="1024M";
innodb_log_file_size=64M innodb_log_file_size="64M";
innodb_lock_wait_timeout=900 innodb_lock_wait_timeout=900;
''; };
}; };
}; };

View file

@ -9,7 +9,7 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "slurm"; pname = "slurm";
version = "20.11.2.1"; version = "20.11.3.1";
# N.B. We use github release tags instead of https://www.schedmd.com/downloads.php # N.B. We use github release tags instead of https://www.schedmd.com/downloads.php
# because the latter does not keep older releases. # because the latter does not keep older releases.
@ -18,7 +18,7 @@ stdenv.mkDerivation rec {
repo = "slurm"; repo = "slurm";
# The release tags use - instead of . # The release tags use - instead of .
rev = "${pname}-${builtins.replaceStrings ["."] ["-"] version}"; rev = "${pname}-${builtins.replaceStrings ["."] ["-"] version}";
sha256 = "02vz386ix28yr2lrn9z0hycqmw1d0npvwvx51fhp2mav66rrx79p"; sha256 = "1601h7gid7fyvgmvrmz0h0xkxd7whp06rmj03822bv1szqr20xyy";
}; };
outputs = [ "out" "dev" ]; outputs = [ "out" "dev" ];