talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

agda: use getBin Agda instead of Agda.bin (#425820)

Browse Source
This commit is contained in:
Philip Taron 2025-07-16 08:47:52 -07:00 committed by GitHub
commit 87a974b889
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/build-support/agda/default.nix
View File

@ -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; };