Installation instructions have been synchronized with Polygraph version 1.3.1

Decent installation procedure is not yet supported.

Configuring the distribution

Polygraph version 1.x does not come with an auto-configuration script.

1. Unpack the archive. For example:
   gunzip -c polygraph-1.3.1-src.tar.gz | tar -xvf -

2. Change your directory to polygraph/src

3. If your compiler does not know where to find C++ or system header files, edit Makefile and xstd/Makefile to specify the location of include files in the STD_INCLUDE variable.
   

   Read Makefile and xstd/Makefile comments and make other modifications if necessary. For example, if your environment does not have poll(2) system call or timegm() function, you have to tell Polygraph about it.

Compiling

1. Change your directory to polygraph/src if you are not already there.

2. Run

   make

   This should create several executables including polyclt and polysrv. The executables are placed in the current directory.

If you get errors or even warnings during this step, please report them to us. At the very least, we can probably help you to fix the problem. In general, without your feedback, the bug will remain there -- we do not release source code that has compilation problems in our environment, so if you see a warning, you can be pretty sure we do not know about it...

Polygraph is known to compile with g++, but other compilers may work as well. Gnu-make (a.k.a. gmake) also works better than some native makers.

De-Installation

1. Check that you have not left any useful files in polygraph directory.

2. Change your directory to your home directory or polygraph/.. if you are not already there.

3. Double check that you have not left any useful files in polygraph directory.

4. Run
   rm -rf polygraph
   This command will delete all files in the polygraph directory.