File rapidcheck.spec of Package rapidcheck

Overview Repositories Revisions Requests Users Attributes Meta

File rapidcheck.spec of Package rapidcheck

#
# spec file for package rapidcheck
#
# Copyright (c) 2023 SUSE LLC
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.

# Please submit bugfixes or comments via https://bugs.opensuse.org/
#

Name:           rapidcheck
Version:        0.0.1.1702592133.ff6af6f
Release:        0
Summary:        QuickCheck clone for C++
License:        BSD-2-Clause
URL:            https://github.com/emil-e/rapidcheck
Source:         https://github.com/emil-e/rapidcheck/releases/download/%{version}/%{name}-%{version}.tar.gz
BuildRequires:  cmake
BuildRequires:  gcc-c++

%description
RapidCheck is a C++ framework for property based testing inspired by QuickCheck
and other similar frameworks. In property based testing, you state facts about
your code that given certain precondition should always be true. RapidCheck
then generates random test data to try and find a case for which the property
doesn't hold. If such a case is found, RapidCheck tries to find the smallest
case (for some definition of smallest) for which the property is still false
and then displays this as a counterexample. For example, if the input is an
integer, RapidCheck tries to find the smallest integer for which the property
is false.

%package devel
Summary:        Librapidcheck development files

%description devel
Development files to work with librapidcheck shared library.

%prep
%autosetup -p1

%build
%cmake \
  -DRC_ENABLE_GTEST=ON

%install
%cmake_install

%files
%license LICENSE.md
%doc README.md

%files devel
%license LICENSE.md
%{_includedir}/rapidcheck.h
%{_includedir}/rapidcheck/
%{_libdir}/librapidcheck.so
%{_libdir}/pkgconfig/rapidcheck.pc
%{_libdir}/pkgconfig/rapidcheck_gtest.pc
%{_datadir}/rapidcheck/

%changelog

Places

File rapidcheck.spec of Package rapidcheck

Places