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/logic | |
parent | b26c2242933bdb82ec6a7cd6cb94b8df38acda29 (diff) | |
download | nixlib-6ff8685057c1c6b0dbeed1c62d616696ae9b4dcf.tar nixlib-6ff8685057c1c6b0dbeed1c62d616696ae9b4dcf.tar.gz nixlib-6ff8685057c1c6b0dbeed1c62d616696ae9b4dcf.tar.bz2 nixlib-6ff8685057c1c6b0dbeed1c62d616696ae9b4dcf.tar.lz nixlib-6ff8685057c1c6b0dbeed1c62d616696ae9b4dcf.tar.xz nixlib-6ff8685057c1c6b0dbeed1c62d616696ae9b4dcf.tar.zst nixlib-6ff8685057c1c6b0dbeed1c62d616696ae9b4dcf.zip |
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/logic')
-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 17fbcca642d8..cc724d9726f7 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; { |