From 6ff8685057c1c6b0dbeed1c62d616696ae9b4dcf Mon Sep 17 00:00:00 2001 From: Will Dietz Date: Thu, 12 Jul 2018 18:46:28 -0500 Subject: [PATCH] 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. --- pkgs/applications/science/logic/yices/default.nix | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pkgs/applications/science/logic/yices/default.nix b/pkgs/applications/science/logic/yices/default.nix index 17fbcca642d..cc724d9726f 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; {