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 | 540553f2ebcd01c137e9a352cc35cdd716b8ef34 (patch) | |
| tree | 25c4365de293ffdb9d681ec0be54af0cfe343771 | |
| parent | b561a565c1013b4913bdec6bd95d2715122b98cc (diff) | |
| download | txr-540553f2ebcd01c137e9a352cc35cdd716b8ef34.tar.gz txr-540553f2ebcd01c137e9a352cc35cdd716b8ef34.tar.bz2 txr-540553f2ebcd01c137e9a352cc35cdd716b8ef34.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".
| -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/. |