Installing Checker:

1) 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.
   You can specify the target:
   % ./configure i386-linux
2) compile it with make
   % make
   This should produce a file libchecker.o
   If you want to use libmdchecker.a or plchecker.o, try:
   % make libmdchecker.a
   % make plchecker.o
3) become root
   % su
4) install it
   % make install
   files will be installed in /usr/local/lib/checker/
   checkergcc, checkerg++ will be installed in /usr/local/bin/
   If you want to install these files in /usr/lib/checker and /usr/bin,
   edit Makefile, and change the line 'prefixe = ...'
5) install the checkered c-library (Checker-libs-0.6.tgz)
   % cd /usr/local/lib/checker (or /usr/lib/checker)
   % tar zxvf Checker-libs-V0.6.tgz
5b) If desired, also install the X libraries (Checker-Xlibs-0.6.tgz) and
     the g++ libraries (Checker-libg++-0.6.tgz):
   % cd /usr/local/lib/checker (or /usr/lib/checker)
   % tar zxvf Checker-Xlibs-0.6.tgz
   % tar zxvf Checker-libg++-0.6.tgz
   WARNING: I have not tested these.
6) 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'
   and replace 'g++' with 'checkerg++'.
