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		# elf target.
   % ./configure i386-linuxaout		# a.out target
or % ./configure sparc-sun-solaris2
NOTE 1: To use the a.out version of Checker on Linux with GCC 2.7, try:
   > setenv CC "gcc -b i486-linuxaout"
   > ./configure
2) compile it with make:
   % make
   This should produce a file libchecker.a.
3) become root:
   % su
4) install it:
   % make install
   Files will be installed in /usr/local/lib/checker/ 
     `checkergcc' and  `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 'prefix = ...'

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'
