openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File proper.spec of Package proper

%define bname proper
Name: %bname
Version: 1.4
Release: 3
Summary: QuickCheck-inspired property-based testing tool for Erlang
License: GPL-3.0+
Group: Development/Tools/Other
URL: https://github.com/manopapad/%bname
Source: %bname-%version.tar.xz
#Patch0: %bname-%version-git.patch
Patch7: 0007-update-mail-unused-email-address-to-current-one-285.patch
Patch8: 0008-Fix-typos-287.patch
Patch11: %bname-1.4-stacktrace.patch
BuildArch: noarch
Provides: erlang-%bname = %version-%release
Provides: %bname-devel = %version-%release
Provides: erlang-%bname-devel = %version-%release
Requires: erlang >= 1:17

BuildRequires: erlang >= 1:17
BuildRequires: rpm-macros-erlang rpm-build-erlang
BuildRequires: rebar >= 2.6.1-7
BuildRequires: erlang-otpbp-devel > 0.17.0
# check
BuildRequires: erlang-otpbp > 0.17.0

%description
PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired
open-source property-based testing tool for Erlang.

%package doc
Summary: Documentation of %bname
Group: Documentation/HTML
Provides: erlang-%bname-doc = %version-%release
Conflicts: %name < 1.2-3

%description doc
PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired
open-source property-based testing tool for Erlang.
This package contains documentation of %bname.

%prep
%setup -q -n %bname-%version
#patch0 -p1
%patch -p1 -P7 -P8
%patch11 -p1
sed -r -i '/^%%%% @(private_type|alias)/s/@//' \
	src/proper.erl src/proper_gen.erl src/proper_types.erl src/proper_typeserver.erl src/proper_unicode.erl
%if %_otp_release == 18
sed -i '/^-type setup_opts()/,/}\./s/:=/=>/g' src/proper.erl
sed -i '/^-type opts()/,/}\./s/:=/=>/g' src/proper_target.erl
%endif
cat > src/%bname.app.src.script << __EOF__
{ok, [{application, A, L}]} = file:consult(filename:rootname(SCRIPT, ".script")),
{application, A, lists:keydelete(maintainers, 1, L)}.
__EOF__
cat > %bname.rebar.config.script << __EOF__
{ok, L} = rebar_config:consult_file("rebar.config"),
lists:keystore(edoc_opts, 1,
               lists:foldl(fun(K, A) -> lists:keydelete(K, 1, A) end, L, [deps, plugins, profiles]),
               {edoc_opts,
                case lists:keyfind(edoc_opts, 1, L) of
                    {_, [_|_] = O} -> lists:keystore(preprocess, 1, O, {preprocess, true});
                    _ -> [{preprocess, true}]
                end}).
__EOF__

%build
%if %_otp_release < 20
ERL_COMPILER_OPTIONS="[inline,verbose,{parse_transform,otpbp_pt}]" \
%else
ERL_COMPILER_OPTIONS="[inline,verbose]" \
%endif
rebar %{?_smp_mflags} -C %bname.rebar.config compile -v
rebar %{?_smp_mflags} -C %bname.rebar.config doc -v

%install
install -d -m 0755 %buildroot%_otplibdir/%bname-%version/ebin
install -p -m 0644 ebin/* %buildroot%_otplibdir/%bname-%version/ebin/
install -d -m 0755 %buildroot%_otplibdir/%bname-%version/include
install -p -m 0644 include/* %buildroot%_otplibdir/%bname-%version/include/
install -d -m 0755 %buildroot%_otplibdir/%bname-%version/examples
install -p -m 0644 examples/* %buildroot%_otplibdir/%bname-%version/examples/
install -d -m 0755 %buildroot%_otplibdir/%bname-%version/doc
install -p -m 0644 doc/*.{css,html,png} %buildroot%_otplibdir/%bname-%version/doc/
install -d -m 0755 %buildroot%_docdir/%name
ln -sf %_otplibdir/%bname-%version/doc %buildroot%_docdir/%name/html
install -p -m 0644 README* THANKS %buildroot%_docdir/%name/

%if 0
%check
%if %_otp_release < 20
ERL_COMPILER_OPTIONS="[inline,verbose,{parse_transform,otpbp_pt}]" \
%else
ERL_COMPILER_OPTIONS="[inline,verbose]" \
%endif
rebar -C %bname.rebar.config eunit -v
%endif

%files
%defattr(-,root,root)
%_otplibdir/*
%exclude %_otplibdir/%bname-*/doc

%files doc
%defattr(-,root,root)
%doc %_docdir/%name
%doc %dir %_otplibdir/%bname-*
%doc %_otplibdir/%bname-*/doc

%changelog
* Sat Aug 20 2022 Led <ledest@gmail.com> 1.4-3
- fix build on Erlang/OTP < 20

* Sat Aug 20 2022 Led <ledest@gmail.com> 1.4-2
- update patches:
  + proper-1.4-stacktrace.patch

* Sat Aug 20 2022 Led <ledest@gmail.com> 1.4-1
- 1.4
- add patches:
  + 0007-update-mail-unused-email-address-to-current-one-285.patch
  + 0008-Fix-typos-287.patch
  + proper-1.4-stacktrace.patch

* Wed Oct 03 2018 Led <ledest@gmail.com> 1.3-2
- update Requires, BuildRequires

* Wed Oct 03 2018 Led <ledest@gmail.com> 1.3-1
- 1.3
- git e43d9df

* Sun May 21 2017 Led <ledest@gmail.com> 1.2-5
- revert BuildRequires

* Sat May 20 2017 Led <ledest@gmail.com> 1.2-4
- update BuildRequires

* Mon Mar 13 2017 Led <ledest@gmail.com> 1.2-3
- move docs to proper-doc subpackage
- update BuildRequires

* Thu Mar 09 2017 Led <ledest@gmail.com> 1.2-2
- add Provides

* Fri Jul 15 2016 Led <ledest@gmail.com> 1.2-1
- 1.2

* Mon Oct 12 2015 Led <ledest@gmail.com> 1.1-4
- git c8c73ee

* Sat Sep 05 2015 Led <ledest@gmail.com> 1.1-3
- git 20e62bc
- remove patches:
  + proper-1.1-Changes-to-suppress-warnings-about-built-in-opaques.patch
- add patches:
  + proper-1.1-git.patch

* Wed Jul 01 2015 Led <ledest@gmail.com> 1.1-2
- add patches:
  + proper-1.1-Changes-to-suppress-warnings-about-built-in-opaques.patch

* Sun Jun 07 2015 Led <ledest@gmail.com> 1.1-1
- initial build

Places

File proper.spec of Package proper

Places