Remove agda-mode from executables

2025-10-28 18:21:22 +01:00
parent 0483e40bec
commit a8967950c8
1 changed files with 0 additions and 1 deletions
@@ -71,7 +71,6 @@ let
        makeWrapper ${lib.getExe Agda} $out/bin/${Agda.meta.mainProgram} \
          ${lib.optionalString (ghc != null) ''--add-flags "--with-compiler=${ghc}/bin/ghc"''} \
          --add-flags "--library-file=${libraryFile}"
-        ln -s ${lib.getExe' Agda "agda-mode"} $out/bin/agda-mode
      '';

  withPackages = arg: if isAttrs arg then withPackages' arg else withPackages' { pkgs = arg; };