Tcl/Tk Support for ABC


Download & Installation Instructions

License Agreement

This Software is available as freeware. It is available for use by end users. Distributing, renting or selling the Software or any of its parts to third parties is strictly prohibited. You may modify the Software only within your corporation or organization.
The author of the program, as well as the Czech Techincal University in Prague, will not be responsible for any damages of any kind associated with the use, misuse or distribution of this Software.

The ABC tool is under the Licence Agreement of the University of California.

Before downloading ABCTcl for the first time, please fill in this form. This will enable you to be informed about all news by e-mail.

Name:
E-mail:
Country:
Affiliation:
Comments:

Inform me about news

Download & Install the Windows version

Step 1 - Download and install ActiveTcl 8.5.x

The tested version of ActiveTcl 8.5.13 for win32 can be dowloaded from here
For newer versions of ActiveTcl, see the ActiveState official webpage
Note: Do not use the x64 versions of ActiveTcl. The Expect TCL extension is not avalable for 64-bit versions

Step 2 - Install the Expect TCL extension

Change directory to TCL\bin (where TCL is the directory where TCL was installed in the previous step) and execute teacup.exe install Expect 5.43
Or you can download Expect here. Then execute teacup.exe install package-Expect-5.43-win32-ix86.zip
Expect 5.43 was tested, newer versions may be used without any guarantee

Step 3 - Download ABC

The latest version of ABC can be downloaded from the official ABC webpage
ABC version 1.01 (10216) is here
Unpack ABC to whatever directory you want

Step 4 - Install ABCTcl

Download the ABCTcl interface files from here (version 0.6)
Unpack the files into the directory where ABC is installed
If you wish to have these files in another directory, you must change values of variables abcDir and abcExe in the abctclconfig.tcl configuration file
 Now the Tcl/Tk support should be sucessfully installed. Now you can run Tcl scripts directly (using tclsh), the abctcl.tcl script must be included in your Tcl scripts

Download & Install the Linux version

Step 1 - Download and install ActiveTcl 8.5.x

Download ActiveTcl 8.5.x from the ActiveState official webpage (successfully tested on 8.5.13)

Step 2 - Install the Expect TCL extension

Change directory to TCL\bin (where TCL is the directory where TCL was installed in the previous step) and execute teacup.exe install Expect 5.43
Expect 5.43 was tested, newer versions may be used without any guarantee

Step 3 - Download ABC

The latest version of ABC can be downloaded from the official ABC webpage

Step 4 - Install ABCTcl

The complete instalation package for Linux can be dowloaded from here (version 0.6). To install ABCTcl, run ./configure and ./make install.
It is possible to use ABCTcl without installation. Then just unpack all the files in the bin/ and lib/ directories into the working directory
If you wish to have these files in another directory, you must change values of variables abcDir and abcExe in the abctclconfig.tcl configuration file
 Now the Tcl/Tk support should be sucessfully installed. Now you can run Tcl scripts directly (using tclsh), the abctcl.tcl script must be included in your Tcl scripts