To compile Maude, a few prior packages need to be installed.

dpkg -l build-essential
sudo apt-get install build-essential bison flex libncurses5-dev

GNU gmp

First grab the package from its site here. Untar and install.

wget ftp://ftp.gmplib.org/pub/gmp-5.0.1/gmp-5.0.1.tar.bz2
tar xvf gmp-5.0.1.tar.bz2
cd gmp-5.0.1/
./configure --enable-cxx --disable-shared
make check
make
sudo make install

The whole process may take a while.

GNU libsigsegv

sudo apt-get install libsigsegv0 libsigsegv-dev

Tecla

Download from here and do the usual stuff.

wget http://www.astro.caltech.edu/~mcs/tecla/libtecla.tar.gz
tar xvf libtecla.tar.gz
cd libtecla/
./configure CFLAGS="-O2 -D_POSIX_C_SOURCE=1"
make TARGETS=normal TARGET_LIBS=static
sudo make install

BuDDy

Same stuff for BuDDy from SourceForge.

wget "http://sourceforge.net/projects/buddy/files/buddy/BuDDy 2.4/buddy-2.4.tar.gz/download"
tar xvf buddy-2.4.tar.gz
cd buddy-2.4/
./configure --disable-shared
make
sudo make install

Maude

Now it is possible to build Maude from scratch. The steps are similar, but just remember to use the libraries that we just compiled, rather than the ones that (possibly) come by default.

wget http://maude.cs.uiuc.edu/download/current/Maude-2.5.tar.gz
tar xvf Maude-2.5.tar.gz
cd Maude-2.5.tar.gz/
mkdir Build
cd Build/
../configure GMP_LIBS="/usr/local/lib/libgmpxx.a /usr/local/lib/libgmp.a"
make
make check
sudo make install

The make step may take a while, just be patient.

Setting up Emacs Maude mode

After compiling and installing Maude, it may be helpful to set up Emacs so that experiment with Maude is easier. First download the Emacs Maude mode from SourceForge. Put it in your load path, and then add the following to a file maude.el under .emacs.d folder so that it is loaded by Emacs.

(autoload 'maude-mode "maude-mode" "MAUDE mode" nil t)
(setq auto-mode-alist
      (append
       (list (cons "\.maude$"  'maude-mode)
		     (cons "\.fm$"     'maude-mode))
       auto-mode-alist))
(setq maude-command "/usr/local/maude/maude.linux")