From 83ae1f835b4a7dfaf7812b893e812f94089b122d Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Fri, 27 May 2022 17:21:51 +0200
Subject: [PATCH] idris doesn't support ARM i don't think

---
 flake.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 2b256b6..6c2fbed 100644
--- a/flake.nix
+++ b/flake.nix
@@ -16,7 +16,10 @@
   };
 
   outputs = { self, nixpkgs, idris2-pkgs, flake-utils }:
-    flake-utils.lib.eachDefaultSystem (system:
+    let systems = with flake-utils.lib.system;
+          [ x86_64-darwin x86_64-linux i686-linux ];
+    in
+    flake-utils.lib.eachSystem systems (system:
       let
         pkgs = import nixpkgs {
           inherit system;