diff options
Diffstat (limited to 'pkgs/development/idris-modules/build-idris-package.nix')
| -rw-r--r-- | pkgs/development/idris-modules/build-idris-package.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/idris-modules/build-idris-package.nix b/pkgs/development/idris-modules/build-idris-package.nix index 9dfa3430ed8..66eddd0e360 100644 --- a/pkgs/development/idris-modules/build-idris-package.nix +++ b/pkgs/development/idris-modules/build-idris-package.nix @@ -18,7 +18,8 @@ fi } - envHooks+=(addIdrisLibs) + # All run-time deps + addEnvHooks 0 addIdrisLibs ''; buildPhase = '' |