Installation

Previous: Introduction	Next: QuickStart

Contents

• Supported Compilers
• Linux - Building from Source
• Linux - Building from Source using SVN Repository
• Linux - Install Binaries using the Installer
• Windows - Building from Source using SVN Repository (outdated and experimental)

Supported Compilers

• Linux
  • GCC >= 7.0
  • CLang (LLVM) >= 3.0
• Windows
  • Visual C++ 2010

Linux - Building from Source

Please make sure that your system meets all necessary requirements: Requirements for Linux Distributions

First you need to download the sources from our FTP server: ftp://ftp.mira-project.org/download .

After the download, you can unpack and compile MIRA by doing the following steps:

> tar xzvf MIRA-yyyy-mm-dd_rNNNN.tar.gz
> cd MIRA
> export MIRA_PATH=/my/path/to/MIRA
> export LD_LIBRARY_PATH=/my/path/to/MIRA/lib
> make release

We strongly recommend to set the environment variables MIRA_PATH and LD_LIBRARY_PATH in your .bashrc file :

export MIRA_PATH=/my/path/to/MIRA
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/my/path/to/mira/lib

Optionally (for convenience), you can add the MIRA binary directory to your PATH:

export PATH=$PATH:/my/path/to/mira/bin
source /my/path/to/mira/scripts/mirabash

If there are any errors please first have a look at Requirements for Linux Distributions if your system meets all the requirements.

After a successful installation you may want to enable additional tools and tab-completion for the bash shell as described here: Mira Extensions for the Bash Shell.

Linux - Building from Source using SVN Repository

Note

The SVN repository is only accessible for registered developers. Access to the trunk (https://www.mira-project.org/svn/MIRA/trunk) is only available for the MIRA core development team. External SVN users only have access to their path in the repository (e.g. https://www.mira-project.org/svn-extern/MIRA-users/USER-NAME) and to the MIRA release tags (https://www.mira-project.org/svn/MIRA/tags/releases/).

Please make sure that your system meets all necessary requirements: Requirements for Linux Distributions

If you have access to the SVN repository you can checkout the latest version of MIRA:

> svn checkout https://www.mira-project.org/svn/MIRA/trunk MyMIRAFolder

or:

> svn checkout https://www.mira-project.org/svn-extern/MIRA-users/USER-NAME/MIRA MyMIRAFolder

(depending on your SVN access rights)

Set the MIRA_PATH environment variable and add the MIRA build folder to LD_LIBRARY_PATH in your .bashrc file :

export MIRA_PATH=/home/user/wrk/MyMIRAFolder
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/home/user/wrk/MyMIRAFolder/lib

Optionally (for convenience), you can add the MIRA binary directory to your PATH:

export PATH=$PATH:/home/user/wrk/MyMIRAFolder/bin

Now you can build MIRA. Run make in your MIRA folder:

> cd MyMIRAFolder
> make

In order to build MIRA with CLang instead of GCC type:

> export CC=/usr/bin/clang
> export CXX=/usr/bin/clang++
> make

For more details see Build System.

After a successful installation you may want to enable additional tools and tab-completion for the bash shell as described here: Mira Extensions for the Bash Shell.

Linux - Install Binaries using the Installer

Please make sure that your system meets all necessary requirements: Requirements for Linux Distributions

First you need to download the installer script mira-installer-binary.sh from http://www.mira-project.org and start it in a console by typing:

> ./mira-installer-binary.sh SystemName

The argument SystemName specifies your operating system. At the moment, the following systems are support:

• redhat-el6-i686: CentOS 6, RHEL6, 32bit, (outdated)
• redhat-el7-x64: CentOS 7, RHEL7, 64bit
• redhat-el8-x64: OracleLinux 8, CentOS 8, RHEL8, 64bit
• ubuntu-1204lts-i686: Ubuntu 12.04LTS, 32bit, (outdated)
• ubuntu-1204lts-x64: Ubuntu 12.04LTS, 64bit, (outdated)
• ubuntu-1404lts-x64: Ubuntu 14.04LTS, 64bit, (outdated)
• ubuntu-1604lts-x64: Ubuntu 16.04LTS, 64bit, (outdated)
• ubuntu-1804lts-x64: Ubuntu 18.04LTS, 64bit,
• ubuntu-2004lts-x64: Ubuntu 20.04LTS, 64bit,
• ubuntu-2004lts-x64: Ubuntu 22.04LTS, 64bit

You will be asked for a directory you like to install MIRA. After that, the installation will:

• automatically create the directory
• download a basic environment consisting of the Build System, the Base and mirapackage
• check out the remaing core components of MIRA using mirapackage

After success you will be presented with a completion message. Note that you should add the environment variables for the path to MIRA as suggested by the installer. You can set the MIRA_PATH environment variable and add the MIRA folder to LD_LIBRARY_PATH in your .bashrc file :

export MIRA_PATH=/my/path/to/mira
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/my/path/to/mira/lib

Finally, the installer will ask you if you like to start mirapackage to install more packages.

Optionally (for convenience), you can add the MIRA binary directory to your PATH:

export PATH=$PATH:/my/path/to/mira/bin

If there are any errors please first have a look at Requirements for Linux Distributions if your system meets all the requirements. If the installation fails at any point you can restart the installer and it will ask you if you like to continue.

After a successful installation you may want to enable additional tools and tab-completion for the bash shell as described here: Mira Extensions for the Bash Shell.

Windows - Building from Source using SVN Repository (outdated and experimental)

Please make sure that your system meets all necessary requirements: Requirements for Microsoft Windows

If you have access to the SVN repository you can checkout the latest version of MIRA:

> svn checkout https://www.mira-project.org/svn/MIRA/trunk MyMIRAFolder

Set the MIRA_PATH environment variable and ensure, that the lib directory is in the PATH environment variable:

MIRA_PATH = c:\\...\\Path_to_MIRA
PATH=...;c:\\...\\Path_to_MIRA\\lib

Please make sure, that the path is the real path (not the localized one!). For example, use "C:\Users\..." instead of "C:\Benutzer\...".

Optionally (for convenience), you can add the MIRA binary directory to your PATH:

PATH=...;c:\\...\\Path_to_MIRA\\bin

Now you can build MIRA. Run make in your MIRA folder:

> cd MyMIRAFolder
> nmake /f Makefile.nmake

For more details see Build System.

Next: QuickStart