## START: Set by rpmautospec ## (rpmautospec version 0.8.1) ## RPMAUTOSPEC: autorelease, autochangelog %define autorelease(e:s:pb:n) %{?-p:0.}%{lua: release_number = 2; base_release_number = tonumber(rpm.expand("%{?-b*}%{!?-b:1}")); print(release_number + base_release_number - 1); }%{?-e:.%{-e*}}%{?-s:.%{-s*}}%{!?-n:%{?dist}} ## END: Set by rpmautospec %global realname proper Name: erlang-%{realname} Version: 1.5.0 Release: %autorelease BuildArch: noarch License: GPL-3.0-or-later Summary: A QuickCheck-inspired property-based testing tool for Erlang URL: https://github.com/proper-testing/%{realname} VCS: git:%{url}.git Source0: %{url}/archive/v%{version}/%{realname}-%{version}.tar.gz BuildRequires: erlang-rebar3 %description PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang. %prep %autosetup -p1 -n %{realname}-%{version} sed -i -e "/covertool/d" ./rebar.config %build # The docs need to be built first: https://github.com/proper-testing/proper/issues/179 ./scripts/make_doc %{erlang3_compile} # FIXME one particular test needs this ln -s _build/default/lib/proper/ebin . %install %{erlang3_install} %check %{erlang3_test} %files %license COPYING %doc doc %doc examples %doc README.md %{erlang_appdir}/ %changelog ## START: Generated by rpmautospec * Wed Jul 23 2025 Fedora Release Engineering - 1.5.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Fri Mar 28 2025 Peter Lemenkov - 1.5.0-1 - PropEr ver .1.5.0 * Thu Jan 16 2025 Fedora Release Engineering - 1.4-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Tue Oct 08 2024 Peter Lemenkov - 1.4-11 - Cosmetic changes * Wed Jul 17 2024 Fedora Release Engineering - 1.4-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Sun Jun 02 2024 Peter Lemenkov - 1.4-9 - Switch to SPDX tag * Mon May 06 2024 Peter Lemenkov - 1.4-8 - Fix FTBFS with Rebar3 * Sat Apr 20 2024 Peter Lemenkov - 1.4-7 - More macros * Wed Jan 24 2024 Fedora Release Engineering - 1.4-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering - 1.4-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Wed Jul 19 2023 Fedora Release Engineering - 1.4-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Thu Jan 19 2023 Fedora Release Engineering - 1.4-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Mon Aug 22 2022 Peter Lemenkov - 1.4-1 - Update to 1.4 * Thu Jul 21 2022 Fedora Release Engineering - 1.3-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Thu Jan 20 2022 Fedora Release Engineering - 1.3-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Wed Jul 21 2021 Fedora Release Engineering - 1.3-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering - 1.3-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Jul 27 2020 Fedora Release Engineering - 1.3-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Tue Jan 28 2020 Fedora Release Engineering - 1.3-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Tue Nov 12 2019 Peter Lemenkov - 1.3-4 - Rebuilt with fixed Rebar * Wed Jul 24 2019 Fedora Release Engineering - 1.3-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Thu Jan 31 2019 Fedora Release Engineering - 1.3-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sun Aug 05 2018 Randy Barlow - 1.3-1 - Update to 1.3 (#1608383). - https://github.com/proper-testing/proper/releases/tag/v1.3 * Fri Jul 13 2018 Fedora Release Engineering - 1.2-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Sun Mar 25 2018 Randy Barlow - 1.2-8 - Convert into a noarch package. * Wed Feb 07 2018 Fedora Release Engineering - 1.2-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Wed Aug 02 2017 Fedora Release Engineering - 1.2-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering - 1.2-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Sat Feb 25 2017 Randy Barlow - 1.2-4 - Apply a patch from upstream that allows the slow arches to pass all tests. * Sun Feb 19 2017 Randy Barlow - 1.2-3 - Skip a test on slow arches, as it is too slow and times out (#1423535). - Replace some tabs with spaces. - Reorganize the spec file a bit. * Fri Feb 10 2017 Fedora Release Engineering - 1.2-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild ## END: Generated by rpmautospec