doc/INSTALL

   1
   2 This is version 5.22 of the Polyhedral Library.
   3 http://icps.u-strasbg.fr/polylib
   4
   5
   6 REQUIREMENTS:
   7 =============
   8 All you need to build the polylib is a C compiler like gcc.
   9
  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:
  12        ftp://ftp.gnu.org
  13 or from any GNU mirror site.
  14 You should run './configure --with-libgmp' to use gmp.
  15
  16 You can also build the polylib if you don't have gmp, but it will
  17 fail when an overflow occurs.
  18
  19
  20 BUILDING, if you have root access:
  21 =================================
  22 1. Run ./configure
  23 2. Become root
  24 3. Run 'make install'
  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
  27
  28
  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
  33 the static library.
  34 You can run the tests after 'make' in this case.
  35
  36 INSTALLING THE LIB IN A PRIVATE DIRECTORY
  37 =========================================
  38 Run './configure --prefix=MyDirectory'
  39
  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
  43 using the lib.
  44
  45 OTHER OPTIONS
  46 =============
  47 Type './configure --help' to get a complete list of options supported
  48 by the configure script.
  49
  50 If something fails, send me an e-report: loechner@icps.u-strasbg.fr
  51 --Vincent