Version: 4.2

1 Getting Started

This section provides instructions for installing, uninstalling, and upgrading Dracula.

Prerequisites

For the latest release of Dracula, you need DrScheme version 4.0.1 or above. Download and install from the PLT Scheme site. Dracula also requires ACL2 version 3.1+. Download and install from the ACL2 site at UT, Austin.

Installing Dracula

Dracula is available as a Planet package. It can be installed using the planet command line utility. On Windows, this utility is in the directory where PLT Scheme is installed; on Mac or Unix, it is in the bin subdirectory. To install Dracula using this utility, execute:

planet install cce dracula.plt 8 3

Dracula for DrScheme 37x

If you have DrScheme 371-372, you can still use Dracula. Simply run the following at the command line:

planet -i cce dracula.plt 2 9

Dracula 2.9 works with ACL2 3.1+.

Uninstalling Dracula

To uninstall Dracula, run the following at the command line:

planet remove cce dracula.plt 8 3

For other versions of Dracula, change the major and minor version numbers. For DrScheme versions 372 and before, change the remove flag to -r:

planet -r cce dracula.plt 2 9

Upgrading Dracula

To upgrade, remove the old Dracula as shown here. Then follow the installation instructions above.