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
|
# Copyright 2021 Code Intelligence GmbH
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
def _add_cxxopt_std_17_impl(settings, attr):
STD_CXX_17_CXXOPTS = ["/std:c++17" if attr.is_windows else "-std=c++17"]
return {
"//command_line_option:cxxopt": settings["//command_line_option:cxxopt"] + STD_CXX_17_CXXOPTS,
}
_add_cxxopt_std_17 = transition(
implementation = _add_cxxopt_std_17_impl,
inputs = [
"//command_line_option:cxxopt",
],
outputs = [
"//command_line_option:cxxopt",
],
)
def _cc_17_library_impl(ctx):
library = ctx.attr.library[0]
return [
# Workaround for https://github.com/bazelbuild/bazel/issues/9442.
DefaultInfo(
data_runfiles = library[DefaultInfo].data_runfiles,
default_runfiles = library[DefaultInfo].default_runfiles,
files = library[DefaultInfo].files,
),
library[CcInfo],
]
_cc_17_library = rule(
implementation = _cc_17_library_impl,
attrs = {
"is_windows": attr.bool(),
"library": attr.label(
cfg = _add_cxxopt_std_17,
mandatory = True,
providers = [CcInfo],
),
"_allowlist_function_transition": attr.label(
default = "@bazel_tools//tools/allowlists/function_transition_allowlist",
),
},
provides = [CcInfo],
)
# A cc_library that is built with -std=c++17, including all its transitive
# dependencies. This is redundant while developing Jazzer itself as the .bazelrc
# sets this flag for all build commands, but is needed when Jazzer is included
# as an external workspace.
def cc_17_library(name, visibility = None, **kwargs):
library_name = name + "_original_do_not_use_"
kwargs.setdefault("tags", []).append("manual")
native.cc_library(
name = library_name,
visibility = ["//visibility:private"],
**kwargs
)
_cc_17_library(
name = name,
is_windows = select({
"@platforms//os:windows": True,
"//conditions:default": False,
}),
library = library_name,
visibility = visibility,
)
|
