Merge pull request #28614 from dtzWill/update/yices-2.5.3

yices: 2.5.2 -> 2.5.3, libpoly: 0.1.3 -> 0.1.4
This commit is contained in:
Jörg Thalheim 2017-08-27 16:57:01 +01:00 committed by GitHub
commit cf7be87348
2 changed files with 6 additions and 6 deletions

View file

@ -1,6 +1,6 @@
{stdenv, fetchurl, gmp, cmake, python}:
let version = "0.1.3";
let version = "0.1.4";
in
stdenv.mkDerivation {
@ -8,7 +8,7 @@ stdenv.mkDerivation {
src = fetchurl {
url = "https://github.com/SRI-CSL/libpoly/archive/v${version}.tar.gz";
sha256 = "0nd90585imnznyp04vg6a5ixxkd3bavhv1437397aj2k3dfc0y2k";
sha256 = "16x1pk2a3pcb5a0dzyw28ccjwkhmbsck4hy80ss7kx0dd7qgpi7j";
};
buildInputs = [ cmake gmp python ];

View file

@ -2,12 +2,12 @@
stdenv.mkDerivation rec {
name = "yices-${version}";
version = "2.5.2";
version = "2.5.3";
src = fetchurl {
url = "http://yices.csl.sri.com/cgi-bin/yices2-newnewdownload.cgi?file=${name}-src.tar.gz&accept=I+Agree";
url = "https://github.com/SRI-CSL/yices2/archive/Yices-${version}.tar.gz";
name = "${name}-src.tar.gz";
sha256 = "18mjnwg0pwc0fx4f99l7hxsi10mb5skkzk0k1m3xv5kx3qfnghs0";
sha256 = "0a3zzbvmgyiljzqn6xmc037gismm779p696jywk09j2pqbvp52ac";
};
patchPhase = ''patchShebangs tests/regress/check.sh'';
@ -25,7 +25,7 @@ stdenv.mkDerivation rec {
# only installing the libyices.so.2.5.1 file.
installPhase = ''
make install LDCONFIG=true
(cd $out/lib && ln -s -f libyices.so.2.5.2 libyices.so.2.5)
(cd $out/lib && ln -s -f libyices.so.2.5.3 libyices.so.2.5)
'';
meta = with stdenv.lib; {