Updating scipoptsuite 9.2.1 -> 9.2.2 (except scipopt-gcg) (#400014)

This commit is contained in:
Arne Keller
2025-05-12 09:13:01 +02:00
committed by GitHub
5 changed files with 10 additions and 14 deletions
+3 -7
View File
@@ -12,16 +12,16 @@
stdenv.mkDerivation rec {
pname = "scipopt-papilo";
version = "2.4.1";
version = "2.4.2";
# To correlate scipVersion and version, check: https://scipopt.org/#news
scipVersion = "9.2.1";
scipVersion = "9.2.2";
src = fetchFromGitHub {
owner = "scipopt";
repo = "papilo";
tag = "v${version}";
hash = "sha256-oQ9iq5UkFK0ghUx6uxdJIOo5niQjniHegSZptqi2fgE=";
hash = "sha256-/1AsAesUh/5YXeCU2OYopoG3SXAwAecPD88QvGkb2bY=";
};
nativeBuildInputs = [ cmake ];
@@ -42,10 +42,6 @@ stdenv.mkDerivation rec {
# > include/boost/multiprecision/mpfr.hpp:22: fatal error: mpfr.h: No such file or directory
# > compilation terminated.
(lib.cmakeBool "SOPLEX" false)
# (lib.cmakeBool "GMP" true)
# (lib.cmakeBool "QUADMATH" true)
# (lib.cmakeBool "TBB" true)
];
doCheck = true;
meta = {
+2 -2
View File
@@ -20,13 +20,13 @@
stdenv.mkDerivation rec {
pname = "scipopt-scip";
version = "9.2.1";
version = "9.2.2";
src = fetchFromGitHub {
owner = "scipopt";
repo = "scip";
tag = "v${lib.replaceStrings [ "." ] [ "" ] version}";
hash = "sha256-xYxbMZYYqFNInlct8Ju0SrksfJlwV9Q+AHjxq7xhfAs=";
hash = "sha256-gxR308XrlmuUym/ujwGcD9a7Z+Z7vQNHaK4zO/PWPBQ=";
};
nativeBuildInputs = [ cmake ];
+3 -3
View File
@@ -11,16 +11,16 @@
stdenv.mkDerivation (finalAttrs: {
pname = "scipopt-soplex";
version = "713";
version = "714";
# To correlate scipVersion and version, check: https://scipopt.org/#news
scipVersion = "9.2.1";
scipVersion = "9.2.2";
src = fetchFromGitHub {
owner = "scipopt";
repo = "soplex";
rev = "release-${builtins.replaceStrings [ "." ] [ "" ] finalAttrs.version}";
hash = "sha256-qI7VGPAm3ALzeiD/OgvlZ1w2GzHRYdBajTW5XdIN9pU=";
hash = "sha256-j5dsCAjEaReVpHHCM8FUyDIhxZ4P2yk2h89k5omTh8o=";
};
nativeBuildInputs = [ cmake ];
+1 -1
View File
@@ -13,7 +13,7 @@ stdenv.mkDerivation rec {
version = "1.0.0-beta6";
# To correlate scipVersion and version, check: https://scipopt.org/#news
scipVersion = "9.2.1";
scipVersion = "9.2.2";
# Take the SCIPOptSuite source since no other source exists publicly.
src = fetchzip {
+1 -1
View File
@@ -14,7 +14,7 @@ stdenv.mkDerivation rec {
version = "362";
# To correlate scipVersion and version, check: https://scipopt.org/#news
scipVersion = "9.2.1";
scipVersion = "9.2.2";
src = fetchFromGitHub {
owner = "scipopt";