diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2011-10-16 03:06:31 -0400 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2011-10-16 03:07:44 -0400 |
| commit | 477eb2cd965f8f7151cc21e04fe60dd09d703585 (patch) | |
| tree | bd556338ad8d12f995bd942b0050de9764a3fc28 /configure | |
| parent | aa0a4e58de57d26c6a4895ae2d167fd72e967768 (diff) | |
| download | txr-477eb2cd965f8f7151cc21e04fe60dd09d703585.tar.gz txr-477eb2cd965f8f7151cc21e04fe60dd09d703585.tar.bz2 txr-477eb2cd965f8f7151cc21e04fe60dd09d703585.zip | |
* configure: reduced post-configure advice to just point
to the INSTALL guide.
* INSTALL: New file.
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 15 |
1 files changed, 6 insertions, 9 deletions
@@ -868,19 +868,16 @@ Configured on $(date) using cat <<! The configuration seems to have been successful. That doesn't mean it's -correct. Please check the above output for any problems, and verify that the +correct! Please check the above output for any problems, and verify that the contents of the generated files config.make and config.h are sane for the target platform. -The next step is one of these two. +The next step is to build the program with make. -Method 1: if you have permissions to the installation directories: - make install +If that is successful, please follow the INSTALL guide. -Method 2: if you have to or want to be another user such as root to install: - make - su <userid> - (give password, if asked) - make install +Usually, most users just need to "make tests" and "make install", +possibly switching to superuser for "make install" if the prefix +points to a privileged location like /usr/local/. ! |