                          CCCC  V       V
                         C       V     V
                         C        V   V
                         C         V V
                          CCCC      V


                         
                         ------------
                         INSTALLATION
                         ------------

CONTENTS:

The CMU software for symbolic model checking VHDL is available on the
Web at the URL:
	http://www.cs.cmu.edu/~deharbe/project.html

The CV collection is available in various formats:
  - Linux compiled distribution,
  - Sun OS 4.1 compiled distribution,
  - generic UNIX source code.
Each of these collections contain the same programs, documentations and 
examples.

The compiled distribution are compressed archive files that contain the
programs, examples and documentation.

COMPILATION:

If you are not using Linux or SUN OS, here are the directions to compile
the source code to form binaries on your system. 

The file cv.tgz contains  the sources and  some examples. To break out
the directory structure,  after  you have  gotten the files,  use  the
commands

> gzip -d cv.tgz
> tar -xf cv.tar

This   will create   a   directory  named cv.beta.1 in   the   current
directory. Command:

> cd cv.beta.1

To go to the directory that contains  the software collection (we will
refer  to this directory  as $CVDIR).  Edit  the file Makefile to set
this different variables:

   - INSTALLBIN to the directory for programs (default is $HOME/bin).
   - INSTALLINC to the  directory for header files (default is $HOME/include).
   - INSTALLLIB to the directory for  libraries (default is $HOME/lib).
   - INSTALLMAN to the directory for manual entries (default is $HOME/man),
files will  be copied in directories $INSTALLMAN/man1 $INSTALLMAN/man3.
[You   MUST   set these    variables  to  ACTUAL     directories (and]
[subdirectories for $INSTALLMAN  must exist as well).  Otherwise  the]
[installation  might   fail. It   is   recommended NOT to  set  these]
[variables to a subdirectory of $CVDIR.                             ]
   - CC, AR and RANLIB to the compiler and development tools available
on your system.
   - CP and RM to the appropriate file manipulation commands and 
arguments on your system.

It is recommended to compile with gcc (this is the default), since the
installation has not  been tested with  other compilers. It is also
strongly recommended to use gmake (GNU make). To start the compilation
and installation of CV, issue the command:

> make

This   is  the default installation    procedure.  In addition to  the
described  binaries and  library,   it installs the   following manual
entries: cv.3 cva.1 cvc.1.

TESTING THE INSTALLATION:

Run the test file:

>./test
and compare the generated output to file "compare".

TROUBLESHOOTING:

An  external event  might stop  the compilation process.  Or you might
have made a  mistake in  the settings  of the  Makefile. In  order  to
revert to the original file configuration, issue the command:

> make clobber

We    are not 100%   sure that  the installation works   on every UNIX
machine. Please report   us such errors, and  if  you found one,  your
solution. There    is a file  name BUG_REPORT_FORMAT   included in the
distribution. We ask you to use  it when reporting  bugs, it makes the
management of bugs much easier for us.

--------------
David Deharbe.
--------------

