43 lines
982 B
RPMSpec
43 lines
982 B
RPMSpec
%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
|