|
|
Line 46: |
Line 46: |
| * Try to open some of the examples provided in the Examples folder shown above | | * Try to open some of the examples provided in the Examples folder shown above |
| * Contact us if you have problems | | * Contact us if you have problems |
| | |
| | === Checklist/Troubleshooting === |
| | |
| | * Java: be sure to have Java 1.5 or newer installed. Otherwise you will not be able to parse your own classical B machines as our parser is written in Java. |
| | |
| | * Tcl/Tk: be sure to have a 32-bit version of TclTk 8.5 installed |
| | |
| | * Try starting ProBWin or probcli from the Windows Command Prompt; the error messages may help you or us uncover the problem |
| | |
| | * In case you cannot start neither ProBWin nor probcli, you may want and try to install the Microsoft C runtime for yourself (rather than rely on the ones we provide in the "Microsoft.VC80.CRT" folder mentioned above. |
Revision as of 14:19, 11 October 2012
Windows Specific Download Instructions
Go to the ProB Downloads site
Install Tcl/Tk 8.5
If Tcl/Tk 8.5 is already installed you can skip this step.
Note: you need to install the 32-bit version of Tcl/Tk, even on 64-bit systems.
- Click on the "Tcl/Tk 8.5 for Windows," link provided in the "Dependencies" column and the "Windows" row above
- Choose the most recent Tcl/Tk 8.5 distribution available for windows; be sure to choose a 32-bit version (the file highlighted in blue below)
- Download and follow the installation instructions
Install Java
If Java 5 or newer is already installed you can skip this step.
Download the ProB for Windows Zipfile
- Click on the "Zipfile (with probcli)" link in the Download column and Windows row
- Decompress and expand the ProB directory if necessary. Do not change the location and structure of the files and directories within ProB (apart from the Machines directory)! The contents of the ProB directory should look something like this:
The subfolder called "Microsoft.VC80.CRT" contains the DLLs for the Microsoft C runtime.
Optionally Download GraphViz
Start ProB
- Start ProB by double-clicking on the ProBWin icon above
- Try to open some of the examples provided in the Examples folder shown above
- Contact us if you have problems
Checklist/Troubleshooting
- Java: be sure to have Java 1.5 or newer installed. Otherwise you will not be able to parse your own classical B machines as our parser is written in Java.
- Tcl/Tk: be sure to have a 32-bit version of TclTk 8.5 installed
- Try starting ProBWin or probcli from the Windows Command Prompt; the error messages may help you or us uncover the problem
- In case you cannot start neither ProBWin nor probcli, you may want and try to install the Microsoft C runtime for yourself (rather than rely on the ones we provide in the "Microsoft.VC80.CRT" folder mentioned above.