pyrox.dev
Merge pull request #141541 from trofi/fix-yices-links
+9
-4
pkgs/applications/science/logic/yices/default.nix
+9
-4
pkgs/applications/science/logic/yices/default.nix
···
2
3
stdenv.mkDerivation rec {
4
pname = "yices";
5
-
version = "2.6.3";
6
7
src = fetchFromGitHub {
8
owner = "SRI-CSL";
9
repo = "yices2";
10
rev = "Yices-${version}";
11
-
sha256 = "01fi818lbkwilfcf1dz2dpxkcc1kh8ls0sl5aynyx9pwfn2v03zl";
12
};
13
14
nativeBuildInputs = [ autoreconfHook ];
···
25
# Usual shenanigans
26
patchPhase = "patchShebangs tests/regress/check.sh";
27
28
-
# Includes a fix for the embedded soname being libyices.so.2.5, but
29
-
# only installing the libyices.so.2.5.x file.
30
installPhase = let
31
ver_XdotY = lib.versions.majorMinor version;
32
in ''
33
make install LDCONFIG=true
34
ln -sfr $out/lib/libyices.so.{${version},${ver_XdotY}}
35
'';
36
···
2
3
stdenv.mkDerivation rec {
4
pname = "yices";
5
+
# We never want X.Y.${odd} versions as they are moving development tags.
6
+
version = "2.6.2";
7
8
src = fetchFromGitHub {
9
owner = "SRI-CSL";
10
repo = "yices2";
11
rev = "Yices-${version}";
12
+
sha256 = "1jx3854zxvfhxrdshbipxfgyq1yxb9ll9agjc2n0cj4vxkjyh9mn";
13
};
14
15
nativeBuildInputs = [ autoreconfHook ];
···
26
# Usual shenanigans
27
patchPhase = "patchShebangs tests/regress/check.sh";
28
29
+
# Includes a fix for the embedded soname being libyices.so.X.Y, but
30
+
# only installing the libyices.so.X.Y.Z file.
31
installPhase = let
32
ver_XdotY = lib.versions.majorMinor version;
33
in ''
34
make install LDCONFIG=true
35
+
# guard against packaging of unstable versions: they
36
+
# have a soname of hext (not current) release.
37
+
echo "Checking expected library version to be ${version}"
38
+
[ -f $out/lib/libyices.so.${version} ]
39
ln -sfr $out/lib/libyices.so.{${version},${ver_XdotY}}
40
'';
41