diff options
author | Maƫlys Bras de fer <mae.bdf@outlook.com> | 2021-11-28 13:20:38 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-28 13:20:38 +0100 |
commit | 69f1acd3ecc1b3879275bf4ecb330cdd7f1735bc (patch) | |
tree | 7e23afa8ed4dc650e5e8907c4688d3bda8c3065d /pkgs/development/idris-modules | |
parent | 55d436b1e7f280f8b072758696c28c30dadde853 (diff) | |
download | nixpkgs-69f1acd3ecc1b3879275bf4ecb330cdd7f1735bc.tar nixpkgs-69f1acd3ecc1b3879275bf4ecb330cdd7f1735bc.tar.gz nixpkgs-69f1acd3ecc1b3879275bf4ecb330cdd7f1735bc.tar.bz2 nixpkgs-69f1acd3ecc1b3879275bf4ecb330cdd7f1735bc.tar.lz nixpkgs-69f1acd3ecc1b3879275bf4ecb330cdd7f1735bc.tar.xz nixpkgs-69f1acd3ecc1b3879275bf4ecb330cdd7f1735bc.tar.zst nixpkgs-69f1acd3ecc1b3879275bf4ecb330cdd7f1735bc.zip |
build-idris-package: Use patchPhase for consistency
Diffstat (limited to 'pkgs/development/idris-modules')
-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 ac0555636be..7869c270699 100644 --- a/pkgs/development/idris-modules/build-idris-package.nix +++ b/pkgs/development/idris-modules/build-idris-package.nix @@ -36,9 +36,10 @@ stdenv.mkDerivation ({ # Some packages use the style # opts = -i ../../path/to/package # rather than the declarative pkgs attribute so we have to rewrite the path. - postPatch = '' + patchPhase = '' runHook prePatch sed -i ${ipkgName}.ipkg -e "/^opts/ s|-i \\.\\./|-i ${idris-with-packages}/libs/|g" + runHook postPatch ''; buildPhase = '' |