From d776ebf0d043340832bbb94ec0f82140f5255970 Mon Sep 17 00:00:00 2001 From: Ingo Schwarze Date: Sat, 19 Nov 2016 15:24:51 +0000 Subject: 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@. --- configure.local.example | 19 ++++++++++++++++--- 1 file changed, 16 insertions(+), 3 deletions(-) (limited to 'configure.local.example') 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 # @@ -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 -- cgit v1.2.3-56-ge451