[packages/jspin] Rel 2

[arekm]

commit e44c626ca823e9dbfc628a8dbe798a0b50bbc0fd
Author: Arkadiusz Miśkiewicz <arekm at maven.pl>
Date:   Fri Apr 10 23:15:45 2026 +0200

    Rel 2

 jspin-config.patch | 14 +++++++-------
 jspin.spec         | 11 +++++++----
 2 files changed, 14 insertions(+), 11 deletions(-)
---
diff --git a/jspin.spec b/jspin.spec
index 31895cc..2ffeb3a 100644
--- a/jspin.spec
+++ b/jspin.spec
@@ -3,7 +3,7 @@ Summary(pl.UTF-8):	Narzędzia do nauki współbieżności przy użyciu Spin
 Name:		jspin
 Version:	5.0
 %define		distver		%(echo %{version} | tr . -)
-Release:	1
+Release:	2
 License:	GPLv2
 Group:		Development/Tools
 Source0:	http://jspin.googlecode.com/files/%{name}-%{distver}.zip
@@ -20,6 +20,9 @@ Requires:	spin
 Requires:	graphviz
 BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
 
+# pure Java package, no C/C++ sources for debugsource
+%undefine	_debugsource_packages
+
 %description
 jSpin is a graphical user interface for the Spin model checker
 that is used for verifying concurrent and distributed programs.
@@ -42,9 +45,9 @@ sed -i -e "s|@@BINDIR@@|%{_bindir}|g" \
 	-e "s|@@EXAMPLESDIR@@|%{_examplesdir}/%{name}-%{version}|g" \
 	jspin/Config.java config.cfg 
 
-javac -target 1.5 jspin/*.java
-javac -target 1.5 spinSpider/*.java
-javac -target 1.5 filterSpin/*.java
+javac -source 1.8 -target 1.8 jspin/*.java
+javac -source 1.8 -target 1.8 spinSpider/*.java
+javac -source 1.8 -target 1.8 filterSpin/*.java
 jar cfm jSpin.jar \
 	jspin/MANIFEST.MF \
 	jspin/*.class \
diff --git a/jspin-config.patch b/jspin-config.patch
index 620f2ab..46087d2 100644
--- a/jspin-config.patch
+++ b/jspin-config.patch
@@ -1,5 +1,5 @@
---- jspin-4.6/config.cfg~	2008-09-29 08:28:52.000000000 +0200
-+++ jspin-4.6/config.cfg	2009-02-16 14:43:48.299335175 +0100
+--- jspin-5.0/config.cfg.orig	2026-04-10 22:49:09.233091899 +0200
++++ jspin-5.0/config.cfg	2026-04-10 22:49:15.379391916 +0200
 @@ -8,13 +8,13 @@
  SELECT_MENU=5
  WRAP=true
@@ -16,7 +16,7 @@
  TAB_SIZE=4
  RAW=false
  C_COMPILER_OPTIONS=-o pan pan.c
-@@ -22,13 +22,13 @@
+@@ -23,13 +23,13 @@
  TRAIL_OPTIONS=-t -X
  MAX_DEPTH=2000
  TRANSLATE_OPTIONS=-f
@@ -34,11 +34,11 @@
  PROCESS_TITLE=Process 
  HEIGHT=700
  SINGLE_QUOTE=false
---- jspin-4.6/jspin/Config.java~	2008-09-29 08:05:26.000000000 +0200
-+++ jspin-4.6/jspin/Config.java	2009-02-16 14:43:45.022673099 +0100
-@@ -26,13 +26,13 @@
+--- jspin-5.0/jspin/Config.java.orig	2026-04-10 22:49:09.236425232 +0200
++++ jspin-5.0/jspin/Config.java	2026-04-10 22:49:21.133091899 +0200
+@@ -29,13 +29,13 @@
+         properties.put("VERSION", "6");
  
-     static void setDefaultProperties() {
          // Directories and file names
 -        properties.put("SOURCE_DIRECTORY", "jspin-examples");
 -        properties.put("C_COMPILER",       "c:\\mingw\\bin\\gcc.exe");
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/jspin.git/commitdiff/e44c626ca823e9dbfc628a8dbe798a0b50bbc0fd