m (grammatical edits, punctuation edits) |
m (s to z) |
||
Line 1: | Line 1: | ||
[[Category:User Manual]] | [[Category:User Manual]] | ||
* Avoid installing ProB in a path with spaces or other special characters in them. The same holds for B machines you wish to | * Avoid installing ProB in a path with spaces or other special characters in them. The same holds for B machines you wish to analyze with ProB. | ||
* You need Tcl/Tk (preferably 8.4 or newer) installed on your machine. On Linux you will get the error message: ./prob: error while loading shared libraries: libtk.so: cannot open shared object file: No such file or directory if Tcl/Tk is not proberly installed. You can get Tcl/Tk at http://www.tcl.tk/software/tcltk/. | * You need Tcl/Tk (preferably 8.4 or newer) installed on your machine. On Linux you will get the error message: ./prob: error while loading shared libraries: libtk.so: cannot open shared object file: No such file or directory if Tcl/Tk is not proberly installed. You can get Tcl/Tk at http://www.tcl.tk/software/tcltk/. |