%global realname proper
%global upstream manopapad
Name:       erlang-proper
Version:    1.3
Release:    2
BuildArch:  noarch
License:    GPLv3+
Summary:    A QuickCheck-inspired property-based testing tool for Erlang
URL:        https://github.com/manopapad/proper
Source0:    https://github.com/manopapad/proper/archive/v%{version}/proper-%{version}.tar.gz
Patch1:     erlang-proper-0001-Disable-one-test-case.patch
BuildRequires: erlang-rebar
%description
PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired
open-source property-based testing tool for Erlang.

%prep
%autosetup -p1 -n proper-%{version}

%build
./make_doc
%{erlang_compile}

%install
%{erlang_install}

%check
%{erlang_test}

%files
%license COPYING
%doc doc
%doc examples
%doc README.md
%{erlang_appdir}/

%changelog
* Sat Jan 22 2022 Ge Wang <wangge20@huawei.com> - 1.3-2
- skip a test, as it is too slow and times out

* Sat Aug 29 2020 yaokai <yaokai13@huawei.com> - 1.3-1
- package init