From 3ac06942ab3fa311f61eb443f002f8e005e36439 Mon Sep 17 00:00:00 2001 From: Nathan McCarty Date: Sat, 30 Nov 2024 09:39:53 +0000 Subject: [PATCH] Idris2 devshell --- devshells/idris2.nix | 24 ++++++++++++++++++++++++ flake.nix | 1 + 2 files changed, 25 insertions(+) create mode 100644 devshells/idris2.nix diff --git a/devshells/idris2.nix b/devshells/idris2.nix new file mode 100644 index 0000000..9f873c4 --- /dev/null +++ b/devshells/idris2.nix @@ -0,0 +1,24 @@ +{ withSystem, inputs, ... }: +{ + perSystem = + { + config, + pkgs, + inputs', + ... + }: + { + devShells.idris2 = pkgs.mkShell { + buildInputs = with pkgs; [ + # Idris toolchain + inputs'.nixpkgs-unstable.legacyPackages.idris2Packages.pack + inputs'.nixpkgs-unstable.legacyPackages.idris2 + pkg-config + gmp + gnumake + chez + rlwrap + ]; + }; + }; +} diff --git a/flake.nix b/flake.nix index 4546751..15b54d4 100644 --- a/flake.nix +++ b/flake.nix @@ -25,6 +25,7 @@ ./nixos/machines/wsl/configuration.nix ./home-manager/machines/wsl/home.nix ./devshells/rust.nix + ./devshells/idris2.nix ]; systems = [ "x86_64-linux"