2
0
mirror of https://github.com/boostorg/build.git synced 2026-02-11 11:42:14 +00:00

Minor mod to find the docbook installation in Ubuntu Linux.

[SVN r32863]
This commit is contained in:
Rene Rivera
2006-02-12 19:51:51 +00:00
parent 049d9fd079
commit 0c77723f50

View File

@@ -12,6 +12,7 @@ local docbook_dtd-path = [ modules.peek : DOCBOOK_DTD_DIR ] ;
local boostbook-path = [ modules.peek : BOOSTBOOK_DIR ] ;
if [ os.name ] = NT
{
# If installed by the Boost installer.
local boost-dir = ;
for local R in snapshot cvs 1.33.0
{
@@ -19,24 +20,30 @@ if [ os.name ] = NT
"HKEY_LOCAL_MACHINE\\SOFTWARE\\Boost.org\\$(R)"
: "InstallRoot" ] ;
}
# Plausible locations.
docbook_xsl-path ?= [ GLOB "$(boost-dir)\\share" "\\Boost\\share" : docbook-xsl* ] ;
docbook_xsl-path = $(docbook_xsl-path[1]) ;
docbook_dtd-path ?= [ GLOB "$(boost-dir)\\share" "\\Boost\\share" : docbook-xml* ] ;
docbook_dtd-path = $(docbook_dtd-path[1]) ;
boostbook-path ?= [ GLOB "$(boost-dir)\\share" "\\Boost\\share" : boostbook* ] ;
docbook_xsl-path = $(docbook_xsl-path[1]) ;
docbook_dtd-path = $(docbook_dtd-path[1]) ;
boostbook-path = $(boostbook-path[1]) ;
}
else
{
# Plausible locations.
docbook_xsl-path ?= [ GLOB "/usr/local/share" "/usr/share" "/opt/share" : docbook-xsl* ] ;
docbook_xsl-path = $(docbook_xsl-path[1]) ;
docbook_dtd-path ?= [ GLOB "/usr/local/share" "/usr/share" "/opt/share" : docbook-xml* ] ;
docbook_dtd-path = $(docbook_dtd-path[1]) ;
boostbook-path ?= [ GLOB "/usr/local/share" "/usr/share" "/opt/share" : boostbook* ] ;
boostbook-path = $(boostbook-path[1]) ;
# Ubuntu Linux
docbook_xsl-path ?= [ GLOB "/usr/share/xml/docbook/stylesheet" : nwalsh ] ;
docbook_dtd-path ?= [ GLOB "/usr/share/xml/docbook/dtd" : 4.3 4.2 ] ;
docbook_xsl-path = $(docbook_xsl-path[1]) ;
docbook_dtd-path = $(docbook_dtd-path[1]) ;
boostbook-path = $(boostbook-path[1]) ;
}
if $(docbook_xsl-path) && $(docbook_dtd-path) && $(boostbook-path)
if $(docbook_xsl-path) && $(docbook_dtd-path)
{
if --debug-configuration in [ modules.peek : ARGV ]
{