louvain-community, arjun-cnf: fix build with cmake4 (#454506)

This commit is contained in:
Yohann Boniface
2025-10-23 21:54:29 +00:00
committed by GitHub
2 changed files with 10 additions and 0 deletions
+5
View File
@@ -38,6 +38,11 @@ stdenv.mkDerivation (finalAttrs: {
louvain-community
];
postPatch = ''
substituteInPlace CMakeLists.txt \
--replace-fail "cmake_minimum_required(VERSION 3.3 FATAL_ERROR)" "cmake_minimum_required(VERSION 3.10)"
'';
meta = with lib; {
description = "CNF minimizer and minimal independent set calculator";
homepage = "https://github.com/meelgroup/arjun";
@@ -21,6 +21,11 @@ stdenv.mkDerivation (finalAttrs: {
passthru.updateScript = unstableGitUpdater { };
postPatch = ''
substituteInPlace CMakeLists.txt \
--replace-fail "cmake_minimum_required(VERSION 3.3 FATAL_ERROR)" "cmake_minimum_required(VERSION 3.10)"
'';
meta = with lib; {
description = "Louvain Community Detection Library";
homepage = "https://github.com/meelgroup/louvain-community";