diff --git a/devshells/idris2.nix b/devshells/idris2.nix index 69508ac..358cfea 100644 --- 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 = ''