How do I use $\Sigma{}^{{\rm it}}$ in my programs?

Once $\Sigma{}^{{\rm it}}$ is properly built, you need to set the following environment variables before using it:

• the variables SALLIROOT and SUMITROOT should be set respectively to the main salli and sumit directories, or to salli/debug and sumit/debug if you want to use the debug version of the libraries;
• $SALLIROOT/include and $SUMITROOT/include should be appended to your INCPATH variable;
• $SALLIROOT/lib and $SUMITROOT/lib should be appended to your LIBPATH variable;

In your ALDOR programs, use #include "sumit" instead of #include "axllib" or #include "salli". When building your final executable, add the options

-lsumit -lsalli -cruntime=foam-gmp3,gmp-3 -y$SUMITROOT/lib -y$SALLIROOT/lib

This will ensure that GMP makes use of the ALDOR garbage collector. Note that the GMP 3.0 or 3.1 library must be in a file called libgmp-3.a, and that you must have GMP installed in order to use $\Sigma{}^{{\rm it}}$. As with any ALDOR program, do not forget the -q3 option in order to optimize your programs, specially if performance is an issue.

Before using $\Sigma{}^{{\rm it}}$ for the first time, please check your installation by running make in the sumit/test directory, followed by running testall.

Please report any installation problem or bugs you encounter to sumit@sophia.inria.fr.