Unverified Commit 9f62ff9f authored by Rafael Ieda's avatar Rafael Ieda
Browse files

arjun-cnf: fix build with cmake4

parent ca1811bd

pkgs/by-name/ar/arjun-cnf/package.nix

+5 −0
Original line number Diff line number Diff line
@@ -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";