Thank you for the patch, it was handy. I've just sent the corrected version.
BTW what is the stripping policy in opensuse? I thought the binary
could be stripped unless it is in a "debug" package...
Radomír Černoch
On Sun, Feb 1, 2009 at 10:39 AM, Petr Uzel
On Sun, Feb 01, 2009 at 10:27:28AM +0000, hermes@opensuse.org wrote:
State of submit-request #5936 was changed by puzel:
new -> declined
Comment:
please do not strip the binary, add Url tag, remove redundant Provides tag
Note that explicit striping of binaries is not allowed - don't worry about that 'unstripped binaries' warning.
Please consider applying following patch to your specfile:
===============================================================================
--- ./spin.spec.orig 2009-02-01 11:22:34.000000000 +0100 +++ ./spin.spec 2009-02-01 11:27:10.000000000 +0100 @@ -1,5 +1,5 @@ # -# spec file for package ipe +# spec file for package spin # # Copyright (c) 2008 SUSE LINUX Products GmbH, Nuernberg, Germany. # @@ -23,10 +23,10 @@ License: Unlicenced Source: spin517.tar.bz2 Group: Productivity/Scientific/Math -Summary: ON-THE-FLY, LTL MODEL CHECKING with SPIN +Summary: On-the-fly, LTL model checking with Spin +Url: http://spinroot.com/spin/whatispin.html Patch: setup.diff
-Provides: spin = %{version} BuildRoot: %{_tmppath}/%{name}-%{version}-build
Requires: gcc @@ -61,7 +61,6 @@ %build cd Src%{version} make CFLAGS="$RPM_OPT_FLAGS" -strip spin
%install mkdir -p $RPM_BUILD_ROOT/usr/bin
===============================================================================
-- Best regards / s pozdravem
Petr Uzel, Packages maintainer --------------------------------------------------------------------- SUSE LINUX, s.r.o. e-mail: puzel@suse.cz Lihovarská 1060/12 tel: +420 284 028 964 190 00 Prague 9 fax: +420 284 028 951 Czech Republic http://www.suse.cz
-- To unsubscribe, e-mail: opensuse-contrib+unsubscribe@opensuse.org For additional commands, e-mail: opensuse-contrib+help@opensuse.org