Installation Instructions for Specware 4.1.3

Windows

1. Download Specware_4_1_3_Win.jar

2. Execute the downloaded file and follow the instructions.

To run Specware under XEmacs double click on the Specware icon on the desktop or choose Specware under the Start menu where there is also an option to run Specware without XEmacs.

To uninstall Specware use the Add/Remove Programs Conctrol Panel.

Mac OS X

To install:

1. Download Specware_4_1_3_Mac.zip

2. Double click on the downloaded file to create Specware 4.1.3.pkg

3. Double click on Specware 4.1.3.pkg and follow the instructions.

4. Download OpenMCL from http://openmcl.clozure.com/Distributions/openmcl-release-0.14.3.html

5. Copy the ccl folder to the Applications folder.

This is sufficient to allow /Applications/Specware/Specware.sh to be run in a Terminal window, but we recommend installing X11 and XEmacs (if not already installed), which allows /Applications/Specware/Specware to be run, providing a more powerful interface.

To install X11 see http://www.apple.com/support/downloads/x11formacosx.html.

To install XEmacs use Fink: http://fink.sourceforge.net/download/index.php?phpLang=en

Once these are installed you can double click /Applications/Specware/Specware to run Specware in an XEmacs environment. The first time you double click, you may get a dialog box saying it does not know which application to open the file with. Choose the X11 application (/Applications/Utilities/X11 is the normal location).

To uninstall Specware, drag the Specware folder to the trash.

Linux

If you want to install Specware under /usr/local (the default) you will will need the correct permissions, so you will probably have to run as root. You can install Specwar anywhere such as your home directory.

To install:

1. Download Specware_4_1_3_Linux.bin.zip

2. Extract the .bin file and execute it and follow the instructions. (There have been cases where this process hangs creating the uninstaller. If this happens just kill the process. Specware should be useable.)

3. Download and install cmucl-18e from http://www.caddr.com/lisp/

There are two scripts for running Specware in the Specware directory: Specware for running under an XEmacs environment (recommended) and SpecwareShell for running in a terminal window.

To uninstall Specware execute uninstaller.bin in the _uninst subdirectory of the Specware directory. If the uninstaller installation failed in step 2, then just delete the Specware directory.

Using Specware

Look in the Documentation subfolder of the Specware folder for information on using Specware including a tutorial.

Send questions to support@specware.org.