diff options
author | Will Dietz <w@wdtz.org> | 2018-07-12 18:46:28 -0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-07-12 18:46:28 -0500 |
commit | 6ff8685057c1c6b0dbeed1c62d616696ae9b4dcf (patch) | |
tree | b89039cce3d9b816ed6228eeb6b2845debb2bbdc /pkgs/applications/science | |
parent | b26c2242933bdb82ec6a7cd6cb94b8df38acda29 (diff) |
yices: fix symlink to match version of package
To help avoid this happening again, derive the string to use from the version directly instead of embedding it in installPhase.
Diffstat (limited to 'pkgs/applications/science')
-rw-r--r-- | pkgs/applications/science/logic/yices/default.nix | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/yices/default.nix b/pkgs/applications/science/logic/yices/default.nix index 17fbcca642d89..cc724d9726f77 100644 --- a/pkgs/applications/science/logic/yices/default.nix +++ b/pkgs/applications/science/logic/yices/default.nix @@ -26,9 +26,11 @@ stdenv.mkDerivation rec { # Includes a fix for the embedded soname being libyices.so.2.5, but # only installing the libyices.so.2.5.x file. - installPhase = '' + installPhase = let + ver_XdotY = builtins.concatStringsSep "." (stdenv.lib.take 2 (builtins.splitVersion version)); + in '' make install LDCONFIG=true - (cd $out/lib && ln -s -f libyices.so.${version} libyices.so.2.5) + (cd $out/lib && ln -s -f libyices.so.${version} libyices.so.${ver_XdotY} ''; meta = with stdenv.lib; { |