Skip to first unread message

May 24, 2018, 4:17:06 PM5/24/18
to ProB Users
I am trying to run ProB but I am having the following error messages:

% host_platform(windows)
### Unable to start Tcl/Tk !
### Ensure that you have installed the right version of Tcl/Tk
### Consult the ProB website
### ProB version: 1.8.0-final
### Prolog version: SICStus 4.3.5 (x86-win32-nt-4): Wed Dec  7 14:49:48 WEST 2016
! goal:  tcl_new/1
! Can't find a usable init.tcl in the following directories:
    C:/WINDOWS/lib/tcl8.5 {C:/Users/User/Desktop/Project/lib/tcl8.5} C:/Users/UserDesktop/lib/tcl8.5 {C:/Users/User/Desktop/Project/library} C:/Users/User/Desktop/library C:/Users/User/Desktop/tcl8.5.2/library C:/Users/User/tcl8.5.2/library
C:/WINDOWS/lib/tcl8.5/init.tcl: version conflict for package "Tcl": have 8.5.2, need exactly 8.5.18
version conflict for package "Tcl": have 8.5.2, need exactly 8.5.18
    while executing
"package require -exact Tcl 8.5.18"
    (file "C:/WINDOWS/lib/tcl8.5/init.tcl" line 19)
    invoked from within
"source C:/WINDOWS/lib/tcl8.5/init.tcl"
    ("uplevel" body line 1)
    invoked from within
"uplevel #0 [list source $tclfile]"

This probably means that Tcl wasn't installed properly.

Can anybody help me?

Ivaylo Dobrikov

May 26, 2018, 1:24:33 PM5/26/18
to, ProB Users
Hi Lourenco,

in order to start the Tcl/Tk version of ProB you have to install Tcl/Tk 8.5.18. You can download this version, for example, from here:


Ivaylo Dobrikov

You received this message because you are subscribed to the Google Groups "ProB Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
To post to this group, send email to
To view this discussion on the web visit
For more options, visit

Reply all
Reply to author
0 new messages