Read-only mirrors. Development, issues and pull requests are on GitHub.

summaryrefslogtreecommitdiffhomepage
path: root/src/Progmasoft/BUILD.bazel
blob: b053c2776e46d0635f68822d563abb621abfdfaf (plain)
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
# Copyright (c) 2026 Progmasoft.
# SPDX-License-Identifier: MPL-2.0 WITH AdditionRef-Progmasoft-Exception-1.1
load("@rules_cc//cc:defs.bzl", "cc_library")

package(default_visibility = ["//visibility:public"])

cc_library(
    name = "catch3",
    srcs = [
        "ChoiceShrinker.cpp",
        "Context.cpp",
        "PropertyEngine.cpp",
        "Results.cpp",
        "Snapshot.cpp",
        "XmlWriter.cpp",
    ],
    hdrs = [
        "Catch3.hpp",
        "Catch3/Assertions.hpp",
        "Catch3/Detail/InvalidArgument.hpp",
        "Catch3/Detail/Sequence.hpp",
        "Catch3/ForAll.hpp",
        "Catch3/Generator.hpp",
        "Catch3/Generators/Boolean.hpp",
        "Catch3/Generators/Element.hpp",
        "Catch3/Generators/Integer.hpp",
        "Catch3/Generators/Text.hpp",
        "Catch3/Generators/Tuple.hpp",
        "Catch3/Generators/Vector.hpp",
        "Catch3/Property.hpp",
        "Catch3/Random.hpp",
        "Catch3/Relations.hpp",
        "Catch3/Results.hpp",
        "Catch3/Snapshot.hpp",
        "Catch3/Stateful.hpp",
        "Catch3/Strategy/ChoiceSource.hpp",
        "Catch3/Strategy/Containers.hpp",
        "Catch3/Strategy/Context.hpp",
        "Catch3/Strategy/Engine.hpp",
        "Catch3/Strategy/Numeric.hpp",
        "Catch3/Strategy/Strategy.hpp",
        "Catch3/XmlWriter.hpp",
    ],
    copts = select({
        "@platforms//os:windows": ["/std:c++20"],
        "//conditions:default": ["-std=c++20"],
    }),
    strip_include_prefix = "/src",
    deps = ["//:catch2"],
)