Multiagent & Cooperative Robotics Laboratory.

 

MACR Lab Home

Research

Papers

Faculty

Students

Student Projects

Conferences

 


 

CIS Homepage

 

K-State Homepage

 


 

 

 

Search MACR Lab Site

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Spin Installation for agentTool

You have 3 choices:

1. 

Starting with agentTool 1.8.3 beta (and above), we will release agentTool with Spin already included and configured for the Windows environment.  If you are loading agentTool and Spin onto windows, you can simply download the full version (which includes Spin) and load it into its directory.  Spin should work automatically without further work on your part.

2.

If you are loading agentTool on a PC, you can download spin.zip file and extract it into your agentTool file (e.g., C:\agentTool_1.x.x).  It will automatically create the spin subdirectory and load the spin checker.

3.  

You can follow these directions to download the latest version of Spin, etc.  However, the latest version of spin will not provide any improvements over older versions.

NOTE:  These instructions assume that AgentTool has been installed into the C:\agTool directory.  If AgentTool has been installed into a different directory (i.e., c:\agentTool_1.8\), substitute that directory name into the instructions for C:\agTool.

NOTE:  When using Windows NT, the use of a directory name longer than 8 characters prevents Spin from running correctly.  Therefore, spin will work correctly using the default directory name agTool.

Download the archived DJGPP compiler at http://www.delorie.com/djgpp/.  The DJGPP compiler is used by SPIN to create executables.  The instructions for installing and running the compiler change over time, so you may to read the installation instructions at the Simtel site.

  • Unzip the DJGPP files into the C:\agTool\Spin directory. 

Download the archived Spin software ftp://netlib.bell-labs.com/netlib/spin/pc_spin343.zip into a temporary directory. (You can download non-windows versions of Spin at http://netlib.bell-labs.com/netlib/spin/)

  • Unzip the Spin software into the C:\agTool\Spin\bin directory. 
  • Rename the C:\agTool\Spin\bin\go32-v2.exe file to C:\agTool\Spin\bin\go32.exe.
  • Rename the C:\agTool\Spin\bin\redir.exe file to C:\agTool\Spin\bin\r1.exe.
  • Rename the C:\agTool\Spin\bin\spin324.exe file to C:\agTool\Spin\bin\spin.exe.

Change to the C:\agTooldirectory.

Execute C:\agTool\agentTool.bat to start the AgentTool application.

Send questions/report problems about agentTool

 

 

Contact AI Web Author for more information.