From b8fc45249e8b28e42e0d10abb1c8b89fa2ac6792 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 10 Apr 2015 22:26:55 +0000
Subject: [PATCH] Added sbml2prism script.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9732 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/etc/scripts/sbml2prism    | 8 ++++++++
 prism/src/prism/SBML2Prism.java | 5 +++--
 2 files changed, 11 insertions(+), 2 deletions(-)
 create mode 100755 prism/etc/scripts/sbml2prism

diff --git a/prism/etc/scripts/sbml2prism b/prism/etc/scripts/sbml2prism
new file mode 100755
index 00000000..6980af32
--- /dev/null
+++ b/prism/etc/scripts/sbml2prism
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+# Startup script for SBML to PRISM converter (Linux/Mac/Solaris)
+
+# Launch using main PRISM script
+PRISM_MAINCLASS="prism.SBML2Prism"
+export PRISM_MAINCLASS
+prism "$@"
diff --git a/prism/src/prism/SBML2Prism.java b/prism/src/prism/SBML2Prism.java
index 02719ea1..83b81de2 100644
--- a/prism/src/prism/SBML2Prism.java
+++ b/prism/src/prism/SBML2Prism.java
@@ -49,7 +49,8 @@ public class SBML2Prism extends Reactions2Prism implements EntityResolver
 {
 	/**
 	 * Calling point for command-line script:
-	 * e.g. java -cp classes prism.SBML2Prism myfile.sbml 100
+	 * This is probably the sbml2prism (found in etc/scripts)
+	 * But it can also be called as, e.g.: java -cp classes prism.SBML2Prism myfile.sbml 100
 	 * (100 denotes (integer) maximum for species population sizes, default is 100)
 	 * (also used to compute amounts from (real-valued) concentrations)
 	 */
@@ -58,7 +59,7 @@ public class SBML2Prism extends Reactions2Prism implements EntityResolver
 		PrismLog errLog = new PrismPrintStreamLog(System.err);
 		try {
 			if (args.length < 1) {
-				System.err.println("Usage: java -cp classes prism.SBML2Prism <sbml_file> [max_amount]");
+				System.err.println("Usage: sbml2prism <sbml_file> [max_amount]");
 				System.exit(1);
 			}
 			SBML2Prism sbml2prism = new SBML2Prism(errLog);