chore: remove microkit-sdk-bin pkg

Signed-off-by: Wanja Zaeske <[email protected]>
DLR-FT · Aug 14, 2024 · 64a2e44 · 64a2e44
1 parent 900ebf0
commit 64a2e44
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 19 deletions.
diff --git a/flake.nix b/flake.nix
@@ -102,7 +102,6 @@
           ### microkit(-sdk)
           #
           microkit-sdk = pkgs.microkit-sdk;
-          microkit-sdk-bin = pkgs.microkit-sdk-bin;
 
           #
           ### seL4 Kernel Flavours
@@ -526,13 +525,14 @@
             bear
             gnumake
             qemu
+            microkit-sdk
           ];
 
           # mitigates the following errors:
           # undefined reference to `__stack_chk_guard'
           # undefined reference to `__stack_chk_fail'
           hardeningDisable = [ "all" ];
-          env.MICROKIT_SDK = pkgs.microkit-sdk-bin;
+          env.MICROKIT_SDK = pkgs.microkit-sdk;
         };
 
 

diff --git a/overlay.nix b/overlay.nix
@@ -26,7 +26,6 @@ final: prev: {
 
   # microkit
   microkit-sdk = prev.callPackage pkgs/microkit-sdk.nix { };
-  microkit-sdk-bin = prev.callPackage pkgs/microkit-sdk-bin.nix { };
 
 
   # overlay python packages

diff --git a/pkgs/microkit-sdk-bin.nix b/pkgs/microkit-sdk-bin.nix