[packages/why3] - package examples - rel 2

[baggins]

commit 59fd71fc14f5216c612eac402f8a252060b92067
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Thu May 16 14:06:14 2013 +0200

    - package examples
    - rel 2

 why3.spec | 17 ++++++++++++++++-
 1 file changed, 16 insertions(+), 1 deletion(-)
---
diff --git a/why3.spec b/why3.spec
index 53c1153..d1e2dc0 100644
--- a/why3.spec
+++ b/why3.spec
@@ -1,7 +1,7 @@
 Summary:	Software verification platform
 Name:		why3
 Version:	0.73
-Release:	1
+Release:	2
 Group:		Applications
 License:	LGPLv2 with exceptions
 Source0:	https://gforge.inria.fr/frs/download.php/31257/%{name}-%{version}.tar.gz
@@ -31,6 +31,14 @@ library of proof task transformations that can be chained to produce a
 suitable input for a large set of theorem provers, including SMT
 solvers, TPTP provers, as well as interactive proof assistants.
 
+%package examples
+Summary:	Example problems for why3
+Group:		Applications
+Requires:	%{name} = %{version}-%{release}
+
+%description examples
+Example problems for why3.
+
 %prep
 %setup -q
 
@@ -42,6 +50,7 @@ solvers, TPTP provers, as well as interactive proof assistants.
 
 %install
 rm -rf $RPM_BUILD_ROOT
+install -d $RPM_BUILD_ROOT/%{_examplesdir}/%{name}-%{version}
 
 %{__make} install \
 	DESTDIR=$RPM_BUILD_ROOT
@@ -50,6 +59,8 @@ rm -rf $RPM_BUILD_ROOT
 install -d $RPM_BUILD_ROOT%{_datadir}/gtksourceview-2.0
 mv $RPM_BUILD_ROOT%{_datadir}/%{name}/lang $RPM_BUILD_ROOT%{_datadir}/gtksourceview-2.0/language-specs
 
+cp -a examples/* $RPM_BUILD_ROOT/%{_examplesdir}/%{name}-%{version}
+
 %clean
 rm -rf $RPM_BUILD_ROOT
 
@@ -60,3 +71,7 @@ rm -rf $RPM_BUILD_ROOT
 %{_datadir}/%{name}
 %{_datadir}/gtksourceview-2.0/language-specs/why.lang
 %{_libdir}/%{name}
+
+%files examples
+%defattr(644,root,root,755)
+%{_examplesdir}/%{name}-%{version}
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/why3.git/commitdiff/59fd71fc14f5216c612eac402f8a252060b92067