b033fc6
%global srcname proper
b033fc6
# Erlang packages do not provide debug subpackages.
b033fc6
%global debug_package %{nil}
b033fc6
b033fc6
b033fc6
Name:       erlang-%{srcname}
b033fc6
Version:    1.1
a6f41b1
Release:    3%{?dist}
b033fc6
Summary:    A QuickCheck-inspired property-based testing tool for Erlang
b033fc6
b033fc6
License:    GPLv3+
b033fc6
URL:        https://github.com/manopapad/%{srcname}
b033fc6
Source0:    https://github.com/manopapad/%{srcname}/archive/v%{version}.tar.gz
b033fc6
b033fc6
BuildRequires: erlang
b033fc6
BuildRequires: erlang-eunit
b033fc6
BuildRequires: erlang-rebar
b033fc6
BuildRequires: erlang-rpm-macros
b033fc6
b033fc6
Requires: erlang-erts
b033fc6
b033fc6
b033fc6
%description
b033fc6
PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired
b033fc6
open-source property-based testing tool for Erlang.
b033fc6
b033fc6
b033fc6
%prep
b033fc6
%setup -q -n %{srcname}-%{version}
b033fc6
b033fc6
b033fc6
%build
b033fc6
%rebar_compile
b033fc6
./make_doc
b033fc6
b033fc6
b033fc6
%check
b033fc6
# Erlang eunit tests fail on i686, as reported in this bug:
b033fc6
# https://bugzilla.redhat.com/show_bug.cgi?id=1240487
b033fc6
%ifnarch i686
b033fc6
%__rebar eunit
b033fc6
%endif
b033fc6
b033fc6
b033fc6
%install
a6f41b1
install -d $RPM_BUILD_ROOT/%{_erllibdir}/%{srcname}-%{version}/ebin
a6f41b1
install -d $RPM_BUILD_ROOT/%{_erllibdir}/%{srcname}-%{version}/include
b033fc6
a6f41b1
install -pm644 ebin/* $RPM_BUILD_ROOT/%{_erllibdir}/%{srcname}-%{version}/ebin
a6f41b1
install -pm644 include/proper* $RPM_BUILD_ROOT/%{_erllibdir}/%{srcname}-%{version}/include
b033fc6
b033fc6
b033fc6
%files
b033fc6
%license COPYING
b033fc6
%doc doc
b033fc6
%doc examples
b033fc6
%doc README.md
a6f41b1
%{_erllibdir}/%{srcname}-%{version}
b033fc6
b033fc6
b033fc6
%changelog
a6f41b1
* Sat Jan 09 2016 Randy Barlow <rbarlow@redhat.com> - 1.1-3
a6f41b1
- Use the erllibdir macro.
a6f41b1
b033fc6
* Thu Jan 07 2016 Randy Barlow <rbarlow@redhat.com> - 1.1-2
b033fc6
- Correct the license from GPLv3 to GPLv3+.
b033fc6
b033fc6
* Tue Jan 05 2016 Randy Barlow <rbarlow@redhat.com> - 1.1-1
b033fc6
- Initial release.