Preprocessor on Windows

[shafaq....@gmail.com]

Hey,
Can we use the prism preprocessor on windows?

Thanks,
Shafaq

[Dave Parker]

> Can we use the prism preprocessor on windows?

I don't have a Windows machine to test it on, but it should be
straightforward to convert the usual prism.bat file to run the
preprocessor. Just change prism.PrismCL to prism.Preprocessor, as in the
script below.

Dave.

---

@echo off

rem Startup script for PRISM (Windows)

rem PRISM home directory
rem Default is .. so it can be run directly from the bin directory.
rem Change ".." to the actual PRISM directory to allow it to be run from
anywhere.
rem An example would be: set PRISM_DIR=c:\Program Files\prism-3.2
rem Note: Do not put quotes ("...") around the path.
set PRISM_DIR=..

rem Add PRISM to path
path=%PRISM_DIR%\lib;%path%

rem Set up CLASSPATH:
rem - PRISM jar file (for binary versions) (gets priority)
rem - classes directory (most PRISM classes)
rem - top-level directory (for images, dtds)
rem - lib/pepa.zip (PEPA stuff)
rem - lib/*.jar (all other jars)
set
CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip;%PRISM_DIR%\lib\*

rem Run PRISM through Java
java -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%"
prism.Preprocessor %*

[10beses...@seecs.edu.pk]

Well when I run it says that prismpp.exe cannot start or run due to incompatibility with 64 bit versions of windows.

[Dave Parker]

What is prismpp.exe? Did you create a batch file, as suggested? Does the
normal prism.bat (or xprism.bat) script run ok, in the same way? If not,
make sure you are using a 32-bin version of Java.

Best wishes,

Dave.

> --
> You received this message because you are subscribed to the Google
> Groups "PRISM model checker" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to prismmodelchec...@googlegroups.com.
> To post to this group, send an email to prismmod...@googlegroups.com.
> Visit this group at http://groups.google.com/group/prismmodelchecker.
> For more options, visit https://groups.google.com/groups/opt_out.

[Shafaq Iqtedar]

Yes xprism.bat still runs okay. This is the script file from prism website which needs to be run to convert a preprocessor file to a normal .nm file. i.e.
prismpp pp_example1.nm.pp 4 > pp_example1.nm

On Linux I used to execute this command from terminal and it makes the copy the file.

On Wed, Sep 4, 2013 at 6:58 PM, Dave Parker <d.a.p...@cs.bham.ac.uk> wrote:

What is prismpp.exe? Did you create a batch file, as suggested? Does the normal prism.bat (or xprism.bat) script run ok, in the same way? If not, make sure you are using a 32-bin version of Java.

Best wishes,

Dave.

On 04/09/2013 14:01, 10beses...@seecs.edu.pk wrote:

Well when I run it says that prismpp.exe cannot start or run due to
incompatibility with 64 bit versions of windows.

On Thursday, August 15, 2013 1:13:00 AM UTC+5, shafaq....@gmail.com wrote:

    Hey,
    Can we use the prism preprocessor on windows?

    Thanks,
    Shafaq

--

You received this message because you are subscribed to the Google

Groups "PRISM model checker" group.

To unsubscribe from this group and stop receiving emails from it, send

an email to prismmodelchecker+unsubscribe@googlegroups.com.
To post to this group, send an email to prismmodelchecker@googlegroups.com.

Visit this group at http://groups.google.com/group/prismmodelchecker.
For more options, visit https://groups.google.com/groups/opt_out.

--
You received this message because you are subscribed to a topic in the Google Groups "PRISM model checker" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/prismmodelchecker/JNvdgMqlKzI/unsubscribe.
To unsubscribe from this group and all of its topics, send an email to prismmodelchecker+unsubscribe@googlegroups.com.
To post to this group, send an email to prismmodelchecker@googlegroups.com.

Visit this group at http://groups.google.com/group/prismmodelchecker.
For more options, visit https://groups.google.com/groups/opt_out.

--

Shafaq Iqtedar

BE-SE-1B
School of Electrical Engineering and Computer Science,
NUST, Sector H-12, Islamabad, Pakistan.

[Negin]

Hi Dave,

Thanks for introducing me the Preprocessor idea. I am currently using PRISM under Windows. I changed the prism.bat file as above but still PRISM cannot recognize #..# command. Am I missing something?

I appreciate your help.

/Negin