Installing Checker:
1) You need gcc version 2.8.1 (at least) to use this version of Checker.
   If you are not sure about the version, try:
   % gcc --version
   If you want to use g++, use egcs.
   If you want to use egcs (perhaps because you need g++), you should
   applied a patch, contained in patch/egcs.diffs.

2) build the Makefile:
   % ./configure
   If you want to compile in a different directory from the one containing
   the source code, 'cd' to the directory and run 'configure' with the
   option '--srcdir=DIR', where DIR is the directory that contains the
   source code.

3) compile it with GNU make:
   % gmake

4) Optionaly: You can check the binaries with:
   % gmake check

5) install it
   You may need to become root:
     % su
     NOTE: you don't need to be root to install checker if you have the rights.
     However, you should certainly use '--prefix' at step 1 to install in a
     directory where you can write.

   % gmake install

6) Optionaly: Check the installation
   % gmake check-install

7) use it
   To compile *.c with checker:
   % checkergcc -c *.c $(CFLAGS)
   % checkergcc -o my_prg *.o
   In other words, replace 'cc' or 'gcc' with 'checkergcc'

