From c728f4fe5b5af44917ccf11935ef04cf7db2caf3 Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Fri, 3 Nov 2006 16:50:43 +0000
Subject: [PATCH] Edited makefile to create Jar files which can be
 double-clicked. Also added a manifest.txt in the src directory which is
 required to realise this behaviour.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@118 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/Makefile         | 2 +-
 prism/bin/xprism.bat   | 1 +
 prism/src/manifest.txt | 2 ++
 3 files changed, 4 insertions(+), 1 deletion(-)
 create mode 100644 prism/src/manifest.txt

diff --git a/prism/Makefile b/prism/Makefile
index f4ee08c4..808d11e2 100644
--- a/prism/Makefile
+++ b/prism/Makefile
@@ -322,7 +322,7 @@ dist_tidy:
 
 binary:
 	@echo Generating jar file...
-	@cd $(CLASSES_DIR) && jar cf ../lib/prism.jar *
+	@cd $(CLASSES_DIR) && jar cmf ../src/manifest.txt ../lib/prism.jar *
 
 undist:
 	@rm -rf cudd && ln -s ../cudd cudd
diff --git a/prism/bin/xprism.bat b/prism/bin/xprism.bat
index 34455473..df4bcef1 100755
--- a/prism/bin/xprism.bat
+++ b/prism/bin/xprism.bat
@@ -15,5 +15,6 @@ rem Setup classpath - jar file (for binary versions) gets priority
 set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%\lib\pepa.zip
 
 rem Run PRISM through Java
+rem start javaw -classpath %CP% userinterface/GUIPrism %*
 java -classpath %CP% userinterface/GUIPrism %*
 
diff --git a/prism/src/manifest.txt b/prism/src/manifest.txt
new file mode 100644
index 00000000..532c6fd9
--- /dev/null
+++ b/prism/src/manifest.txt
@@ -0,0 +1,2 @@
+Main-Class: userinterface.GUIPrism
+Class-Path: pepa.zip