Commit 40b17486 authored by kyehn's avatar kyehn Committed by kyehn
Browse files

yices: 2.6.5 -> 2.7.0

parent 757e96e0

pkgs/by-name/yi/yices/package.nix

+16 −6
Original line number Diff line number Diff line
@@ -7,23 +7,31 @@ 
  gperf,

  autoreconfHook,

  libpoly,

  ncurses5,

}:



let

  gmp-static = gmp.override { withStatic = true; };

in

stdenv.mkDerivation rec {

stdenv.mkDerivation (finalAttrs: {

  pname = "yices";

  version = "2.6.5";

  version = "2.7.0";



  src = fetchFromGitHub {

    owner = "SRI-CSL";

    repo = "yices2";

    rev = "Yices-${version}";

    hash = "sha256-/sKyHkFW5I5kojNIRPEKojzTvfRZiyVIN5VlBIbAV7k=";

    tag = "yices-${finalAttrs.version}";

    hash = "sha256-siyepgxqKWRyO4+SB95lmhJ98iDubk0R0ErEJdSsM8o=";

  };



  postPatch = "patchShebangs tests/regress/check.sh";

  postPatch = ''

    patchShebangs tests/regress/check.sh

  ''

  # operation not permitted

  + lib.optionalString stdenv.hostPlatform.isDarwin ''

    substituteInPlace utils/make_source_version \

      --replace-fail '"/usr/bin/mktemp -t out"' "mktemp"

  '';



  nativeBuildInputs = [ autoreconfHook ];

  buildInputs = [
@@ -41,6 +49,8 @@ stdenv.mkDerivation rec { 
  enableParallelBuilding = true;

  doCheck = true;



  nativeCheckInputs = [ ncurses5 ];



  meta = with lib; {

    description = "High-performance theorem prover and SMT solver";

    homepage = "https://yices.csl.sri.com";
@@ -48,4 +58,4 @@ stdenv.mkDerivation rec { 
    platforms = with platforms; linux ++ darwin;

    maintainers = with maintainers; [ thoughtpolice ];

  };

}
 
})