Error TCLTK

19 views
Skip to first unread message

marciano...@gmail.com

unread,
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 https://www3.hhu.de/stups/prob
### ProB version: 1.8.0-final
### Prolog version: SICStus 4.3.5 (x86-win32-nt-4): Wed Dec  7 14:49:48 WEST 2016
! TCL
! 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

unread,
May 26, 2018, 1:24:33 PM5/26/18
to marciano...@gmail.com, 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: https://sourceforge.net/projects/tcl/files/Tcl/8.5.18/

Greetings

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 prob-users+...@googlegroups.com.
To post to this group, send email to prob-...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/prob-users/765e428f-fea6-43ca-b296-f7b9ff55c6ce%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply all
Reply to author
Forward
0 new messages