Unverified Commit b26960b6 authored by 7c6f434c's avatar 7c6f434c Committed by GitHub
Browse files

iprover: 3.8.1 -> 3.9.2 (#476606)

parents 0181e567 6760abbd

pkgs/by-name/ip/iprover/package.nix

+7 −3
Original line number Diff line number Diff line
@@ -10,13 +10,13 @@ 


stdenv.mkDerivation {

  pname = "iprover";

  version = "3.8.1";

  version = "3.9.2";



  src = fetchFromGitLab {

    owner = "korovin";

    repo = "iprover";

    rev = "f61edb113b705606c7314dc4dce0687832c3169f";

    hash = "sha256-XXqbEoYKjoktE3ZBEIEFjLhA1B75zhnfPszhe8SvbI8=";

    rev = "v3.9.2";

    hash = "sha256-CbqPtP2pKLFgo67EF0IhvIdv1dAog2vb3Es0asmmSyY=";

  };



  postPatch = ''
@@ -45,6 +45,10 @@ stdenv.mkDerivation { 


  preConfigure = "patchShebangs .";



  env = {

    NIX_CFLAGS_COMPILE = "-std=gnu17";

  };



  installPhase = ''

    runHook preInstall

    mkdir -p "$out/bin"