[Projects] [nolimips: 110] Explain --with-readline-{includes, library} usage.

Index: ChangeLog from Benoît Perrot <benoit(a)lrde.epita.fr> * INSTALL: Explain --with-readline-{includes,library} usage. Suggested by Marco Tessari. Index: INSTALL --- INSTALL (revision 109) +++ INSTALL (working copy) @@ -10,7 +10,8 @@ * 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 @@ -------------------- 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