|
Packit |
58578d |
# Copyright 2005 Rene Rivera
|
|
Packit |
58578d |
# Copyright 2005 Hartmut Kaiser
|
|
Packit |
58578d |
# Copyright 2005 John Maddock
|
|
Packit |
58578d |
# Copyright 2003 Vladimir Prus
|
|
Packit |
58578d |
# Distributed under the Boost Software License, Version 1.0.
|
|
Packit |
58578d |
# (See accompanying file LICENSE_1_0.txt or http://www.boost.org/LICENSE_1_0.txt)
|
|
Packit |
58578d |
|
|
Packit |
58578d |
|
|
Packit |
58578d |
# Jamfile which builds all the tools.
|
|
Packit |
58578d |
|
|
Packit |
58578d |
project
|
|
Packit |
58578d |
:
|
|
Packit |
58578d |
requirements
|
|
Packit |
58578d |
<link>static
|
|
Packit |
58578d |
<implicit-dependency>/boost//headers
|
|
Packit |
58578d |
:
|
|
Packit |
58578d |
usage-requirements <implicit-dependency>/boost//headers
|
|
Packit |
58578d |
;
|
|
Packit |
58578d |
|
|
Packit |
58578d |
TOOLS =
|
|
Packit |
58578d |
bcp//bcp
|
|
Packit |
58578d |
inspect/build//inspect
|
|
Packit |
58578d |
quickbook//quickbook
|
|
Packit |
58578d |
/boost/libs/wave/tool//wave
|
|
Packit |
58578d |
;
|
|
Packit |
58578d |
|
|
Packit |
58578d |
install dist-bin
|
|
Packit |
58578d |
:
|
|
Packit |
58578d |
$(TOOLS)
|
|
Packit |
58578d |
:
|
|
Packit |
58578d |
<install-type>EXE
|
|
Packit |
58578d |
<location>../dist/bin
|
|
Packit |
58578d |
:
|
|
Packit |
58578d |
release
|
|
Packit |
58578d |
;
|
|
Packit |
58578d |
|
|
Packit |
58578d |
install dist-lib
|
|
Packit |
58578d |
:
|
|
Packit |
58578d |
$(TOOLS)
|
|
Packit |
58578d |
:
|
|
Packit |
58578d |
<install-type>LIB
|
|
Packit |
58578d |
<location>../dist/lib
|
|
Packit |
58578d |
:
|
|
Packit |
58578d |
release
|
|
Packit |
58578d |
;
|
|
Packit |
58578d |
|
|
Packit |
58578d |
local patterns = *.dtd *.xml *.xsl LICENSE ;
|
|
Packit |
58578d |
local dirs = boostbook/dtd boostbook/xsl ;
|
|
Packit |
58578d |
install dist-share-boostbook
|
|
Packit |
58578d |
:
|
|
Packit |
58578d |
[ glob $(dirs)/$(patterns) $(dirs)/*/$(patterns) $(dirs)/*/*/$(patterns) ]
|
|
Packit |
58578d |
:
|
|
Packit |
58578d |
<location>../dist/share
|
|
Packit |
58578d |
<install-source-root>.
|
|
Packit |
58578d |
;
|