Name: cbmc Version: 5.10 Release: 1%{?dist} Summary: Bounded Model Checker for ANSI-C and C++ programs License: BSD with advertising URL: http://www.cprover.org/cbmc/ Source0: https://github.com/diffblue/cbmc/archive/%{name}-%{version}.tar.gz # Man page link for goto-cc and goto-instrument Source1: goto-cc.1 # Fedora-specific patch: set up our build options Patch0: %{name}-5.10-fix-build.patch # Make -Werror=format-security happy Patch1: %{name}-5.9-format.patch # Fix a build failure: https://github.com/diffblue/cbmc/issues/777 Patch2: %{name}-5.9-qbf.patch # Adapt to recent versions of glpk Patch3: %{name}-5.9-glpk.patch BuildRequires: bash BuildRequires: bison BuildRequires: cudd-devel BuildRequires: doxygen-latex BuildRequires: flex BuildRequires: gcc-c++ BuildRequires: glpk-devel BuildRequires: graphviz BuildRequires: minisat2-devel BuildRequires: zlib-devel Requires: sed %description CBMC generates traces that demonstrate how an assertion can be violated, or proves that the assertion cannot be violated within a given number of loop iterations. %package doc Summary: Documentation for %{name} %description doc Documentation for %{name}. %prep %autosetup -p0 -n %{name}-%{name}-%{version} # Use the right build flags sed -e "s|@RPM_OPT_FLAGS@|$RPM_OPT_FLAGS|" \ -e "s|@RPM_LD_FLAGS@|-Wl,--as-needed $RPM_LD_FLAGS|" \ -i src/config.inc %build pushd src make %{?_smp_mflags} # Build the documentation doxygen popd %install mkdir -p %{buildroot}%{_bindir} %{buildroot}%{_mandir}/man1 install -p -m 0755 src/cbmc/cbmc %{buildroot}%{_bindir} install -p -m 0755 src/goto-analyzer/goto-analyzer %{buildroot}%{_bindir} install -p -m 0755 src/goto-cc/goto-cc %{buildroot}%{_bindir} install -p -m 0755 src/goto-diff/goto-diff %{buildroot}%{_bindir} install -p -m 0755 src/goto-instrument/goto-instrument %{buildroot}%{_bindir} install -p -m 0644 doc/man/cbmc.1 %{buildroot}%{_mandir}/man1 install -p -m 0644 %{SOURCE1} %{buildroot}%{_mandir}/man1 install -p -m 0644 %{SOURCE1} %{buildroot}%{_mandir}/man1/goto-instrument.1 # Feed the debuginfo generator ln -s xml_y.tab.h src/xmllang/xml_y.tab.hpp %ifarch x86_64 %check # The tests were written with the assumption that they would be executed on # an x86_64. Other platforms suffer a large number of spurious test failures. make -C regression %endif %files %doc CHANGELOG README.md %license LICENSE %{_bindir}/cbmc %{_bindir}/goto-analyzer %{_bindir}/goto-cc %{_bindir}/goto-diff %{_bindir}/goto-instrument %{_mandir}/man1/* %files doc %doc doc/html %changelog * Wed Sep 26 2018 Jerry James - 5.10-1 - New upstream release * Thu Jul 12 2018 Fedora Release Engineering - 5.9-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Fri Jun 22 2018 Jerry James - 5.9-1 - New upstream release - Drop upstreamed -float128 and -vec patches - Musketeer and symex have been removed; do not try to build them * Mon Jun 11 2018 Jerry James - 5.8-4 - Fix out of bounds vector accesses * Sat Jun 2 2018 Jerry James - 5.8-3 - Rebuild for glpk 4.65 * Wed Feb 07 2018 Fedora Release Engineering - 5.8-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Sat Aug 12 2017 Jerry James - 5.8-1 - New upstream release - Drop upstreamed -musketeer patch - Add -doc subpackage to hold doxygen-generated content * Wed Aug 02 2017 Fedora Release Engineering - 5.7-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering - 5.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Thu Apr 6 2017 Jerry James - 5.7-1 - New upstream release * Wed Apr 5 2017 Jerry James - 5.6-3 - Rebuild for glpk 4.61 * Fri Feb 10 2017 Fedora Release Engineering - 5.6-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Sat Nov 26 2016 Jerry James - 5.6-1 - New upstream release * Fri Sep 16 2016 Jerry James - 5.5-2 - Fix two tests that fail on big endian architectures (bz 1371894) * Sat Aug 27 2016 Jerry James - 5.5-1 - New upstream release * Thu Mar 17 2016 Jerry James - 5.4-1 - New upstream release * Sat Mar 12 2016 Jerry James - 5.3-5 - Rebuild for glpk 4.59 * Fri Feb 19 2016 Jerry James - 5.3-4 - Rebuild for glpk 4.58 * Wed Feb 03 2016 Fedora Release Engineering - 5.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Fri Jan 22 2016 Jerry James - 5.3-2 - Rebuild for cudd 3.0.0 * Tue Dec 1 2015 Jerry James - 5.3-1 - New upstream release * Wed Oct 7 2015 Jerry James - 5.2-1 - New upstream release * Fri Oct 2 2015 Jerry James - 5.1-3 - Rebuild for cudd 2.5.1 * Wed Jun 17 2015 Fedora Release Engineering - 5.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Wed May 13 2015 Jerry James - 5.1-1 - New upstream release - Drop upstreamed -messaget patch * Sat May 02 2015 Kalev Lember - 5.0-2 - Rebuilt for GCC 5 C++11 ABI change * Mon Feb 2 2015 Jerry James - 5.0-1 - New upstream release - Drop upstreamed ppc64le patch - Add -messaget patch to fix a build failure * Mon Sep 15 2014 Jerry James - 4.9-1 - New upstream release - Drop upstreamed patches * Wed Sep 3 2014 Jerry James - 4.7-3 - Add patch to fix the ppc64le build (bz 1133066) - Add man page links for goto-cc and goto-instrument - Fix license handling * Fri Aug 15 2014 Fedora Release Engineering - 4.7-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Wed Jun 25 2014 Jerry James - 4.7-1 - New upstream release - Build with CUDD support * Sat Jun 07 2014 Fedora Release Engineering - 4.6-2.20131201svn - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Sun Dec 1 2013 Shakthi Kannan - 4.6-1.20131201svn - Updated to upstream 4.6 release * Tue Sep 10 2013 Shakthi Kannan - 4.3-7.20130515svn - Fix build with unversioned docdir using _pkgdocdir (#992043) * Sat Aug 03 2013 Fedora Release Engineering - 4.3-6.20130515svn - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Wed Jul 10 2013 Dan HorĂ¡k - 4.3-5.20130515svn - fix build on s390x * Mon Jul 8 2013 Shakthi Kannan - 4.3-4.20130515svn - Fixed changelog date * Sun Jun 30 2013 Shakthi Kannan - 4.3-3.20130515svn - Updated license - Fixed doc and manual page directories * Tue Jun 25 2013 Shakthi Kannan - 4.3-2.20130515svn - Updated release * Wed May 15 2013 Shakthi Kannan - 4.3-1.20130515svn - First release