2 This is version 5.22 of the Polyhedral Library.
3 http://icps.u-strasbg.fr/polylib
8 All you need to build the polylib is a C compiler like gcc.
10 If you want the library to be overflow proof, you might install
11 the GNU-MP library, version 2.0.2 or more. You can get it from:
13 or from any GNU mirror site.
14 You should run './configure --with-libgmp' to use gmp.
16 You can also build the polylib if you don't have gmp, but it will
17 fail when an overflow occurs.
20 BUILDING, if you have root access:
21 =================================
25 4. Run 'make test' to test the library on a given set of examples
26 5. Run 'make longtest' to run a longer test on the examples
29 BUILDING, if you don't have root access (WITHOUT INSTALLING THE LIB)
30 ====================================================================
31 Run './configure --disable-install-lib' at step 1.
32 The executables will be built in the Obj.*.* directory, linked with
34 You can run the tests after 'make' in this case.
36 INSTALLING THE LIB IN A PRIVATE DIRECTORY
37 =========================================
38 Run './configure --prefix=MyDirectory'
40 I suggest that you also add option '--enable-onlystatic'. It does not
41 make much sense to build a shared object in a private directory.
42 If you do however, you will have to set your LD_LIBRARY_PATH before
47 Type './configure --help' to get a complete list of options supported
48 by the configure script.
50 If something fails, send me an e-report: loechner@icps.u-strasbg.fr