h3: do not build filters by default

2023-12-25 04:20:00 +00:00
parent fd109717f8
commit b5f5d58b8f
1 changed files with 2 additions and 0 deletions
@@ -2,6 +2,7 @@
 , stdenv
 , cmake
 , fetchFromGitHub
+, withFilters ? false
 }:

 let
@@ -29,6 +30,7 @@ let
        "-DENABLE_COVERAGE=OFF"
        "-DENABLE_FORMAT=OFF"
        "-DENABLE_LINTING=OFF"
+        (lib.cmakeBool "BUILD_FILTERS" withFilters)
      ];

      meta = with lib; {