diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2023-10-15 23:16:34 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2023-10-15 23:16:34 -0700 |
| commit | 9159f2fbbd4d57df6d13717acbc758a97cd97c41 (patch) | |
| tree | 25c4365de293ffdb9d681ec0be54af0cfe343771 /configure | |
| parent | 2b11e83fe2c5bee913fdd9a9fc932412f370bba8 (diff) | |
| download | txr-9159f2fbbd4d57df6d13717acbc758a97cd97c41.tar.gz txr-9159f2fbbd4d57df6d13717acbc758a97cd97c41.tar.bz2 txr-9159f2fbbd4d57df6d13717acbc758a97cd97c41.zip | |
build: revise build instructions in configure script
* configure: make it clear that the user must run "make"
or "make all" before "make tests" and "make install".
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -4245,11 +4245,12 @@ 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 to build the program with $make. +For details, see the INSTALL guide. -If that is successful, please follow the INSTALL guide. +The next step is to build the software by running "$make all". +The "all" target is the default one, thus it can be omitted. -Usually, most users just need to "$make tests" and "$make install", +If that works, 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/. |