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 installed in your Linux system.
  To check whether OpenGL is enabled you should run
  $ROOTSYS/bin/root-config --has-opengl.

  We recommend to get ROOT from its git repository:
  
  git clone http://github.com/root-project/root.git
  
  and then use cmake to build it as described here
  If you download a binary package of ROOT make sure your system and compiler are compatible.

• 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