dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #43445 from dtzWill/fix/yices-symlink

Browse Source 
yices: fix symlink created to match version
This commit is contained in:
Will Dietz 2018-07-13 10:11:49 -05:00 committed by GitHub
commit efdf4711d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/applications/science/logic/yices/default.nix
View File

@ -26,9 +26,11 @@ stdenv.mkDerivation rec {
# Includes a fix for the embedded soname being libyices.so.2.5, but # Includes a fix for the embedded soname being libyices.so.2.5, but
# only installing the libyices.so.2.5.x file. # only installing the libyices.so.2.5.x file.
installPhase = '' installPhase = let
ver_XdotY = builtins.concatStringsSep "." (stdenv.lib.take 2 (stdenv.lib.splitString "." version));
in ''
make install LDCONFIG=true make install LDCONFIG=true
(cd $out/lib && ln -s -f libyices.so.${version} libyices.so.2.5) ln -sfr $out/lib/libyices.so.{${version},${ver_XdotY}}
''; '';
meta = with stdenv.lib; { meta = with stdenv.lib; {