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

---
 flake.lock | 8 ++++----
 flake.nix  | 5 ++++-
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/flake.lock b/flake.lock
index 3d64a5e..91e7490 100644
--- a/flake.lock
+++ b/flake.lock
@@ -552,11 +552,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1653651071,
-        "narHash": "sha256-fHr67LkChBYwDa3e4tFT0d4zhP5Ufhj0f9iakOdor8A=",
+        "lastModified": 1653664911,
+        "narHash": "sha256-99TvF2KxzElayz/NCzEtuseaZfpzpSvC2GzqyHw9aRo=",
         "ref": "main",
-        "rev": "97deb5f288fccc091d62f708a5bd2efabd08e220",
-        "revCount": 9,
+        "rev": "83ae1f835b4a7dfaf7812b893e812f94089b122d",
+        "revCount": 10,
         "type": "git",
         "url": "https://git.rhiannon.website/rhi/idris2-tap"
       },
diff --git a/flake.nix b/flake.nix
index f40268a..1aa4b62 100644
--- a/flake.nix
+++ b/flake.nix
@@ -23,7 +23,10 @@
   };
 
   outputs = { self, nixpkgs, idris2-pkgs, flake-utils, tap }:
-    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;