![]() ![]() ![]() ![]() Below are links for downloading the latest stable release of probcli (the command line version of ProB) and ProB Tcl/Tk (ProB with a graphical user interface written in Tcl/Tk). Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB. The list of changes can be found in the ProB release history.ĭetails of the ProB Licence can be found here. For commercial support contact Michael Leuschel. Tcl/Tk 8.5 or 8.6 ( see below), Java 7 or newer ( for Oracle's Java 17 read instructions below), GraphViz, Windows Installation Instructions Java 7 or newer ( see below), Tcl/Tk 8.5 ( see below), GraphViz In particular, we can provide access to the validation report for using ProB as a tool of class T2 or T3 within the European norm EN50128. MacOS 10.14 (Mojave) or newer, Tcl/Tk ( see below), Java 7 or newer ( see below), Graphviz ( see below) WHERE TO INSTALL ACTIVETCL ON LINUX WINDOWS The B parser of ProB requires Java 7 or newer. Other versions of the source distributions are available at SourceForge. Source Releases Each of these files is explained in more detail below. The Graphical User Interface of ProB Tcl/Tk requires Tcl/Tk 8.5 unless stated otherwise. Download Tcl/Tk 8.4.20 Download Tcl/Tk 8.4.20 Binary Releases For other ways to obtain Tcl/Tk (such as binary distributions), see the main Tcl/Tk page. More details are available below.Īll releases include the command-line version probcli which does not require Tcl/Tk.Īll releases are compiled for the x86_64 architecture (64-bit Intel). required package: tcltk > Loading required package: limma > Warning: ActiveTcl could not be found in the Windows Registry. The last version built for x86 (32-bit Intel) is ProB 1.8.0 (see prior versions). We do not provide native builds for ARM yet, but ARM-based Macs (Apple Silicon) can run ProB via emulation (Rosetta 2). ActiveState is pleased to announce the release of ActiveTcl 8.5.18.0, a patchlevel release of the complete, ready-to-install Tcl distribution for Windows, Mac OS X, Linux, Solaris, and AIX. If you are using an unsupported architecture or system, you may still be able to run ProB from source. Note that: on macOS you still have to right-click on the application and use "Open", even though ProB Tcl/Tk (and probcli and all libraries) are signed and notarized. Also, in order for the menus to work you may first have to click into another window and then click again onto the ProB main window. This seems to be a bug in Tcl/Tk on macOS. ActiveTcl is distributed on Windows as an executable installer (.exe file). 35 MB for the final install Windows 2003 or later Installation. However, we do not follow the stringent checklist for final releases Finally, if you get the error message macOS 11 or later required, then try reinstalling Active Tcl/Tk or running brew install tcl (see stackoverflow or here and see our instructions below).Īn official beta release always passes all of ProB's tests. Installing ActiveTcl for Windows Requirements. (e.g., checking SICStus Prolog Spider warnings, checking coverage and additional manualĪlso, we do not store coverage reports and other information necessary for T2 certification. More current nightly integration builds are also available. These releases are usually updated every night and old versions are not stored. WHERE TO INSTALL ACTIVETCL ON LINUX WINDOWS Installed ActiveTcl at c:/Tcl/ Go to Bin directory in command prompt (Start > Run > cmd > cd c:Tclbin ) To install Expect, I executed the command teacup.Puts "FATAL ERROR:\n\nThis program requires wish!"Ī) by explaining what "" means on a syntactic level (it seems to be checking if wish exists, but I don't know where exactly it is looking)ī) by giving me a hint what wish-files I should have other than wish.exe and where they should be placed. When I looked into the source code of woz.tcl, I realized, that I can't quite figure out all of the syntax: The reason why I am puzzled is that I do have a wish.exe and wish85.exe in C:\Tcl\bin (this path has also been added to the environment variables). When starting woz.tcl from the command line, at least I get an error: "This program requires wish!". The Woz-program (woz.tcl) used to run a few months ago and now I am puzzled to see that it does not do so anymore. I work on Windows 10 and have currently installed Tcl 8.5.18.0 - x86. I am new to tcl and simply trying to install a complete program (this one: ). ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |