# NOTE: upstream does not make releases and has no version numbering scheme.
# We check the code out of git and use the date of the last commit as the
# version number.
%global gittag 5a127dbbcf9a0f822768e783dbf892ee90c435d5
%global shorttag %(cut -b -7 <<< %{gittag})
Name: lfsc
Version: 0.20230914
Release: 1%{?dist}
Summary: SMT proof checker
License: BSD-3-Clause
URL: https://github.com/cvc5/LFSC
Source0: %{url}/archive/%{gittag}/%{name}-%{shorttag}.tar.gz
# The next few sources contain commonly used proof definitions
Source1: http://clc.cs.uiowa.edu/lfsc/euf_interpolation.plf
Source2: http://clc.cs.uiowa.edu/lfsc/sat.plf
Source3: http://clc.cs.uiowa.edu/lfsc/smt.plf
Source4: http://clc.cs.uiowa.edu/lfsc/th_base.plf
Source5: http://clc.cs.uiowa.edu/lfsc/th_real.plf
Source6: http://clc.cs.uiowa.edu/lfsc/th_lra.plf
Source7: http://clc.cs.uiowa.edu/lfsc/th_lra-cvc3.plf
Source8: http://clc.cs.uiowa.edu/lfsc/color_base.plf
Source9: http://clc.cs.uiowa.edu/lfsc/color_euf.plf
# Use std::unordered_map instead of the deprecated __gnu_cxx::hash_map
Patch0: %{name}-map.patch
# See https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval
ExcludeArch: %{ix86}
BuildRequires: cmake
BuildRequires: flex
BuildRequires: gcc-c++
BuildRequires: gmp-devel
BuildRequires: help2man
BuildRequires: make
BuildRequires: python3-devel
%description
This package contains an SMT proof checker.
%package devel
Summary: Files needed to compile side conditions
Requires: %{name}%{?_isa} = %{version}-%{release}
%description devel
This package contains the files needed to compile a version of %{name} that
can execute a side condition.
%prep
%autosetup -p0 -n LFSC-%{gittag}
# We want to know about use of deprecated interfaces
sed -i '/Wno-deprecated/d' CMakeLists.txt
# Build a shared library instead of a static library, and give it an soname
sed -e 's/STATIC/SHARED/' \
-e '/^[[:blank:]]*OUTPUT_NAME lfscc/i\ VERSION 0.0.0\n SOVERSION 0' \
-e 's/ARCHIVE DESTINATION/LIBRARY DESTINATION/' \
-e '/^set_target_properties/iTARGET_LINK_LIBRARIES(liblfscc gmp)' \
-i src/CMakeLists.txt
# Fix the library install path
if [ "%{_lib}" = "lib64" ]; then
sed -i 's,/lib,/lib64,' src/CMakeLists.txt
fi
# Fix the test script
%py3_shebang_fix tests/run_test.py
%build
%cmake
%cmake_build
%install
%cmake_install
# Install the proof files
mkdir -p %{buildroot}%{_datadir}/%{name}
cp -p %{SOURCE1} %{SOURCE2} %{SOURCE3} %{SOURCE4} %{SOURCE5} %{SOURCE6} \
%{SOURCE7} %{SOURCE8} %{SOURCE9} %{buildroot}%{_datadir}/%{name}
# Generate a man page
cd %{_vpath_builddir}/src
mkdir -p %{buildroot}%{_mandir}/man1
export LD_LIBRARY_PATH=$PWD
help2man -N --version-string=%{version} ./lfscc > \
%{buildroot}%{_mandir}/man1/lfscc.1
# Fix line breaks in the man page
sed -i 's/\\fB/.TP\n&/;s/\\fR: /\\fR\n/' %{buildroot}%{_mandir}/man1/lfscc.1
# Help the debuginfo generator
cp -p ../../src/lexer.flex .
cd -
%check
%ctest
%files
%license COPYING
%doc AUTHORS README.md
%{_bindir}/lfscc
%{_datadir}/%{name}/
%{_libdir}/liblfscc.so.0*
%{_mandir}/man1/lfscc.1*
%files devel
%{_includedir}/lfscc.h
%{_libdir}/liblfscc.so
%changelog
* Thu Mar 14 2024 Jerry James <loganjerry@gmail.com> - 0.20230914-1
- Update to 20230914 git snapshot
- Drop upstreamed stdint patch
* Thu Jan 25 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.20230523-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.20230523-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 0.20230523-1
- Stop building for 32-bit x86
* Fri Jul 28 2023 Jerry James <loganjerry@gmail.com> - 0.20230523-1
- Update to 20230523 git snapshot
* Thu Jul 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.20210305-6
- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Thu Jan 19 2023 Jerry James <loganjerry@gmail.com> - 0.20210305-5
- Add -stdint patch to fix FTBFS
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0.20210305-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Nov 28 2022 Jerry James <loganjerry@gmail.com> - 0.20210305-4
- New project URL
- Convert License tag to SPDX
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.20210305-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0.20210305-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Thu Jul 22 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.20210305-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Sat Jul 17 2021 Jerry James <loganjerry@gmail.com> - 0.20210305-1
- Update to 20210305 git snapshot
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 0.20201110-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Tue Jan 19 2021 Jerry James <loganjerry@gmail.com> - 0.20201110-1
- Update to 20201110 snapshot
* Mon Aug 24 2020 Jerry James <loganjerry@gmail.com> - 0.20200815-1
- Update to 20200815 git snapshot
* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.20200719-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Sat Jul 25 2020 Jerry James <loganjerry@gmail.com> - 0.20200719-1
- Update to 20200719 git snapshot
- Adapt to cmake changes in Rawhide
* Thu Mar 5 2020 Jerry James <loganjerry@gmail.com> - 0.20200115-1
- Update to latest git snapshot
- Link the library with gmp
- Generate a man page for the binary with help2man
* Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0.20190808-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Mon Sep 9 2019 Jerry James <loganjerry@gmail.com> - 0.20190808-1
- Update to latest git snapshot
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.20190226-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Wed Jun 12 2019 Jerry James <loganjerry@gmail.com> - 0.20190226-1
- Update to latest git snapshot
* Thu Feb 7 2019 Jerry James <loganjerry@gmail.com> - 0.20190113-1
- Update to latest git snapshot for identifier bug fix
- Add -map patch to fix use of deprecated interface
* Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0.20181122-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Mon Nov 26 2018 Jerry James <loganjerry@gmail.com> - 0.20181122-1
- Update to latest git snapshot for 2 bug fixes
- Use upstream's new test suite
* Wed Nov 7 2018 Jerry James <loganjerry@gmail.com> - 0.20181029-1
- Update to latest git snapshot
* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0.20180322-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Thu Jul 5 2018 Jerry James <loganjerry@gmail.com> - 0.20180322-1
- Initial RPM (unretired)