From 7a16f8b295e222e184b836d7f20fd2eb73413ae7 Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Wed, 6 Sep 2017 14:18:02 -0400 Subject: [PATCH] Add information for invoking `make' * README.md (Building): Add section. * configure.ac: Output message after configuration instructing the user to invoke `make'. --- README.md | 11 +++++++++++ configure.ac | 3 +++ 2 files changed, 14 insertions(+) diff --git a/README.md b/README.md index 4d48fb6..8a715d9 100644 --- a/README.md +++ b/README.md @@ -33,6 +33,17 @@ repository; you may generate the script by issuing the following command: You may then see `./configure --help` for more information. +## Building +If `configure` is not available, see the section "Configuring" above. + + +``` + $ ./configure # see --help for optional arguments + $ make # build + $ make check # run test cases +``` + + ## Documentation Compiled documentation for the latest release is available via our GitLab mirror, which uses the same build pipeline as we do on our internal GitLab diff --git a/configure.ac b/configure.ac index ea178f1..a382f2b 100644 --- a/configure.ac +++ b/configure.ac @@ -83,3 +83,6 @@ AC_CONFIG_FILES([bin/server], [chmod +x bin/server]) AC_OUTPUT + +AC_MSG_NOTICE([You may now invoke \`make' to build.]) +