restricted valid host platforms to MIPS systems

2026-04-24 16:13:50 +00:00 · 2023-10-24 21:06:19 -06:00 · 2023-10-24 21:06:19 -06:00 · 0431147fdd
parent 64e0928b2b
commit 0431147fdd
1 changed files with 6 additions and 0 deletions
--- a/shell.nix
+++ b/shell.nix
@ -4,6 +4,12 @@
  }
 }:

+let
+  hostPlatformCheck =
+    with pkgs.stdenv.hostPlatform;
+    if isMips then null
+    else abort "cross platform target must be a MIPS target";
+in
 pkgs.callPackage
  ({ mkShell
   , gnumake42