File erlang-proper.spec of Package erlang-proper

Overview Repositories Revisions Requests Users Attributes Meta

File erlang-proper.spec of Package erlang-proper

#
# spec file for package erlang-proper
#
# Copyright (c) 2014 SUSE LINUX Products GmbH, Nuernberg, Germany.
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.

# Please submit bugfixes or comments via http://bugs.opensuse.org/
#

%define app_name proper
Name:           erlang-%{app_name}
Version:        1.1+git20140612.043f68f
Release:        0
%define app_ver %(echo "%{version}" | cut -d "+" -f1)
Summary:        QuickCheck-inspired open-source property-based testing tool
License:        GPL-3.0+
Group:          Development/Libraries/Other
Url:            http://proper.softlab.ntua.gr/
Source:         %{app_name}-%{version}.tar.bz2
Patch0:         disable-max_size_test.patch
Requires:       erlang
BuildRequires:  erlang
BuildRequires:  erlang-dialyzer
BuildRequires:  erlang-rebar
BuildRoot:      %{_tmppath}/%{name}-%{version}-build

%description
PropEr is a tool for the automated, semi-random, property-based testing of Erlang programs. It is fully integrated with Erlang's type language, and can also be used for the model-based random testing of stateful systems.

%prep
%setup -q -n %{app_name}-%{version}
%patch0 -p1

%build
make fast
make doc

%install
for dir in ebin include ; do
	mkdir -p %{buildroot}%{erlang_libdir}/%{app_name}-%{app_ver}/${dir}
	cp -r ${dir}/* %{buildroot}%{erlang_libdir}/%{app_name}-%{app_ver}/${dir}/
done

%check
make tests

%files
%defattr(-,root,root)
%doc doc README.md COPYING THANKS
%dir %{erlang_libdir}/%{app_name}-%{app_ver}
%dir %{erlang_libdir}/%{app_name}-%{app_ver}/ebin
%{erlang_libdir}/%{app_name}-%{app_ver}/ebin/%{app_name}.app
%{erlang_libdir}/%{app_name}-%{app_ver}/ebin/*.beam
%dir %{erlang_libdir}/%{app_name}-%{app_ver}/include
%{erlang_libdir}/%{app_name}-%{app_ver}/include/*.hrl

%changelog

Places

File erlang-proper.spec of Package erlang-proper

Places