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 | d776ebf0d043340832bbb94ec0f82140f5255970 (patch) | |
tree | 83f16477d46dd0ca360565038ceb746a5c248384 /configure.local.example | |
parent | 66286e275f33f71863b63d2ba531fa83643e4a42 (diff) | |
download | mandoc-d776ebf0d043340832bbb94ec0f82140f5255970.tar.gz mandoc-d776ebf0d043340832bbb94ec0f82140f5255970.tar.zst mandoc-d776ebf0d043340832bbb94ec0f82140f5255970.zip |
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 | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/configure.local.example b/configure.local.example index df4f13c4..d5799a5a 100644 --- a/configure.local.example +++ b/configure.local.example @@ -1,4 +1,4 @@ -# $Id: configure.local.example,v 1.21 2016/10/18 16:06:44 schwarze Exp $ +# $Id: configure.local.example,v 1.22 2016/11/19 15:24:51 schwarze Exp $ # # Copyright (c) 2014, 2015, 2016 Ingo Schwarze <schwarze@openbsd.org> # @@ -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 |