diff -r a683f63b54e2 -r 582c8c28aa01 INSTALL
--- a/INSTALL	Fri Jul 14 10:50:05 2006 +0000
+++ b/INSTALL	Fri Jul 14 10:51:14 2006 +0000
@@ -40,65 +40,78 @@
 Configure Flags
 ===============
 
-   You can pass the following flags to configure in step 1 (see ./configure
---help for more):
+   You can pass the following flags to configure in step 1
+(see ./configure --help for more):
 
-   --with-glpk[=PREFIX]
+CXX=comp
 
-   Enable GLPK support (default). You should specify the prefix too if you
-installed GLPK to some non-standard location (e.g. your home directory). If it
-is not found, GLPK support will be disabled.
+  Change the C++ compiler to 'comp'.
 
-   --with-glpk-includedir=DIR
+CXXFLAGS='flags'
 
-   The directory where the GLPK header files are located. This is only useful
-when the GLPK headers and libraries are not under the same prefix (which is
-unlikely).
+  Pass the 'flags' to the compiler. For example
+  CXXFLAGS='-O3 -march=pentium-m'
+  turns  on generation of aggressively optimized
+  Pentium-M specific code.
 
-   --with-glpk-libdir=DIR
+--enable-demo
 
-   The directory where the GLPK libraries are located. This is only useful
-when the GLPK headers and libraries are not under the same prefix (which is
-unlikely).
+   Build the demo programs too.
 
-   --without-glpk
+--disable-demo
+
+   Do not build the demo programs (default).
+
+--enable-benchmark
+
+   Build the benchmark programs too.
+
+--disable-benchmark
+
+   Do not build the benchmark programs (default).
+
+--with-glpk[=PREFIX]
+
+   Enable GLPK support (default). You should specify the prefix too if
+   you installed GLPK to some non-standard location (e.g. your home
+   directory). If it is not found, GLPK support will be disabled.
+
+--with-glpk-includedir=DIR
+
+   The directory where the GLPK header files are located. This is only
+   useful when the GLPK headers and libraries are not under the same
+   prefix (which is unlikely).
+
+--with-glpk-libdir=DIR
+
+   The directory where the GLPK libraries are located. This is only
+   useful when the GLPK headers and libraries are not under the same
+   prefix (which is unlikely).
+
+--without-glpk
 
    Disable GLPK support.
 
-   --with-cplex[=PREFIX]
+--with-cplex[=PREFIX]
 
-   Enable CPLEX support (default). You should specify the prefix too if you
-installed CPLEX to some non-standard location (e.g. /opt/ilog/cplex75). If it
-is not found, CPLEX support will be disabled.
+   Enable CPLEX support (default). You should specify the prefix too
+   if you installed CPLEX to some non-standard location
+   (e.g. /opt/ilog/cplex75). If it is not found, CPLEX support will be
+   disabled.
 
-   --with-cplex-includedir=DIR
+--with-cplex-includedir=DIR
 
-   The directory where the CPLEX header files are located. This is only useful
-when the CPLEX headers and libraries are not under the same prefix (e.g.
-/usr/local/cplex/cplex75/include).
+   The directory where the CPLEX header files are located. This is
+   only useful when the CPLEX headers and libraries are not under the
+   same prefix (e.g.  /usr/local/cplex/cplex75/include).
 
-   --with-cplex-libdir=DIR
+--with-cplex-libdir=DIR
 
-   The directory where the CPLEX libraries are located. This is only useful
-when the CPLEX headers and libraries are not under the same prefix (e.g.
-/usr/local/cplex/cplex75/lib/i86_linux2_glibc2.2_gcc3.0/static_pic_mt).
+   The directory where the CPLEX libraries are located. This is only
+   useful when the CPLEX headers and libraries are not under the same
+   prefix (e.g.
+   /usr/local/cplex/cplex75/lib/i86_linux2_glibc2.2_gcc3.0/static_pic_mt).
 
-   --without-cplex
+--without-cplex
 
    Disable CPLEX support.
-
-   --enable-demo
-
-   Build the demo programs too.
-
-   --disable-demo
-
-   Do not build the demo programs (default).
-
-   --enable-benchmark
-
-   Build the benchmark programs too.
-
-   --disable-benchmark
-
-   Do not build the benchmark programs (default).