rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

idris doesn't support ARM i don't think

Browse source
This commit is contained in:
rhiannon morris 2022-05-27 17:22:33 +02:00
parent 9920bea6e3
commit cd651558a2
2 changed files with 8 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
flake.lock
View file

@ -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"
},

5
flake.nix
View file

@ -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;