cvs -d :pserver:mbuser@cvs.mll-muenchen.de:/home/cvs/marabou login

if it is first time you access MARaBOU's cvs server:

cvs -d :pserver:mbuser@cvs.mll-muenchen.de:/home/cvs/marabou checkout hpr

to look for recent changes: cvs -n update 2>/dev/null | grep '^[MPUC]'
to update an existing MARaBOU installation: cvs update
Go to the MARaBOU directory: cd marabou
Edit the file iniHprPath to adjust the location of your ROOT installation.
If ROOTSYS, PATH, LD_LIBRARY_PATH are already set you only need to adjust MARABOU.
source iniHprPath: . ./iniHprPath
At this point subdirectories bin, lib, include should have been created. Watch diagnostic messages from the script.
Run configure with your computer architecture: ./configure linux
For a full list see section "Architectures supported:" of the command:
```
$ROOTSYS/configure --help 
```
Nota bene: Only several LINUX versions have been tested. (no Redmond)
Run:
make clean
make
To use HistPresent make sure your PATHs include Root and Marabou:
so put e.g. in .bashrc

export ROOTSYS=where root resides
export MARABOU=where marabou resides
export PATH=$PATH:$ROOTSYS/bin:$MARABOU/bin
export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$ROOTSYS/lib:$MARABOU/lib