Installation guidelines

From The Maude System
Jump to: navigation, search

As explained in Maude's download page, Maude has a single executable that can be allocated anywhere in you machine. However, there are several things you must take into account:

  • Most Linux distributions allow the installation of Maude through their package management systems. It is not always updated though. We recommend to download the latest version directly from Maude's official distribution site.
  • The compressed file distributed in Maude's official site includes, in addition to the executable files (for Linux and MacOS), several text files with Maude specifications. Maude tries to load one of them at start up, the prelude.maude file. The Maude interpreter checks for it in several directories, in the following order:
    1. the directories specified in the MAUDE_LIB environment variable,
    2. the directory containing the executable, and
    3. the current directory.

It may be the case that you know more than us on how to administer your machine, but just some basic advise in case of need:

  • In a Linux/MacOS installation, you can unzip the distribution file anywhere in you disk. You can then add the folder in which it is located to your PATH environment variable, or create an alias or soft link in your /usr/local/bin/ folder. You choose. If you prefer you can move to the folder or provide the entire path to execute it.
  • And it is not only the prelude.maude file, the interpreter will follow this strategy when trying lo load any file. Therefore, it might be a good idea to include the path to the prelude.maude file in the MAUDE_LIB environment variable to be sure that it will always be found.
  • The maude.linux64 (or maude.darwin64) file may not be marked as executable when unzipping the distribution file. To make it executable, just use the chmod command as follows:
 > chmod +x maude.linux64
  • If you are using a MacOS machine, your system may still prevent it from being executed since you have downloaded it from an unknown source. You need to go to System Preferences..., then Security & Privacy (General), and grant permission.

Maude's manual includes information on how to run Maude and how to load simple specifications (see Maude Manual's Chapter 2).

The Maude interpreter is all you need to run Maude programs. It is a command line tool, with no graphical user interface. You can write your specs directly in the terminal, but it is more convenient to use some editor to create them and then load them in the interpreter. Maude packages are available for more common text editors (Emacs, Visual Studio Code, Atom, Sublime, ...), check on your favorite editor's package management tool for it.

If you are a Windows user, our recommendation is to use WSL. Follow the instructions there to install it. Then you can install Maude as in Linux/MacOS, and you can use Maude from the terminal or invoking it from some tool. For instance, some users like to use Atom facilities for invoking Maude directly from Atom. If you don't want to install WSL, the FADoSS group distributes a Windows version of Maude. You can download it from their site for Maude's strategy language.

If you haven't been able to install it, please, contact us through the Maude help mailing list.