pagsuite: 1.80 -> 1.80-unstable-2025-05-03

This commit is contained in:
Weijia Wang
2025-10-18 21:33:06 +02:00
parent ff3d1ad091
commit 18a2d0fffb
+12 -21
View File
@@ -1,38 +1,26 @@
{
lib,
stdenv,
fetchurl,
fetchpatch,
fetchFromGitLab,
cmake,
unzip,
gmp,
scalp,
}:
stdenv.mkDerivation rec {
stdenv.mkDerivation {
pname = "pagsuite";
version = "1.80";
version = "1.80-unstable-2025-05-03";
src = fetchurl {
url = "https://gitlab.com/kumm/pagsuite/-/raw/master/releases/pagsuite_${
lib.replaceStrings [ "." ] [ "_" ] version
}.zip";
hash = "sha256-TYd+dleVPWEWU9Cb3XExd7ixJZyiUAp9QLtorYJSIbQ=";
src = fetchFromGitLab {
domain = "gitlab.com";
owner = "kumm";
repo = "pagsuite";
rev = "1cc657765658cb2eb622d4a9c656ab9854150e7d";
hash = "sha256-jyp3h5n6SkyTpLzqMezvu2nri6rDkX3ACcCO9r4/bBA=";
};
patches = [
# Fix issue with latest ScaLP update
(fetchpatch {
url = "https://gitlab.com/kumm/pagsuite/-/commit/cae9f78bec93a7f197461358f2f796f6b5778781.patch";
hash = "sha256-12IisS6oGYLRicORTemHB7bw9EB9cuQjxG8f6X0WMrU=";
})
];
sourceRoot = "pagsuite_${lib.replaceStrings [ "." ] [ "_" ] version}";
nativeBuildInputs = [
cmake
unzip
];
buildInputs = [
@@ -40,6 +28,9 @@ stdenv.mkDerivation rec {
scalp
];
# make[2]: *** No rule to make target 'lib/libpag.dylib', needed by 'bin/osr'. Stop.
enableParallelBuilding = false;
meta = with lib; {
description = "Optimization tools for the (P)MCM problem";
homepage = "https://gitlab.com/kumm/pagsuite";