diff options
| author | Fabián Heredia Montiel <fabianhjr@protonmail.com> | 2021-07-15 17:26:30 -0500 |
|---|---|---|
| committer | Fabián Heredia Montiel <fabianhjr@protonmail.com> | 2021-07-15 21:50:33 -0500 |
| commit | 37d73021ee8324e868dbd8c67d1b8ced969fc161 (patch) | |
| tree | ba43841343c9b6fc2321c08f53bbd8380cd2a783 /pkgs/development/compilers/idris2 | |
| parent | 0c98c6bbc43daa8af7554a3efe1983c0c096d979 (diff) | |
idris2: fix packagePaths issue
packagePaths changed between idris2 `v0.3.0` and `v0.4.0` and now
includes a version number in the path.
Fixes nixos/nixpkgs#130310
Co-authored-by: zseri <zseri.devel@ytrizja.de>
Co-authored-by: Mario Rodas <marsam@users.noreply.github.com>
Diffstat (limited to 'pkgs/development/compilers/idris2')
| -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 |