This is version 4.14 of the Polyhedral Library.
Reference page:
       http://icps.u-strasbg.fr/~loechner/polylib

REQUIREMENTS:
=============
All you need to build the polylib is a C compiler like gcc.

If you want the library to be overflow proof, you might install
the GNU-MP library, version 2.0.2 or more. You can get it from:
       ftp://ftp.gnu.org/gnu/gmp/
or from any GNU mirror site.
It is also available as RPM in most linux packages.

BUILDING:
=========
1. Edit the Makefile to comply with your target machine/OS.
2. Become root if the installation directory is write protected.
3. Run 'make install'.
4. Run 'make test' to test the library on a given set of examples.
5. Run 'make 64test' to test the 64 bits examples.
   You can also run this test in 32 bits mode, using GNU-MP.
6. Have fun :)

You may build the 32 bits *and* the 64 bits library (this will
create a polylib32 and a polylib64 library). You have to run
make two times and change the first lines of the Makefile to
do that. You can build and install executables for both versions,
define EXEC_EXTRA_SUFFIX in the Makefile in this case.


If something fails, send me an e-report: loechner@icps.u-strasbg.fr

--Vincent