packages: spin/spin.spec - 6.0.1 - xspin obsoleted by ispin - install tests...

baggins baggins at pld-linux.org
Mon Feb 7 10:19:26 CET 2011


Author: baggins                      Date: Mon Feb  7 09:19:26 2011 GMT
Module: packages                      Tag: HEAD
---- Log message:
- 6.0.1
- xspin obsoleted by ispin
- install tests and samples to examplesdir

---- Files affected:
packages/spin:
   spin.spec (1.12 -> 1.13) 

---- Diffs:

================================================================
Index: packages/spin/spin.spec
diff -u packages/spin/spin.spec:1.12 packages/spin/spin.spec:1.13
--- packages/spin/spin.spec:1.12	Wed Feb 10 13:11:59 2010
+++ packages/spin/spin.spec	Mon Feb  7 10:19:21 2011
@@ -2,14 +2,13 @@
 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.2.4
-Release:	2
+Version:	6.0.1
+%define		_ver	%(echo %{version} | tr -d .)
+Release:	1
 License:	Spin Public license
 Group:		Development/Tools
-Source0:	http://spinroot.com/spin/Src/%{name}524.tar.gz
-# Source0-md5:	c869e7bd83c70be6565cf77c6a98b72c
-Source1:	http://spinroot.com/spin/Src/xspin523.tcl
-# Source1-md5:	893eb05798802cea4f281daaf34ce190
+Source0:	http://spinroot.com/spin/Src/%{name}%{_ver}.tar.gz
+# Source0-md5:	064d2e4d35ccaa13a8a2c8e427074ae3
 URL:		http://spinroot.com/spin/whatispin.html
 BuildRequires:	yacc
 Requires:	tcl
@@ -37,16 +36,17 @@
 
 http://cm.bell-labs.com/cm/cs/what/spin/spin_license.html
 
-%package xspin
+%package ispin
 Summary:	Graphical user interface to Spin
 Summary(pl.UTF-8):	Graficzny interfejs użytkownika do Spina
 Group:		Development/Tools
 Requires:	%{name} = %{version}-%{release}
+Obsoletes:	spin-xspin
 
-%description xspin
+%description ispin
 Xspin is graphical user interface to Spin, written in Tcl/Tk.
 
-%description xspin -l pl.UTF-8
+%description ispin -l pl.UTF-8
 Xspin to graficzny interfejs użytkownika do Spina, napisany w Tcl/Tk.
 
 %prep
@@ -58,14 +58,14 @@
 
 %install
 rm -rf $RPM_BUILD_ROOT
-install -d $RPM_BUILD_ROOT{%{_bindir},%{_mandir}/man1,%{_datadir}/%{name}}
+install -d $RPM_BUILD_ROOT{%{_bindir},%{_mandir}/man1,%{_examplesdir}/%{name}-%{version}}
 
 install Spin/Src*/spin $RPM_BUILD_ROOT%{_bindir}
 install Spin/Man/spin.1 $RPM_BUILD_ROOT%{_mandir}/man1
-cp -a Spin/Test/* $RPM_BUILD_ROOT%{_datadir}/%{name}
+cp -a Spin/{Samples,Test} $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
 
-echo "#!/usr/bin/wish -f" > $RPM_BUILD_ROOT%{_bindir}/xspin
-tail -n $(expr `cat %{SOURCE1} | wc -l` - 3) %{SOURCE1} >> $RPM_BUILD_ROOT%{_bindir}/xspin
+echo "#!/usr/bin/wish -f" > $RPM_BUILD_ROOT%{_bindir}/ispin
+tail -n +4 Spin/iSpin/ispin.tcl >> $RPM_BUILD_ROOT%{_bindir}/ispin
 
 %clean
 rm -rf $RPM_BUILD_ROOT
@@ -75,11 +75,11 @@
 %doc Spin/README.html Spin/Doc/*
 %attr(755,root,root) %{_bindir}/spin
 %{_mandir}/man1/*
-%{_datadir}/%{name}
+%{_examplesdir}/%{name}-%{version}
 
-%files xspin
+%files ispin
 %defattr(644,root,root,755)
-%attr(755,root,root) %{_bindir}/xspin
+%attr(755,root,root) %{_bindir}/ispin
 
 %define date	%(echo `LC_ALL="C" date +"%a %b %d %Y"`)
 %changelog
@@ -87,6 +87,11 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.13  2011/02/07 09:19:21  baggins
+- 6.0.1
+- xspin obsoleted by ispin
+- install tests and samples to examplesdir
+
 Revision 1.12  2010/02/10 12:11:59  baggins
 - rel 2
 - it doesn't like parallel make
================================================================

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



More information about the pld-cvs-commit mailing list