packages: jspin/jspin.spec, jspin/jspin.desktop (NEW) - cleaned up descript...

baggins baggins at pld-linux.org
Wed Jul 6 22:28:31 CEST 2011


Author: baggins                      Date: Wed Jul  6 20:28:31 2011 GMT
Module: packages                      Tag: HEAD
---- Log message:
- cleaned up description
- fixed patching
- added desktop file

---- Files affected:
packages/jspin:
   jspin.spec (1.5 -> 1.6) , jspin.desktop (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: packages/jspin/jspin.spec
diff -u packages/jspin/jspin.spec:1.5 packages/jspin/jspin.spec:1.6
--- packages/jspin/jspin.spec:1.5	Wed Jul  6 14:29:31 2011
+++ packages/jspin/jspin.spec	Wed Jul  6 22:28:26 2011
@@ -1,9 +1,5 @@
 # $Revision$, $Date$
-#
-# TODO:
-#	- desktop file?
-#	- pl description
-#
+%define		distver		%(echo %{version} | %{__sed} -e 's/\\./-/g')
 Summary:	Tools for Teaching Concurrency with Spin
 Summary(pl.UTF-8):	Narzędzia do nauki współbieżności przy użyciu Spin
 Name:		jspin
@@ -11,10 +7,12 @@
 Release:	0.1
 License:	GPLv2
 Group:		Development/Tools
-Source0:	http://jspin.googlecode.com/files/%{name}-5-0.zip
+Source0:	http://jspin.googlecode.com/files/%{name}-%{distver}.zip
 # Source0-md5:	a4cd4e338a4172004a0c6b5d79cbffc5
+Source1:	%{name}.desktop
 Patch0:		%{name}-config.patch
 URL:		http://stwww.weizmann.ac.il/g-cs/benari/jspin/
+BuildRequires:	dos2unix
 BuildRequires:	jar
 BuildRequires:	jdk
 BuildRequires:	unzip
@@ -27,20 +25,17 @@
 jSpin is a graphical user interface for the Spin model checker
 that is used for verifying concurrent and distributed programs.
 It is an alternative to the XSpin GUI and was developed primarily
-for pedagogical purposes. jSpin is written in Java, because
-the Java platform is both portable and widely in computer science
-education. The user interface of jSpin is simple and consists
-of a single window with menus, a toolbar and three adjustable
-text areas. Spin option strings are automatically supplied and
-the Spin output is filtered and presented in a tabular form.
-All aspects of jSpin are configurable: some at compile time,
-some at initialization through a configuration file and some at
-runtime.
+for pedagogical purposes.
 
-#%description -l pl.UTF-8
+%description -l pl.UTF-8
+jSpin to graficzny interfejs użytkownika do narzędzia Spin służącego
+do formalnego sprawdzania systemów programów rozproszonych.
+Jest to alternatywa dla interfejsu XSpin i został stworzony do celów
+dydaktycznych.
 
 %prep
 %setup -q -c
+find -type f -print0 | xargs -0 dos2unix
 %patch0 -p1
 
 %build
@@ -59,7 +54,8 @@
 
 %install
 rm -rf $RPM_BUILD_ROOT
-install -d $RPM_BUILD_ROOT{%{_bindir},%{_datadir}/%{name},%{_examplesdir}/%{name}-%{version}}
+install -d $RPM_BUILD_ROOT{%{_bindir},%{_datadir}/%{name},%{_examplesdir}/%{name}-%{version}} \
+	$RPM_BUILD_ROOT%{_desktopdir}
 
 cp -a jspin-examples $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
 cp -a spider-examples $RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version}
@@ -68,6 +64,8 @@
 install config.cfg $RPM_BUILD_ROOT%{_datadir}/%{name}
 install txt/help.txt txt/copyright.txt $RPM_BUILD_ROOT%{_datadir}/%{name}
 
+install %{SOURCE1} $RPM_BUILD_ROOT%{_desktopdir}/%{name}.desktop
+
 echo -e "#!/bin/sh\n\njava -jar %{_datadir}/%{name}/jSpin.jar $@" \
 	>$RPM_BUILD_ROOT%{_bindir}/jspin
 echo -e "#!/bin/sh\n\njava -cp %{_datadir}/%{name}/jSpin.jar filterSpin.FilterSpin $@" \
@@ -82,6 +80,7 @@
 %defattr(644,root,root,755)
 %doc docs/*.pdf
 %attr(755,root,root) %{_bindir}/*
+%{_desktopdir}/%{name}.desktop
 %{_datadir}/%{name}
 %{_examplesdir}/%{name}-%{version}
 
@@ -91,6 +90,11 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.6  2011/07/06 20:28:26  baggins
+- cleaned up description
+- fixed patching
+- added desktop file
+
 Revision 1.5  2011/07/06 12:29:31  baggins
 - 5.0
 - NFY

================================================================
Index: packages/jspin/jspin.desktop
diff -u /dev/null packages/jspin/jspin.desktop:1.1
--- /dev/null	Wed Jul  6 22:28:32 2011
+++ packages/jspin/jspin.desktop	Wed Jul  6 22:28:26 2011
@@ -0,0 +1,9 @@
+[Desktop Entry]
+Name=jSpin
+Comment=Tools for Teaching Concurrency with Spin
+Comment[pl]=Narzędzia do nauki współbieżności przy użyciu Spin
+Exec=jspin
+Terminal=false
+Type=Application
+Categories=Education;Science;Math;
+# vi: encoding=utf-8
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/jspin/jspin.spec?r1=1.5&r2=1.6&f=u



More information about the pld-cvs-commit mailing list