1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
# Copyright (C) 2008-2018 Lorenzo Caminiti
# Distributed under the Boost Software License, Version 1.0 (see accompanying
# file LICENSE_1_0.txt or a copy at http://www.boost.org/LICENSE_1_0.txt).
# See: http://www.boost.org/doc/libs/release/libs/contract/doc/html/index.html
# Usage: bjam [OPTION]... DIR[-CPP_FILE_NAME]
# Build and run Boost.Contract tests and examples.
#
# Options (common to BJam):
# toolset=msvc,gcc,clang,... specify compiler
# cxxstd=03,11,14,17,... specify C++ standard version
# most tests and example use C++11 features
# (lambda, variadic macros, etc.), delete
# "bin.v2/project-cache.jam" to clear previous
# feature checks
# link=shared,static build Boost.Contract as shared (default) or static
# library, this has no effect if `bc_hdr=only`
# Options (specific to this lib):
# bc_hdr=lib,only if `only` then do not build Boost.Contract as library
# and use it as header-only instead (`lib` by default)
# bc_no=all_yes,
# y,r,x,s,e,k,yr,yx,ys,ye,yk,rx,rs,re,rk,xs,xe,xk,se,sk,ek,yrx,yrs,yre,yrk,yxs,yxe,yxk,yse,ysk,yek,rxs,rxe,rxk,rse,rsk,rek,xse,xsk,xek,sek,yrxs,yrxe,yrxk,yrse,yrsk,yrek,yxse,yxsk,yxek,ysek,rxse,rxsk,rxek,rsek,xsek,yrxse,yrxsk,yrxek,yrsek,yxsek,rxsek,yrxsek
# `all_yes` (default) turns off no contract, following
# turn off specific contracts and can be combined wit each
# other (only in the listed order) to disable multiple
# contracts at once:
# y entry invariant
# r preconditions
# x exit invariant
# s postconditions
# e exception guarantees
# k implementation checks
#
# Examples (on Linux-based bash):
# Build just "test/public_function/smoke.cpp" and "example/introduction.cpp":
# [test]$ bjam cxxstd=11 public_function-smoke
# [example]$ bjam cxxstd=11 features-introduction
# Build all tests with all linkages (incl header-only) on multiple compilers:
# [test]$ bjam cxxstd=11 -q toolset=msvc,gcc,clang link=static,header
# [test]$ bjam cxxstd=11 -q toolset=msvc,gcc,clang bc_hdr=only
# Build all tests with no postconditions and exception guarantees first, and
# then again with no class invariants at exit:
# [test]$ time bjam cxxstd=11 -q bc_no=se,x
# Build most all test combinations (for shared and static lib, use bc_hdr=only
# instead of link=... for header-only combinations) but takes forever...:
# [test]$ rm -f ../../../bin.v2/project-cache.jam ; bjam cxxstd=11 -q toolset=msvc,gcc,clang link=shared,static bc_no=all_yes,y,r,x,s,e,k,yr,yx,ys,ye,yk,rx,rs,re,rk,xs,xe,xk,se,sk,ek,yrx,yrs,yre,yrk,yxs,yxe,yxk,yse,ysk,yek,rxs,rxe,rxk,rse,rsk,rek,xse,xsk,xek,sek,yrxs,yrxe,yrxk,yrse,yrsk,yrek,yxse,yxsk,yxek,ysek,rxse,rxsk,rxek,rsek,xsek,yrxse,yrxsk,yrxek,yrsek,yxsek,rxsek,yrxsek > 00.out ; echo $?
import boost_contract_no ;
import feature ;
import testing ;
import ../../config/checks/config : requires ;
# Iff "no", link to boost_contract (else, no lib build so don't link to it).
feature.feature bc_hdr : lib only :
composite propagated link-incompatible ;
# This is boost_contract_no=all_yes,pre,pre_post,...
feature.feature bc_no : all_yes [ boost_contract_no.combinations ] :
composite propagated link-incompatible ;
for local comb in [ boost_contract_no.combinations ] {
feature.compose <bc_no>$(comb) :
[ boost_contract_no.defs_$(comb) ] ;
}
module boost_contract_build {
rule project_requirements ( subdir ) {
return
<bc_hdr>lib:<library>../build//boost_contract
<include>$(subdir)
;
}
# Most tests and examples require lambdas (even if lib technically does not).
# Also C++11 variadic macros are usually required (for OLDOF, BASES, etc.) but
# Boost.Config check for variadic macros is less stringent than Boost.PP's
# chec (so Boost.PP check done also in code directly when strictly needed).
cxx11_requirements = [ requires cxx11_lambdas cxx11_variadic_macros ] ;
rule subdir-compile-fail ( subdir : cpp_fname cpp_files * : requirements * ) {
compile-fail $(subdir)/$(cpp_fname).cpp $(cpp_files)
: [ project_requirements $(subdir) ] $(requirements)
: $(subdir)-$(cpp_fname)
;
}
rule subdir-run ( subdir : cpp_fname cpp_files * : requirements * ) {
run $(subdir)/$(cpp_fname).cpp $(cpp_files) : : : [ project_requirements
$(subdir) ] $(requirements) : $(subdir)-$(cpp_fname) ;
}
rule subdir-lib ( subdir : cpp_fname cpp_files * : requirements * ) {
lib $(subdir)-$(cpp_fname) : $(subdir)/$(cpp_fname).cpp $(cpp_files) :
[ project_requirements $(subdir) ] $(requirements) ;
}
rule subdir-compile-fail-cxx11 ( subdir : cpp_fname cpp_files * :
requirements * ) {
subdir-compile-fail $(subdir) : $(cpp_fname) $(cpp_files) :
$(cxx11_requirements) $(requirements) ;
}
rule subdir-run-cxx11 ( subdir : cpp_fname cpp_files * : requirements * ) {
subdir-run $(subdir) : $(cpp_fname) $(cpp_files) : $(cxx11_requirements)
$(requirements) ;
}
rule subdir-lib-cxx11 ( subdir : cpp_fname cpp_files * : requirements * ) {
subdir-lib $(subdir) : $(cpp_fname) $(cpp_files) : $(cxx11_requirements)
$(requirements) ;
}
} # module
|
