Seperate out raku from idris environment

2025-01-09 11:59:37 -05:00 · 2025-01-09 11:59:37 -05:00 · bcd0288107
parent 99c4179cb5
commit bcd0288107
1 changed files with 0 additions and 13 deletions
--- a/devshells/idris2.nix
+++ b/devshells/idris2.nix
@ -11,18 +11,6 @@
    {
      devShells.idris2 =
        let
-          rakudo_env = pkgs.buildEnv {
-            name = "rakudo-env";
-            paths = with pkgs; [
-              rakudo
-              zef
-            ];
-            pathsToLink = [
-              "/bin"
-              "/lib"
-              "/share"
-            ];
-          };
          libPackages = with pkgs; [
            readline70
            openssl
@ -40,7 +28,6 @@
              gnumake
              chez
              rlwrap
-              rakudo_env
            ]
            ++ libPackages;
          shellHook = ''