fix: add extraCmakeFlags arg to seL4-kernel.nix

This fixes #41
DLR-FT · Nov 13, 2024 · 71a31e0 · 71a31e0
1 parent e66b879
commit 71a31e0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/pkgs/seL4-kernel.nix b/pkgs/seL4-kernel.nix
@@ -10,6 +10,7 @@
 , python3Packages
 , verifiedConfig ? null
 , extraVerifiedConfigs ? [ ]
+, extraCmakeFlags ? [ ]
 }:
 
 
@@ -62,7 +63,8 @@ stdenv.mkDerivation rec {
     "-GNinja"
     "-DCROSS_COMPILER_PREFIX=${stdenv.cc.targetPrefix}"
     "-DCMAKE_TOOLCHAIN_FILE=../gcc.cmake"
-  ] ++ lib.lists.optional (verifiedConfig != null) "-C../configs/${verifiedConfig}.cmake";
+  ] ++ lib.lists.optional (verifiedConfig != null) "-C../configs/${verifiedConfig}.cmake"
+  ++ extraCmakeFlags;
 
   # TODO remove hotfix for https://github.com/seL4/seL4/issues/1334
   patches = lib.lists.optional (lib.lists.elem verifiedConfig brokenVerifiedConfigs) ../patches/seL4-cmake-install-target-failure.patch;