Name: cvise

Version: 2.9.0

Release: 1%{?dist}

Summary: Super-parallel Python port of the C-Reduce

License: BSD

URL: https://github.com/marxin/cvise

Source: https://github.com/marxin/cvise/archive/v%{version}.tar.gz

BuildRequires: astyle

BuildRequires: cmake

BuildRequires: flex

BuildRequires: llvm-devel

BuildRequires: unifdef

BuildRequires: clang-devel

BuildRequires: ninja-build

BuildRequires: indent

BuildRequires: gcc-c++

BuildRequires: python3-pebble

BuildRequires: python3-pytest

BuildRequires: python3-psutil

BuildRequires: python3-chardet

BuildRequires: make

Requires: astyle

Requires: clang-tools-extra

Requires: unifdef

Requires: python3-pebble

Requires: python3-psutil

Requires: indent

Requires: colordiff

%description

C-Vise is a super-parallel Python port of the C-Reduce. The port is fully

compatible to the C-Reduce and uses the same efficient

LLVM-based C/C++ reduction tool named clang_delta.

C-Vise is a tool that takes a large C, C++ or OpenCL program that

has a property of interest (such as triggering a compiler bug) and

automatically produces a much smaller C/C++ or OpenCL program that

has the same property. It is intended for use by people who discover

and report bugs in compilers and other tools that process C/C++ or OpenCL code.

%prep

%setup -q

%build

export CXXFLAGS="$RPM_OPT_FLAGS -Wno-error=restrict"

%cmake -DCMAKE_SKIP_RPATH=TRUE -GNinja

%cmake_build

%check

%cmake_build --target test

%install

%cmake_install

%files

%license COPYING

%{_bindir}/cvise

%{_bindir}/cvise-delta

%dir %{_libexecdir}/cvise

%{_libexecdir}/cvise/clex

%{_libexecdir}/cvise/clang_delta

%{_libexecdir}/cvise/strlex

%{_libexecdir}/cvise/topformflat

%{_datadir}/cvise

%changelog

* Tue Dec 05 2023 Marek Polacek <polacek@redhat.com> - 2.9.0-1

- update to cvise-2.9.0 (#2113164)

- require colordiff (#2252760)

* Wed Jul 26 2023 Vincent Mihalkovic <vmihalko@redhat.com> - 2.8.0-1

- update to cvise-2.8.0 (#2123703)

  various spec file improvements

* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.0-6

- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.0-5

- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.0-4

- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.4.0-3

- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

* Mon Nov 01 2021 Marek Polacek <polacek@redhat.com> - 2.4.0-2

- bump Release for rebuild

* Mon Nov 01 2021 Marek Polacek <polacek@redhat.com> - 2.4.0-1

- update to cvise-2.4.0 (#2014306)

- require python3-chardet

* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.0-2

- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

* Tue Mar 09 2021 Marek Polacek <polacek@redhat.com> - 2.3.0-1

- update to cvise-2.3.0 (#1935355)

* Mon Mar 08 2021 Marek Polacek <polacek@redhat.com> - 2.2.0-1

- update to cvise-2.2.0 (#1935355)

* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.1.0-3

- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

* Fri Jan 22 2021 Tom Stellard <tstellar@redhat.com> - 2.1.0-2

- Rebuild for clang-11.1.0

* Mon Jan 11 2021 Marek Polacek <polacek@redhat.com> - 2.1.0-1

- update to cvise-2.1.0 (#1914882)

* Fri Nov 20 2020 Marek Polacek <polacek@redhat.com> - 2.0.0-1

- update to cvise-2.0.0 (#1883731)

* Mon Aug 03 2020 Marek Polacek <polacek@redhat.com> - 1.4.0-4

- Use the _target_platform directory when building/installing (#1863387)

* Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-3

- Second attempt - Rebuilt for

  https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-2

- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

* Tue Jul 07 2020 Marek Polacek <polacek@redhat.com> - 1.4.0-1

- initial version