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

agda.withPackages: allow installing Agda without GHC using ghc = null;

Browse Source
This commit is contained in:
Tsung-Ju Chiang 2025-05-28 15:15:28 +08:00
parent aeb017b583
commit 17501d776b
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/languages-frameworks/agda.section.md
View File

@ -121,6 +121,8 @@ agda.withPackages {
} }
``` ```
To install Agda without GHC, use `ghc = null;`.
## Writing Agda packages {#writing-agda-packages} ## Writing Agda packages {#writing-agda-packages}
To write a nix derivation for an Agda library, first check that the library has a `*.agda-lib` file. To write a nix derivation for an Agda library, first check that the library has a `*.agda-lib` file.

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

@ -66,7 +66,7 @@ let
'' ''
mkdir -p $out/bin mkdir -p $out/bin
makeWrapper ${Agda.bin}/bin/agda $out/bin/agda \ makeWrapper ${Agda.bin}/bin/agda $out/bin/agda \
--add-flags "--with-compiler=${ghc}/bin/ghc" \ ${lib.optionalString (ghc != null) ''--add-flags "--with-compiler=${ghc}/bin/ghc"''} \
--add-flags "--library-file=${library-file}" --add-flags "--library-file=${library-file}"
ln -s ${Agda.bin}/bin/agda-mode $out/bin/agda-mode ln -s ${Agda.bin}/bin/agda-mode $out/bin/agda-mode
''; '';