From b0f6994f55b3a15b6c9117ceb60c9b991499b361 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 29 Apr 2008 16:48:49 +0000 Subject: [PATCH] Added some useful scripts to etc/scripts. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@778 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/Makefile | 1 + prism/README.txt | 44 +++++++++++++++++------------------ prism/etc/README | 6 +++++ prism/etc/scripts/prism2html | 8 +++++++ prism/etc/scripts/prism2latex | 8 +++++++ prism/etc/scripts/prism3to4 | 17 ++++++++++++++ 6 files changed, 62 insertions(+), 22 deletions(-) create mode 100755 prism/etc/scripts/prism2html create mode 100755 prism/etc/scripts/prism2latex create mode 100755 prism/etc/scripts/prism3to4 diff --git a/prism/Makefile b/prism/Makefile index 20366803..7fcdd7bf 100644 --- a/prism/Makefile +++ b/prism/Makefile @@ -394,6 +394,7 @@ dist_tidy: @find examples -type f -name 'auto' -exec chmod 755 {} \; @find bin -type f -exec chmod 755 {} \; @find src/bin -type f -exec chmod 755 {} \; + @find etc/scripts -type f -exec chmod 755 {} \; binary: @echo Generating jar file... diff --git a/prism/README.txt b/prism/README.txt index 65eb7dbc..2e899adc 100644 --- a/prism/README.txt +++ b/prism/README.txt @@ -21,12 +21,12 @@ Very abbreviated instructions for installing/running PRISM are as follows: For Windows binary distributions: - - to install, run prism-XXX-win-installer.exe + - to install, run prism-XXX-win-installer.exe - to run, use Desktop/Start menu shortcuts or double-click bin\xprism.bat For other binary distributions: - - to install, enter the PRISM directory, type "./install.sh" + - to install, enter the PRISM directory, type "./install.sh" - to run, execute bin/xprism or bin/prism For source code distributions: @@ -74,26 +74,26 @@ library, see: ---------------- ACKNOWLEDGEMENTS ----------------- +---------------- -The core team behind the development of PRISM, previously working in the -School of Computer Science at the University of Birmingham and now working +The core team behind the development of PRISM, previously working in the +School of Computer Science at the University of Birmingham and now working in the Computing Laboratory at the University of Oxford, comprises: * Dave Parker * Gethin Norman * Marta Kwiatkowska - * Mark Kattenbelt + * Mark Kattenbelt -Contributions to the development of PRISM have also been gratefully received from: - - * Andrew Hinton: Original versions of the GUI, Windows-port and simulator - * Joachim Meyer-Kayser: Implementation of the "Fox-Glynn" algorithm - * Alistair John Strachan: Port to 64-bit architectures - * Stephen Gilmore: Support for the stochastic process algebra PEPA - * Paolo Ballarini & Kenneth Chan: Port of PRISM to Mac OS X - * Rashid Mehmood: Improvements to low-level data structures and numerical solution algorithms - * Alistair John Strachan, Mike Arthur and Zak Cohen: Integration of JFreeChart into PRISM +Contributions to the development of PRISM have also been gratefully received from: + + * Andrew Hinton: Original versions of the GUI, Windows-port and simulator + * Joachim Meyer-Kayser: Implementation of the "Fox-Glynn" algorithm + * Alistair John Strachan: Port to 64-bit architectures + * Stephen Gilmore: Support for the stochastic process algebra PEPA + * Paolo Ballarini & Kenneth Chan: Port of PRISM to Mac OS X + * Rashid Mehmood: Improvements to low-level data structures and numerical solution algorithms + * Alistair John Strachan, Mike Arthur and Zak Cohen: Integration of JFreeChart into PRISM For more details see: @@ -111,11 +111,11 @@ If you have problems or questions regarding PRISM, please use the help forum pro Other comments and feedback about any aspect of PRISM are also very welcome. Please contact: Dave Parker - (david.parker@comlab.ox.ac.uk) - Oxford University Computing Laboratory, - Wolfson Building - Parks Road - Oxford - OX1 3QD + (david.parker@comlab.ox.ac.uk) + Oxford University Computing Laboratory, + Wolfson Building + Parks Road + Oxford + OX1 3QD ENGLAND - + diff --git a/prism/etc/README b/prism/etc/README index 6e454d71..5f752b4f 100644 --- a/prism/etc/README +++ b/prism/etc/README @@ -2,6 +2,12 @@ This directory contains the following. * PRISM icons for shortcuts/etc. - p*.png, p*.ico + * Various useful scripts in scripts/ + - prism2html - converts PRISM models/properties to HTML + - prism2latex - converts PRISM models/properties to LaTex + - prism3to4 - fixes some common problems in old (3.x and earlier) PRISM models + (these scripts run on Linux/Unix/OS X and require prism to be in your path) + * MIME type and syntax highlighting config for PRISM (under Gnome) - Overrides.xml, prism.lang * Syntax highlighting pattern for PRISM in NEdit - prism.pats diff --git a/prism/etc/scripts/prism2html b/prism/etc/scripts/prism2html new file mode 100755 index 00000000..42110fd0 --- /dev/null +++ b/prism/etc/scripts/prism2html @@ -0,0 +1,8 @@ +#!/bin/sh + +# Startup script for PRISM to HTML converter (Linux/Solaris) + +# Launch using main PRISM script +PRISM_MAINCLASS="parser.PrismSyntaxHighlighter html" +export PRISM_MAINCLASS +prism "$@" diff --git a/prism/etc/scripts/prism2latex b/prism/etc/scripts/prism2latex new file mode 100755 index 00000000..7bf8f15e --- /dev/null +++ b/prism/etc/scripts/prism2latex @@ -0,0 +1,8 @@ +#!/bin/sh + +# Startup script for PRISM to LaTeX converter (Linux/Solaris) + +# Launch using main PRISM script +PRISM_MAINCLASS="parser.PrismSyntaxHighlighter latex" +export PRISM_MAINCLASS +prism "$@" diff --git a/prism/etc/scripts/prism3to4 b/prism/etc/scripts/prism3to4 new file mode 100755 index 00000000..1d56b8e5 --- /dev/null +++ b/prism/etc/scripts/prism3to4 @@ -0,0 +1,17 @@ +#!/bin/sh + +if [ "$1" = "" ]; then + echo "Usage: prism3to4 []" + exit +fi + +if [ "$2" = "" ]; then + java -cp ~/prism-parser/classes parser.Prism3To4 "$1" +else + if [ "$2" = "$1" ]; then + ( java -cp ~/prism-parser/classes parser.Prism3To4 "$1" > "$2".new && mv "$2".new "$2" ) || rm "$2".new + else + java -cp ~/prism-parser/classes parser.Prism3To4 "$1" > "$2" + fi +fi +