
This is version 4.12 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
or from any GNU mirror site.

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.

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

--Vincent
