How to download or update MARaBOU / HistPresent from SVN

• Download the latest version of MARaBOU and store in directory marabou:
  

  svn co https://svn.physik.uni-muenchen.de/repos/marabou/trunk/marabou marabou
  

  You might need to install the package subversion prior to this.

• To update to the latest version:
  
  Change to your installation directory previously created by the svn command above and execute:
  svn up

• To find out what you have installed:
  Change to your installation directory and execute:

  svn info

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.
• If a make install is needed to make it accessible to others:
  Adjust MARABOU_INSTALL_PATH in iniMrbPath properly and make install.
• You might want to provide a modified iniMrbPath for users (SYSMODE=n, MARABOU=MARaBOU's top dir)