packages: spin/spin.spec - up to 5.2.4

[baggins]

Author: baggins                      Date: Wed Feb 10 12:09:12 2010 GMT
Module: packages                      Tag: HEAD
---- Log message:
- up to 5.2.4

---- Files affected:
packages/spin:
   spin.spec (1.10 -> 1.11) 

---- Diffs:

================================================================
Index: packages/spin/spin.spec
diff -u packages/spin/spin.spec:1.10 packages/spin/spin.spec:1.11
--- packages/spin/spin.spec:1.10	Mon Feb 16 11:18:12 2009
+++ packages/spin/spin.spec	Wed Feb 10 13:09:06 2010
@@ -2,12 +2,14 @@
 Summary:	On-the-fly, LTL model checking with SPIN
 Summary(pl.UTF-8):	Sprawdzanie modeli LTL w locie przy użyciu SPIN
 Name:		spin
-Version:	5.1.7
-Release:	0.1
+Version:	5.2.4
+Release:	1
 License:	Spin Public license
 Group:		Development/Tools
-Source0:	http://spinroot.com/spin/Src/%{name}517.tar.gz
-# Source0-md5:	2d069adc30e318b1ba71bdecc1721d97
+Source0:	http://spinroot.com/spin/Src/%{name}524.tar.gz
+# Source0-md5:	c869e7bd83c70be6565cf77c6a98b72c
+Source1:	http://spinroot.com/spin/Src/xspin523.tcl
+# Source1-md5:	893eb05798802cea4f281daaf34ce190
 URL:		http://spinroot.com/spin/whatispin.html
 BuildRequires:	yacc
 Requires:	tcl
@@ -63,7 +65,7 @@
 cp -a Spin/Test/* $RPM_BUILD_ROOT%{_datadir}/%{name}
 
 echo "#!/usr/bin/wish -f" > $RPM_BUILD_ROOT%{_bindir}/xspin
-tail -n $(expr `cat Spin/Xspin*/xspin*.tcl | wc -l` - 3) Spin/Xspin*/xspin*.tcl >> $RPM_BUILD_ROOT%{_bindir}/xspin
+tail -n $(expr `cat %{SOURCE1} | wc -l` - 3) %{SOURCE1} >> $RPM_BUILD_ROOT%{_bindir}/xspin
 
 %clean
 rm -rf $RPM_BUILD_ROOT
@@ -85,6 +87,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.11  2010/02/10 12:09:06  baggins
+- up to 5.2.4
+
 Revision 1.10  2009/02/16 10:18:12  baggins
 - up to 5.1.7
 - dropped bison patch, BR yacc
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/spin/spin.spec?r1=1.10&r2=1.11&f=u