yices: use lib.splitString, not everyone has builtins.splitVersion

This commit is contained in:
Will Dietz 2018-07-12 19:11:06 -05:00
parent 237c8f4148
commit 946a65ca5c

View file

@ -27,7 +27,7 @@ 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 = let
ver_XdotY = builtins.concatStringsSep "." (stdenv.lib.take 2 (builtins.splitVersion version));
ver_XdotY = builtins.concatStringsSep "." (stdenv.lib.take 2 (stdenv.lib.splitString "." version));
in ''
make install LDCONFIG=true
ln -sfr $out/lib/libyices.so.{${version},${ver_XdotY}}