INSTALLING PROD 3.4.01 ON A UNIX ENVIRONMENT
-----------------------------------------
1) You should get the compressed archive file "prod-DDMMYY.tar.Z"
where "DDMMYY" is actually a date consisting of 6 digits.
You get the file automatically if you go to the WWW page
"http://www.tcs.hut.fi/Software/prod/index.html" and follow the instructions
there.

2) Let us use an imaginary name SRCDIR for the directory into which you
downloaded "prod-DDMMYY.tar.Z". Respectively, let us use an imaginary name
DESTDIR for the directory under which you want to install the tool.
Execute "uncompress prod-DDMMYY.tar.Z" in SRCDIR. As a result,
"prod-DDMMYY.tar.Z" becomes replaced by the actual archive file
"prod-DDMMYY.tar". Then execute "tar xvf SRCDIR/prod-DDMMYY.tar"
in DESTDIR. As a result, you have "DESTDIR/prod/" with contents.

3) If you have Smodels or do not have gcc, some lines in
the beginning of "DESTDIR/prod/source/Makefile" need a small
amount of editing. (In the file, there are explicit instructions
for what to do.)

4) Execute "make" in "DESTDIR/prod/source".

5) Add the full name of "DESTDIR/prod/bin" to the PATH environment variable.
Set the PRODPATH environment variable equal to the full name of
"DESTDIR/prod/". 

6) "DESTDIR/prod/docs" contains three PostScript files,
"B13.ps", "B13errata.ps" and "B13changes.ps", corresponding to
the reference manual, the errata of the manual and the changes in the tool,
respectively. "B13.ps" remains unchanged but "B13errata.ps" and
"B13changes.ps" are updated by the documenters of PROD when needed.

NOTE: Despite the little difference in document names, the PostScript
documents for UNIX-PROD and Windows-PROD are identical.

INSTALLING PROD 3.4.01 ON A WINDOWS ENVIRONMENT
--------------------------------------------
1) You should get the archive file "prDDMMYY.zip" where "DDMMYY" is
actually a date consisting of 6 digits.  You get the file
automatically if you go to the WWW page
"http://www.tcs.hut.fi/Software/prod/index.html" and follow the instructions
there.

2) Let us use an imaginary name DESTDIR for the directory under which
you want to install the tool. Use WinZip to extract the whole contents
of prDDMMYY.zip into DESTDIR.

3) Edit "DESTDIR\prod\prodfile" to update absolute directory names.
The compilation and linking commands in "DESTDIR\prod\prodfile" and
"DESTDIR\prod\source\makefile" may have to be updated, too.
(The present options for compiling and linking are described in both
of the files.)

4) Execute "nmake" (or something corresponding) in "DESTDIR\prod\source".

5) Add the full name of "DESTDIR\prod\bin" to the PATH environment variable.
Set the PRODPATH environment variable equal to the full name of
"DESTDIR\prod\".

6) "DESTDIR\prod\docs" contains three PostScript files,
"b13.ps", "b13errat.ps" and "b13chang.ps", corresponding to
the reference manual, the errata of the manual and the changes in the tool,
respectively. "b13.ps" remains unchanged but "b13errat.ps" and
"b13chang.ps" are updated by the documenters of PROD when needed.

NOTE: Despite the little difference in document names, the PostScript
documents for UNIX-PROD and Windows-PROD are identical.

READLINE SUPPORT (IN UNIX ONLY)
-------------------------------

The default Makefile of PROD for UNIX assumes that the GNU readline
library, the GNU history library, and the curses library have been
installed in such a way that readline.h and history.h are in
/usr/include/readline/, and "-lreadline -lhistory -lcurses" without
"-L" is sufficient for the linker. PROD can well be installed and used
without those libraries, so you can edit the beginning of Makefile
e.g. in order to avoid them.