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
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
