From 93da7b7e8374f2f812dcbd61b444ca9041725395 Mon Sep 17 00:00:00 2001
From: vin100 <vin100>
Date: Mon, 5 Feb 2007 16:12:18 +0000
Subject: [PATCH] updated INSTALL and doc/INSTALL

---
 INSTALL      | 16 ++++++++++++----
 configure.in |  2 +-
 doc/INSTALL  |  7 +++----
 3 files changed, 16 insertions(+), 9 deletions(-)

diff --git a/INSTALL b/INSTALL
index 9018bd7..5143bab 100644
--- a/INSTALL
+++ b/INSTALL
@@ -2,8 +2,7 @@ Basic installation procedure.
 
 You need the GNU tools : aclocal, autoconf, automake (some old versions do not work), libtool.
 
-first, build your configure, ltmain.sh and Makefile scripts with autogen.sh
-
+First, build your configure, ltmain.sh and Makefile scripts with autogen.sh
 Then, you can run the scripts 
 
 ./configure [options]
@@ -15,5 +14,14 @@ make install
 
 
 The options for "configure" are given by 
-
-./configure --help
\ No newline at end of file
+./configure --help
+
+Specific options to PolyLib are:
+  --enable-int-lib        Build an int library
+  --enable-longint-lib    Build a long int library
+  --enable-longlongint-lib Build a long long int library
+  --enable-extra-suffix   Add bits size suffix to executables
+  --with-libgmp           DIR Location of the GMP Distribution
+  --with-doxygen          DIR Location of the Doxygen Distribution (http://www.doxygen.org)
+You may want to specify:
+  --prefix=/usr
diff --git a/configure.in b/configure.in
index 7d45503..be9cba2 100644
--- a/configure.in
+++ b/configure.in
@@ -224,7 +224,7 @@ AC_ARG_ENABLE(extra-suffix,
 
 dnl /********************************************************************/
 dnl Check for DOXYGEN package
-AC_ARG_WITH(doxygen, [ --with-doxygen            DIR Location of the Doxygen Distribution (http://www.doxygen.org)], doxygen_package=$withval)
+AC_ARG_WITH(doxygen, [  --with-doxygen          DIR Location of the Doxygen Distribution (http://www.doxygen.org)], doxygen_package=$withval)
 
 dnl AC_MSG_CHECKING(for Doxygen program)
 AC_CHECK_PROG(DOXYGEN,doxygen,doxygen,test,[$PATH:$doxygen_package/bin:/usr/local/bin])
diff --git a/doc/INSTALL b/doc/INSTALL
index 421042b..2c77ced 100644
--- a/doc/INSTALL
+++ b/doc/INSTALL
@@ -1,6 +1,6 @@
 
-This is version 5.02 of the Polyhedral Library.
-http://icps.u-strasbg.fr/~loechner/polylib
+This is version 5.22 of the Polyhedral Library.
+http://icps.u-strasbg.fr/polylib
 
 
 REQUIREMENTS:
@@ -11,7 +11,7 @@ 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.
-You should run './configure --enable-gmpint-lib' to use gmp.
+You should run './configure --with-libgmp' to use gmp.
 
 You can also build the polylib if you don't have gmp, but it will
 fail when an overflow occurs.
@@ -48,5 +48,4 @@ Type './configure --help' to get a complete list of options supported
 by the configure script.
 
 If something fails, send me an e-report: loechner@icps.u-strasbg.fr
-
 --Vincent
-- 
2.11.4.GIT