chn/nixpkgs
1
0
Fork 0
mirror of https://github.com/CHN-beta/nixpkgs.git synced 2026-01-11 18:32:23 +08:00
Code Issues Packages Projects Releases Wiki Activity

haskellPackages.Agda: set mainProgram

Browse Source 
(cherry picked from commit 30cee69bb9)
This commit is contained in:
Naïm Camille Favier
2025-07-16 18:08:26 +02:00
parent 30814ab6e4
commit 2296ed31bc
2 changed files with 4 additions and 2 deletions
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 mkdir -p $out/bin
makeWrapper ${Agda.bin}/bin/agda $out/bin/agda \ makeWrapper ${lib.getExe Agda} $out/bin/agda \
--add-flags "--with-compiler=${ghc}/bin/ghc" \ --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 ${lib.getExe' Agda "agda-mode"} $out/bin/agda-mode
''; '';
withPackages = arg: if isAttrs arg then withPackages' arg else withPackages' { pkgs = arg; }; withPackages = arg: if isAttrs arg then withPackages' arg else withPackages' { pkgs = arg; };

2
pkgs/development/haskell-modules/configuration-nix.nix
View File

@@ -1352,6 +1352,8 @@ builtins.intersectAttrs super {
# very useful. # very useful.
# Flag added in Agda 2.6.4.1, was always enabled before # Flag added in Agda 2.6.4.1, was always enabled before
(enableCabalFlag "debug") (enableCabalFlag "debug")
# Set the main program
(overrideCabal { mainProgram = "agda"; })
# Split outputs to reduce closure size # Split outputs to reduce closure size
enableSeparateBinOutput enableSeparateBinOutput
]; ];