yices: 2.5.3 -> 2.5.4

Signed-off-by: Austin Seipp <aseipp@pobox.com>

+14 -12
+14 -12
pkgs/applications/science/logic/yices/default.nix
··· 2 2 3 3 stdenv.mkDerivation rec { 4 4 name = "yices-${version}"; 5 - version = "2.5.3"; 5 + version = "2.5.4"; 6 6 7 7 src = fetchurl { 8 8 url = "https://github.com/SRI-CSL/yices2/archive/Yices-${version}.tar.gz"; 9 9 name = "${name}-src.tar.gz"; 10 - sha256 = "0a3zzbvmgyiljzqn6xmc037gismm779p696jywk09j2pqbvp52ac"; 10 + sha256 = "1k8wmlddi3zv5kgg6xbch3a0s0xqsmsfc7y6z8zrgcyhswl36h7p"; 11 11 }; 12 12 13 - patchPhase = ''patchShebangs tests/regress/check.sh''; 14 - 15 - configureFlags = [ "--with-static-gmp=${gmp-static.out}/lib/libgmp.a" 16 - "--with-static-gmp-include-dir=${gmp-static.dev}/include" 17 - "--enable-mcsat" 18 - ]; 19 13 nativeBuildInputs = [ autoreconfHook ]; 20 - buildInputs = [ gmp-static gperf libpoly ]; 14 + buildInputs = [ gmp-static gperf libpoly ]; 15 + configureFlags = 16 + [ "--with-static-gmp=${gmp-static.out}/lib/libgmp.a" 17 + "--with-static-gmp-include-dir=${gmp-static.dev}/include" 18 + "--enable-mcsat" 19 + ]; 21 20 22 21 enableParallelBuilding = true; 23 22 doCheck = true; 23 + 24 + # Usual shenanigans 25 + patchPhase = ''patchShebangs tests/regress/check.sh''; 24 26 25 27 # Includes a fix for the embedded soname being libyices.so.2.5, but 26 - # only installing the libyices.so.2.5.1 file. 28 + # only installing the libyices.so.2.5.x file. 27 29 installPhase = '' 28 30 make install LDCONFIG=true 29 - (cd $out/lib && ln -s -f libyices.so.2.5.3 libyices.so.2.5) 31 + (cd $out/lib && ln -s -f libyices.so.${version} libyices.so.2.5) 30 32 ''; 31 33 32 34 meta = with stdenv.lib; { 33 35 description = "A high-performance theorem prover and SMT solver"; 34 36 homepage = "http://yices.csl.sri.com"; 35 37 license = licenses.gpl3; 36 - platforms = platforms.linux ++ platforms.darwin; 38 + platforms = with platforms; linux ++ darwin; 37 39 maintainers = [ maintainers.thoughtpolice ]; 38 40 }; 39 41 }