diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2016-11-19 15:24:51 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2016-11-19 15:24:51 +0000 |
commit | 78c467a091013bd025d3f48fd487215593003990 (patch) | |
tree | 15c2a186ec24d6fcdfd4f220e676024b5e8306c8 /configure.local.example | |
parent | 4c8c262182c29683c323acb1c11680220b2921e3 (diff) | |
download | mandoc-78c467a091013bd025d3f48fd487215593003990.tar.gz |
Do not install libmandoc.a by default.
The only environment where it is ever needed is NetBSD base.
Even NetBSD ports and pkgsrc should better not install it.
Triggered by a question from bentley@.
Diffstat (limited to 'configure.local.example')
-rw-r--r-- | configure.local.example | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/configure.local.example b/configure.local.example index b2549913..6b6bff14 100644 --- a/configure.local.example +++ b/configure.local.example @@ -83,8 +83,6 @@ OSNAME="OpenBSD 6.0" PREFIX="/usr/local" BINDIR="${PREFIX}/bin" SBINDIR="${PREFIX}/sbin" -INCLUDEDIR="${PREFIX}/include/mandoc" -LIBDIR="${PREFIX}/lib/mandoc" MANDIR="${PREFIX}/man" # Some distributions may want to avoid naming conflicts @@ -172,6 +170,21 @@ INSTALL_DATA="${INSTALL} -m 0444" PREFIX="/usr/local" HOMEBREWDIR="${PREFIX}/Cellar" +# --- user settings for the mandoc(3) library -------------------------- + +# By default, libmandoc.a is not installed. It is almost never needed +# because there is almost no non-mandoc software out there using this +# library. The one notable exception is NetBSD apropos(1). +# So, when building for the NetBSD base system - but not for NetBSD +# ports nor for pkgsrc! - you may want the following: + +INSTALL_LIBMANDOC=1 + +# The following settings are only used when INSTALL_LIBMANDOC is set. + +INCLUDEDIR="${PREFIX}/include/mandoc" +LIBDIR="${PREFIX}/lib/mandoc" + # --- user settings related to man.cgi --------------------------------- # By default, building man.cgi(8) is disabled. To enable it, copy |