STAMS SOLVER TOOLSET MANUAL

Copyright 1995: STAMS, University of Strathclyde, GLASGOW G11XH Scotland.



INSTALLATION

Authors: W.S.C. Gurney, I. Thurlbeck


PRE-INSTALLATION CHECKS

The X11 version of the STAMS SOLVER Toolset requires:


Using GNU Pascal

If you are running Linux you will need to download and compile the source code for both the GCC and GNU Pascal compilers as listed on the Solver Download Page. If you can't face this, you can try one of our binary distributions of GCC and GNU Pascal (which includes a C,C++,Fortran compiler as well), also listed on the download page. Note this is for Linux/x86 (Intel) only.

To use the binary distribution, you must unpack it in the directory /usr/local as follows (change the path to the GCC+GPC binary distribution file as required):

cd /usr/local
tar zxvf /path/to/gcc-2.95.2-gpc-19991030-rh61.tar.gz
Finally add the following to your shell start up file to access the GNU Pascal compiler: Double check by typing gpc -v to see if the Pascal compiler starts. The information printed should be:
Reading specs from /usr/local/gcc/lib/gcc-lib/i586-pc-linux-gnu/2.95.2/specs
gpc version 19991030, based on 2.95.2 19991024 (release) 
NOTE that you will also have gcc, g++, and g77 compilers as well.

NOTE that you can install this binary GCC+GPC distribution without fear of breaking your current compiler installation (assuming it's not already in /usr/local/gcc).

SOLVER INSTALLATION

The X11 version of the STAMS SOLVER Toolset is designed as a network system. That is to say, it is designed so that a single copy of the toolset system files will be available to all users. The only things kept locally by users will normally be problem definition files. This greatly simplifies maintenance and optimises the use of disk space. The installation procedure is now: Hopefully, that's it.

QUICK TEST

Assuming you used the suggested install directories, try the following:
cd /tmp
cp /usr/local/solver-5.2-src/examples/solver/exp.* .
solv exp
This should compile the example and launch the application. If it fails during compilation there should be enough information printed to diagnose the problem. If the compiled application does not launch (can't find exp.solver) make sure you put the current directory in your PATH, PATH=$PATH:. or set path = ($path .)

PROBLEMS