%define utils_version 1.2

%global __brp_mangle_shebangs_exclude_from %{_bindir}/cbmc-convert-output

Name:           cbmc
Version:        5.38.0
Release:        3%{?dist}
Summary:        dummy pkg

License:        BSD with advertising
URL:            http://www.cprover.org/cbmc/

Source1:        https://github.com/aufover/%{name}-utils/archive/v%{utils_version}/%{name}-utils-%{utils_version}.tar.gz

%description
Do not install.

%package utils
Summary:        Output conversion utilities for CBMC

%description utils
Output conversion utilities for CBMC (GCC like format).

%prep
%setup -T -q -b 1 -n %{name}-utils-%{utils_version}
sed -e '1s|^#!.*$|#!/usr/bin/env -S LC_ALL=C.utf8 /usr/bin/python3|' \
    -i cbmc_utils/formatCBMCOutput.py

%install
install -D -p -m 0755 "%{_builddir}/%{name}-utils-%{utils_version}/cbmc_utils/formatCBMCOutput.py" %{buildroot}%{_bindir}/%{name}-convert-output
install -D -p -m 0755 "%{_builddir}/%{name}-utils-%{utils_version}/cbmc_utils/csexec-cbmc.sh" %{buildroot}%{_bindir}/csexec-%{name}

%files utils
%license ../%{name}-utils-%{utils_version}/LICENSE
%{_bindir}/%{name}-convert-output
%{_bindir}/csexec-%{name}

%changelog
* Wed Sep 15 2021 Vincent Mihalkovic <vmihalko@redhat.com> - 5.38.0-1
- New upstream release of cbmc and also cbmc-utils