Merge pull request #189004 from trofi/cvise-update

cvise: 2.4.0 -> 2.5.0
This commit is contained in:
Sergei Trofimovich 2022-08-31 07:25:34 +01:00 committed by GitHub
commit bd6f890133
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,6 +3,7 @@
, fetchFromGitHub
, bash
, cmake
, colordiff
, flex
, libclang
, llvm
@ -15,13 +16,13 @@
buildPythonApplication rec {
pname = "cvise";
version = "2.4.0";
version = "2.5.0";
src = fetchFromGitHub {
owner = "marxin";
repo = "cvise";
rev = "v${version}";
sha256 = "0cfzikkhp91hjgxjk3izzczb8d9p8v9zsfyk6iklk92n5qf1aakq";
rev = "refs/tags/v${version}";
sha256 = "sha256-Nt6Zs3FxO8Ti+ikVPVaMCejzBIuUxrzG4VLhChCSJQw=";
};
patches = [
@ -34,8 +35,9 @@ buildPythonApplication rec {
substituteInPlace cvise.py \
--replace "#!/bin/bash" "#!${bash}/bin/bash"
substituteInPlace setup.cfg \
--replace "--flake8" ""
substituteInPlace cvise/utils/testing.py \
--replace "'colordiff --version'" "'${colordiff}/bin/colordiff --version'" \
--replace "'colordiff'" "'${colordiff}/bin/colordiff'"
'';
nativeBuildInputs = [
@ -62,10 +64,6 @@ buildPythonApplication rec {
unifdef
];
preCheck = ''
patchShebangs cvise.py
'';
disabledTests = [
# Needs gcc, fails when run noninteractively (without tty).
"test_simple_reduction"