Projects
Kolab:Winterfell
erlang-proper
Log In
Username
Password
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
Expand all
Collapse all
Changes of Revision 2
View file
erlang-proper.spec
Changed
@@ -1,87 +1,77 @@ - -%if 0%{?opensuse_bs} -#!BuildIgnore: ghostscript-x11 -%endif - %global realname proper %global upstream manopapad -# Techincally, we're noarch; but erlang whose directories we install into is not. +# Technically, we're noarch; but erlang whose directories we install into is not. %global debug_package %{nil} -%global git_tag 87e4a56 -%global patchnumber 0 +%global commit 1b773eeb47cb2c3116d78bdf681505703b762eee -Name: erlang-%{realname} -Version: 1.1 -Release: 1%{?dist} -Summary: Property based test tooling for Erlang -Group: Development/Libraries -License: GPLv3+ -URL: http://manopapad.github.com/proper/ -# wget --content-disposition https://github.com/manopapad/proper/tarball/v1.1 -Source0: %{upstream}-%{realname}-v%{version}-%{patchnumber}-g%{git_tag}.tar.gz +Name: erlang-%{realname} +Version: 1.1 +Release: 6%{?dist} +Summary: A QuickCheck-inspired property-based testing tool for Erlang -BuildRequires: erlang-rebar +License: GPLv3+ +URL: https://github.com/%{upstream}/%{realname} +%if 0%{?el7}%{?fedora} +VCS: scm:git:https://github.com/%{upstream}/%{realname}.git +%endif +#Source0: https://github.com/%{upstream}/%{realname}/archive/v%{version}/%{realname}-%{version}.tar.gz +# For now we are packaging a commit, because the 1.1 release does not build on Erlang 18 and +# upstream has not made a release since 2013. +Source0: https://github.com/manopapad/proper/archive/%{commit}.tar.gz -Requires: erlang-compiler%{?_isa} -Requires: erlang-erts%{?_isa} -Requires: erlang-kernel%{?_isa} -Requires: erlang-stdlib%{?_isa} -# Error:erlang(cover:compile_beam/2) -# Error:erlang(cover:get_term/1) -# Error:erlang(cover:write/2) -Requires: erlang-tools%{?_isa} +BuildRequires: erlang-rebar %description -PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck- -inspired open-source property-based testing tool for Erlang, developed -by Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas. +PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired +open-source property-based testing tool for Erlang. -The base PropEr system was written mainly by Manolis Papadakis, and -the stateful code testing subsystem by Eirini Arvaniti. %prep -%setup -q -n %{upstream}-%{realname}-%{git_tag} +%setup -n %{realname}-%{commit} %build -rebar compile -v +%rebar_compile +./make_doc %install -mkdir -p %{buildroot}%{_libdir}/erlang/lib/%{realname}-%{version}/.eunit -mkdir -p %{buildroot}%{_libdir}/erlang/lib/%{realname}-%{version}/ebin -mkdir -p %{buildroot}%{_libdir}/erlang/lib/%{realname}-%{version}/include -install -m 644 ebin/%{realname}.app %{buildroot}%{_libdir}/erlang/lib/%{realname}-%{version}/ebin -install -m 644 ebin/*.beam %{buildroot}%{_libdir}/erlang/lib/%{realname}-%{version}/ebin -install -m 644 include/*.hrl %{buildroot}%{_libdir}/erlang/lib/%{realname}-%{version}/include -install -m 644 rebar.config %{buildroot}%{_libdir}/erlang/lib/%{realname}-%{version}/ - - -%check -mkdir -p test/proper -ln -s ../../include test/proper/include -rm -rf test/rec_props_test1.erl -rm -rf test/rec_props_test2.erl -sed -i \ - -e '/rec_props_test1/d' \ - -e '/rec_props_test2/d' \ - test/proper_tests.erl -rebar eunit -v +mkdir -p %{buildroot}%{_erllibdir}/%{realname}-%{version}/{ebin,include} +install -pm 644 ebin/* %{buildroot}%{_erllibdir}/%{realname}-%{version}/ebin +install -pm644 include/proper* %{buildroot}%{_erllibdir}/%{realname}-%{version}/include %files -%doc COPYING README.md THANKS -%dir %{_libdir}/erlang/lib/%{realname}-%{version} -%dir %{_libdir}/erlang/lib/%{realname}-%{version}/.eunit -%dir %{_libdir}/erlang/lib/%{realname}-%{version}/ebin -%dir %{_libdir}/erlang/lib/%{realname}-%{version}/include -%{_libdir}/erlang/lib/%{realname}-%{version}/ebin/proper.app -%{_libdir}/erlang/lib/%{realname}-%{version}/ebin/*.beam -%{_libdir}/erlang/lib/%{realname}-%{version}/include/*.hrl -%{_libdir}/erlang/lib/%{realname}-%{version}/rebar.config +%if 0%{?fedora} +%license COPYING +%else +%doc COPYING +%endif +%doc doc +%doc examples +%doc README.md +%{_erllibdir}/%{realname}-%{version}/ + %changelog -* Fri May 15 2015 Jeroen van Meeuwen <vanmeeuwen@kolabsys.com> - 0.1.0-1 -- First package +* Sat Mar 5 2016 Peter Lemenkov <lemenkov@gmail.com> - 1.1-6 +- Build with autodeps + +* Sun Feb 21 2016 Randy Barlow <rbarlow@redhat.com> 1.1-5 +- Package commit 1b773eeb (current master) because 1.1 FTBFS (#1307470). +- The unit tests do not pass on current master, so they are disabled. +- Use the autosetup macro. + +* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-4 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild + +* Sat Jan 09 2016 Randy Barlow <rbarlow@redhat.com> - 1.1-3 +- Use the erllibdir macro. + +* Thu Jan 07 2016 Randy Barlow <rbarlow@redhat.com> - 1.1-2 +- Correct the license from GPLv3 to GPLv3+. + +* Tue Jan 05 2016 Randy Barlow <rbarlow@redhat.com> - 1.1-1 +- Initial release.
View file
1b773eeb47cb2c3116d78bdf681505703b762eee.tar.gz
Added
View file
manopapad-proper-v1.1-0-g87e4a56.tar.gz
Deleted
Locations
Projects
Search
Status Monitor
Help
Open Build Service
OBS Manuals
API Documentation
OBS Portal
Reporting a Bug
Contact
Mailing List
Forums
Chat (IRC)
Twitter
Open Build Service (OBS)
is an
openSUSE project
.