Index: ChangeLog

from  Benoît Perrot  <benoit@lrde.epita.fr>

	* INSTALL: Explain --with-readline-{includes,library} usage.
	Suggested by Marco Tessari.

ChangeLog

+2004-07-14  Benot Perrot  <benoit@lrde.epita.fr>
+
+	* INSTALL: Explain --with-readline-{includes,library} usage.
+	Suggested by Marco Tessari.
+
 2004-07-12  Akim Demaille  <akim@epita.fr>
 
 	* configure.ac: Bump to 0.7a.

INSTALL

@@ -10,7 +10,8 @@ The following tools must be available on the system to build Nolimips:
 	* GNU make 
 
 The interactive shell is more ergonomic when libreadline is installed
-on the system, but it is not mandatory to build Nolimips.
+on the system, but it is not mandatory to build Nolimips:
+	* libreadline
 
 Extra development tools are needed to build a copy from Nolimips' repository:
 
@@ -36,11 +37,24 @@ Building the tarball
 --------------------
 
 The following command will check your system configuration and prepare
-Nolimips for an installation in /usr/local. To specify another directory,
-use the --prefix option of configure (see ./configure --help):
+Nolimips for an installation in `/usr/local'. To specify another directory,
+use the `--prefix' option of configure (see ./configure --help):
 
 	$ ./configure
 
+By default, the configure script assumes that Nolimips must be built
+with readline. If the readline library or its include files cannot be
+found in standard path, the script will complain (but not fail, as if
+`--without-readline' was used). To precise the path to them, use the
+options `--with-readline-includes' and `--with-readline-library':
+
+	$ ./configure --with-readline-includes=/path/to/readline-includes \
+	              --with-readline-library=/path/to/readline-library
+
+With `/path/to/readline-includes' containing a subdirectory named
+`readline/' containing the file `readline.h', and `/path/to/readline-library' 
+containing the library `libreadline-XXX.a'.
+
 Then build Nolimips:
 
 	$ make && make check