commit 14e36670adde4af09ea0d13121691f50a63de42d
Author: Jan Rękorajski <[email protected]>
Date: Tue May 6 14:31:02 2014 +0200
- fixed scripts permissions
- rel 2
why3.spec | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
---
diff --git a/why3.spec b/why3.spec
index d224e16..16e073b 100644
--- a/why3.spec
+++ b/why3.spec
@@ -1,7 +1,7 @@
Summary: Software verification platform
Name: why3
Version: 0.83
-Release: 1
+Release: 2
Group: Applications
License: LGPLv2 with exceptions
Source0:
https://gforge.inria.fr/frs/download.php/33490/%{name}-%{version}.tar.gz
@@ -71,7 +71,12 @@ rm -rf $RPM_BUILD_ROOT
%attr(755,root,root) %{_bindir}/%{name}*
%{_datadir}/%{name}
%{_datadir}/gtksourceview-2.0/language-specs/why3.lang
-%{_libdir}/%{name}
+%dir %{_libdir}/%{name}
+%{_libdir}/%{name}/coq
+%{_libdir}/%{name}/coq-tactic
+%{_libdir}/%{name}/plugins
+%attr(755,root,root) %{_libdir}/%{name}/why3-call-pvs
+%attr(755,root,root) %{_libdir}/%{name}/why3-cpulimit
%files examples
%defattr(644,root,root,755)
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/why3.git/commitdiff/14e36670adde4af09ea0d13121691f50a63de42d
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
