Merge pull request #532 from FStarLang/lucas-nix-aarch64

feat(nix): add support for aarch64 linux & mac
FStarLang · Feb 11, 2025 · 1d81d75 · 1d81d75
2 parents 4d4b74e + 0ecf7c1
commit 1d81d75
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; };