colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

haskellPackages.agda2lagda: provide executable to test suite

Browse Source
This commit is contained in:
sternenseemann 2023-08-15 12:26:07 +02:00
parent 74e0320bb8
commit 1132e3984c
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -93,6 +93,13 @@ self: super: builtins.intersectAttrs super {
doCheck = false;
}) super.ghcide;
# Test suite needs executable
agda2lagda = overrideCabal (drv: {
preCheck = ''
export PATH="$PWD/dist/build/agda2lagda:$PATH"
'' + drv.preCheck or "";
}) super.agda2lagda;
hiedb = overrideCabal (drv: {
preCheck = ''
export PATH=$PWD/dist/build/hiedb:$PATH