# marabou
**Repository Path**: mirrors_svn2github/marabou
## Basic Information
- **Project Name**: marabou
- **Description**: This is a clone of an SVN repository at https://svn.physik.uni-muenchen.de/repos/marabou/trunk/marabou. It had been cloned by http://svn2github.com/ , but the service was since closed. Please read a closing note on my blog post: http://piotr.gabryjeluk.pl/blog:closing-svn2github . If you want to continue synchronizing this repo, look at https://github.com/gabrys/svn2github
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No
## Statistics
- **Stars**: 0
- **Forks**: 0
- **Created**: 2020-09-26
- **Last Updated**: 2026-04-05
## Categories & Tags
**Categories**: Uncategorized
**Tags**: None
## README
How to download or update MARaBOU / HistPresent from SVN
How to compile MARaBOU after download or update
- Prior to installation of MARaBOU
ROOT must be installed in standard manner.
I.e. assume $ROOTSYS points to the install directory.
Then this directory must contain subdirs: bin, lib, include etc.
Note: For the debian package of ROOT this is not the case.
ROOT must be compiled with OpenGL enabled.
For this the packages as described in
ROOTs prerequisits page
must be installled in your Linux system.
To check whether OpenGL is enabled you should
look in
$ROOTSYS/include/RConfigOptions.h for opengl.
- Change to your installation directory marabou
- Adjust file iniMrbPath to reflect your installation path ROOTSYS
(SYSMODE=y, MARABOU=`pwd`, ROOTSYS set properly)
- Execute ". iniMrbPath" to activate environment settings (dont forget the . (dot))
- Do a make clean; make to recompile MARaBOU
- If you only need HistPresent: make hpr
If you get an error like this: TGLHistPainter.h not found
then OpenGL is missing in your ROOT installation.
For running $MARABOU/lib must be part of your $LIBRARY_PATH
and $MARABOU/bin of your $PATH
You might use iniMrbPath for this (see below)
- If a make install is needed to make it accessible to others:
Adjust MARABOU_INSTALL_PATH in iniMrbPath properly and make install.
- You can provide a modified iniMrbPath for users
with: SYSMODE=n, MARABOU=$MARABOU_INSTALL_PATH