----------------------------------------------------------------------
How to install PPL 0.5 
----------------------------------------------------------------------

1. Install GMP (4.2)

- Run cygwin bash-shell.

- Change to gmp-directory (gmp-4.2)

- Type: CPPFLAGS=-fexceptions ./configure --enable-cxx 

- Type: make

- Type: make install
  Take note in which directory gmp was installed. At several places in the output 
  it will say something like:
	"Libraries have been installed in:
		/usr/local/lib"

2. Install PPL (0.5)

- Change to ppl-directory (ppl-0.5)

- Type: ./configure --with-gmp-dir=/usr/local/lib --with-gmp-includes=/usr/local/include
  Note: These paths vary with your distribution and depend on the installation of GMP. 

- Type: make

- Type: make install

----------------------------------------------------------------------
Testing
----------------------------------------------------------------------

- go to gmp-directory
- Type: make check

- go to ppl-directory
- Type: make check

Note: Bug in Cygwin might require fixing libgmpxx.la (see below).

----------------------------------------------------------------------
Compile a test file for GMP 
----------------------------------------------------------------------
- If your compiler is gcc:
	gcc -g test2.c -lgmp

----------------------------------------------------------------------
Compile a program using PPL 
----------------------------------------------------------------------
- If your compiler is gcc:
	gcc -g name.cpp -lgmp -lgmpxx -lppl

----------------------------------------------------------------------
Error in Cygwin 1.5.7-1
----------------------------------------------------------------------
Symptom: False reference in libgmpxx.la leads to error in libtool when trying to compile programs using the PPL.
Fix: In "libgmpxx.la" (usually in /usr/local/lib), replace
"/GCC/gcc-3.3.1-3/.inst/package-gcc/usr/lib/./libstdc++.la" with appropriate path, usually "/usr/lib/libstdc++.la" or "lib/libstdc++.la".


----------------------------------------------------------------------
Excerpt from "make install" in GMP that contains path information:
----------------------------------------------------------------------
Libraries have been installed in:
   /usr/local/lib

If you ever happen to want to link against installed libraries
in a given directory, LIBDIR, you must either use libtool, and
specify the full pathname of the library, or use the `-LLIBDIR'
flag during linking and do at least one of the following:
   - add LIBDIR to the `PATH' environment variable
     during execution
   - add LIBDIR to the `LD_RUN_PATH' environment variable
     during linking
   - use the `-Wl,--rpath -Wl,LIBDIR' linker flag

See any operating system documentation about shared libraries for
more information, such as the ld(1) and ld.so(8) manual pages.
----------------------------------------------------------------------