agda: use getBin Agda instead of Agda.bin

Makes the wrapper work if `enableSeparateBinOutput` is off.
2025-07-16 17:34:58 +02:00
parent a94dd3a654
commit 4d3c5d0dc3
1 changed files with 2 additions and 2 deletions
@@ -65,10 +65,10 @@ let
      }
      ''
        mkdir -p $out/bin
-        makeWrapper ${Agda.bin}/bin/agda $out/bin/agda \
+        makeWrapper ${lib.getBin Agda}/bin/agda $out/bin/agda \
          ${lib.optionalString (ghc != null) ''--add-flags "--with-compiler=${ghc}/bin/ghc"''} \
          --add-flags "--library-file=${library-file}"
-        ln -s ${Agda.bin}/bin/agda-mode $out/bin/agda-mode
+        ln -s ${lib.getBin Agda}/bin/agda-mode $out/bin/agda-mode
      '';

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