feat(nix): add support for aarch64 linux & mac

FStarLang · Feb 11, 2025 · 0ecf7c1 · 0ecf7c1
1 parent 4d4b74e
commit 0ecf7c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flake.nix b/flake.nix
@@ -6,7 +6,7 @@
   };
 
   outputs = { self, fstar, flake-utils, nixpkgs }:
-    flake-utils.lib.eachSystem [ "x86_64-linux" ] (system:
+    flake-utils.lib.eachDefaultSystem (system:
       let
         fstarPackages = fstar.packages.${system};
         pkgs = import nixpkgs { inherit system; };