|
The version of agentTool you want from the agentTool
download
page. The "full" version contains the full agentTool suite
of tools while the "minimal" version contains the full agentTool suite
with the exception of the "SPIN" software used for automatic
conversation verification. Note: the only difference between the two
installations is the install directory, which will either be AgentTool_1.8.3 or
AgentTool_2.0.
If you unzip the file in the C:\ directory, it will create a
C:\AgentTool_1.8.3 (or AgentTool_2.0) directory which will contain all the
source code, executable code, and various MAML example files. If you have JDK
1.3.1 loaded (in the default C:\jdk1.3.1 directory), running the agentTool.bat
file will run agentTool directly without modification.
If you do not have JDK 1.3.1, do not have it loaded in the default directory,
or don't load agentTool into the default directory (1.8.3 or 2.0), you will have
to modify the agentTool.bat file. You will have to make the appropriate changes
to point to the correct agentTool directory or the correct JDK directory.
agentTool.bat
|
1.8.3
|
2.0
|
set AT=c:\AgentTool_1.8.3
set path=c:\jdk1.3.1\bin;%AT%\spin\bin
set classpath=
set djgpp=%AT%\spin\djgpp.env
cd %AT%
java Editor.ATeditor |
set AT=c:\AgentTool_2.0
set path=c:\jdk1.3.1\bin;%AT%\spin\bin
set classpath=
set djgpp=%AT%\spin\djgpp.env
cd %AT%
java Editor.ATeditor |
The command "set AT=c:\AgentTool_1.8.3" (or c:\AgentTool_2.0) will
create a new environment variable "AT" set to the path of the Agent
Tool environment. You will need to set this to whatever your installation
directory is. If you installed straight to c: then you won't need to change
this.
If you have the JDK installed in a different directory, you will need to make
the appropriate changes to the path variable.
The line "set path= ... %AT%\spin\bin" and "set djgpp=%AT%\spin\djgpp.env"
are used with SPIN verification tool and do not need to be modified.
The last two lines of this batch file are used to load AgentTool and should
not need to be changed.
Send questions/report problems about agentTool |