Installation

For Debian-like systems, RUMD can be installed as a package. Use the following repository entries appended to /etc/apt/sources.list or in a file in /etc/apt/sources.d/

deb [trusted=yes] http://carid.ruc.dk/rumd buster main
deb-src [trusted=yes] http://carid.ruc.dk/rumd buster main

To install RUMD simply use an equivalent of:

apt update
apt install rumd rumd-doc python3-rumd

You need to have root privileges, of course.

You can also build the package from the source. To do so, download the source code from the RUMD homepage

http://rumd.org/download.html

and unpack the file using

tar xzvf rumd-X.X.tar.xz

where X.X is the version number. Enter the source directory

cd rumd-X.X

and build the package by typing

make

To test your installation use

make test

This test will take approximately 5-10 minutes.

Notice, you cannot type make install since the default path is different from system to system. We will refer to the installation path as <RUMD-HOME>