diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-07-16 06:01:38 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-16 06:01:38 +0000 |
commit | e69bb567a4711ffe850eb2970bc26928bbd9383d (patch) | |
tree | 6fff3eb1fb24a358dd1e8414483bab7377fbf0cb /pkgs/development | |
parent | f5074933b7280ce32e1a756e6468a5321cb885de (diff) | |
parent | 7959589ea0b53a9c4fcbbd8ae24fc63a4dc44eee (diff) | |
download | nixpkgs-e69bb567a4711ffe850eb2970bc26928bbd9383d.tar nixpkgs-e69bb567a4711ffe850eb2970bc26928bbd9383d.tar.gz nixpkgs-e69bb567a4711ffe850eb2970bc26928bbd9383d.tar.bz2 nixpkgs-e69bb567a4711ffe850eb2970bc26928bbd9383d.tar.lz nixpkgs-e69bb567a4711ffe850eb2970bc26928bbd9383d.tar.xz nixpkgs-e69bb567a4711ffe850eb2970bc26928bbd9383d.tar.zst nixpkgs-e69bb567a4711ffe850eb2970bc26928bbd9383d.zip |
Merge staging-next into staging
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/compilers/idris2/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/compilers/idris2/default.nix b/pkgs/development/compilers/idris2/default.nix index ac0f3312414..c399772a9f3 100644 --- a/pkgs/development/compilers/idris2/default.nix +++ b/pkgs/development/compilers/idris2/default.nix @@ -48,7 +48,8 @@ stdenv.mkDerivation rec { postInstall = let includedLibs = [ "base" "contrib" "network" "prelude" ]; name = "${pname}-${version}"; - packagePaths = builtins.map (l: "$out/${name}/" + l) includedLibs; + packagePaths = + builtins.map (l: "$out/${name}/${l}-${version}") includedLibs; additionalIdris2Paths = builtins.concatStringsSep ":" packagePaths; in '' # Remove existing idris2 wrapper that sets incorrect LD_LIBRARY_PATH |