Configuring the Maude Development Tools.

Basic configuration.

Before you can run Maude, you have to specify some file paths. These are:

  1. Maude binary file.
  2. Full Maude file.
  3. The directory where the log file will be stored.

These options are explained in more detail below.

View of the basic preferences in a Windows XP system.

View of the basic preferences in a UNIX system.[1]

As the figure shows, there are four sections in this window, these are:

View of the default Maude console.

The user must select here if he wants to run Core Maude or Full Maude. When running Maude in batch mode, the developer can override this setting by means of the API provided.

1 This screenshot is out of date.