diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2021-07-17 00:05:09 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-17 00:05:09 +0000 |
commit | e9ca8c279621fe99b77eb2d13ef876cfce2d8178 (patch) | |
tree | bb1877f7c8be11c8d11032fc54d0d4b686e5721b /pkgs/development/compilers | |
parent | 049494e76e1be4c9a686bb0b0a5c73b15d1aa54c (diff) | |
parent | 8d3b6e10f19d75cdc8b4367b3321370e76641145 (diff) | |
download | nixlib-e9ca8c279621fe99b77eb2d13ef876cfce2d8178.tar nixlib-e9ca8c279621fe99b77eb2d13ef876cfce2d8178.tar.gz nixlib-e9ca8c279621fe99b77eb2d13ef876cfce2d8178.tar.bz2 nixlib-e9ca8c279621fe99b77eb2d13ef876cfce2d8178.tar.lz nixlib-e9ca8c279621fe99b77eb2d13ef876cfce2d8178.tar.xz nixlib-e9ca8c279621fe99b77eb2d13ef876cfce2d8178.tar.zst nixlib-e9ca8c279621fe99b77eb2d13ef876cfce2d8178.zip |
Merge master into haskell-updates
Diffstat (limited to 'pkgs/development/compilers')
-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 ac0f3312414e..c399772a9f32 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 |