-
Notifications
You must be signed in to change notification settings - Fork 0
/
BUCK
197 lines (193 loc) · 15 KB
/
BUCK
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
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
prebuilt_cxx_library(
name = "argparse",
header_only = True,
exported_headers = { "argparse.hpp": "./vcpkg/include/argparse/argparse.hpp"},
header_namespace = "argparse",
visibility = ["PUBLIC"]
)
prebuilt_cxx_library(
name = "gmp",
header_only = False,
exported_headers = {"gmp.h": "./vcpkg/include/gmp.h"},
header_namespace = "",
static_lib = select({
"prelude//os:linux": "./vcpkg/lib/libgmp.a",
"prelude//os:macos": "./vcpkg/lib/libgmp.a",
"prelude//os:windows": "./vcpkg/lib/libgmp.lib"}),
visibility = ["PUBLIC"]
)
prebuilt_cxx_library(
name = "gmpxx",
header_only = False,
exported_headers = {"gmpxx.h": "./vcpkg/include/gmpxx.h"},
header_namespace = "",
static_lib = select({
"prelude//os:linux": "./vcpkg/lib/libgmpxx.a",
"prelude//os:macos": "./vcpkg/lib/libgmpxx.a",
"prelude//os:windows": "./vcpkg/lib/libgmpxx.lib"}),
visibility = ["PUBLIC"]
)
prebuilt_cxx_library(
name = "rapidcheck",
header_only = False,
exported_headers = {"rapidcheck.h": "./vcpkg/include/rapidcheck.h",
"rapidcheck/gtest.h": "./vcpkg/include/rapidcheck/gtest.h",
"rapidcheck/gmock.h": "./vcpkg/include/rapidcheck/gmock.h",
"rapidcheck/Assertions.h": "./vcpkg/include/rapidcheck/Assertions.h",
"rapidcheck/Assertions.hpp": "./vcpkg/include/rapidcheck/Assertions.hpp",
"rapidcheck/detail/ExecFixture.h": "./vcpkg/include/rapidcheck/detail/ExecFixture.h",
"rapidcheck/Classify.h": "./vcpkg/include/rapidcheck/Classify.h",
"rapidcheck/Classify.hpp": "./vcpkg/include/rapidcheck/Classify.hpp",
"rapidcheck/Check.h": "./vcpkg/include/rapidcheck/Check.h",
"rapidcheck/Check.hpp": "./vcpkg/include/rapidcheck/Check.hpp",
"rapidcheck/Nothing.h": "./vcpkg/include/rapidcheck/Nothing.h",
"rapidcheck/Gen.h": "./vcpkg/include/rapidcheck/Gen.h",
"rapidcheck/Gen.hpp": "./vcpkg/include/rapidcheck/Gen.hpp",
"rapidcheck/Log.h": "./vcpkg/include/rapidcheck/Log.h",
"rapidcheck/Log.hpp": "./vcpkg/include/rapidcheck/Log.hpp",
"rapidcheck/Maybe.h": "./vcpkg/include/rapidcheck/Maybe.h",
"rapidcheck/Maybe.hpp": "./vcpkg/include/rapidcheck/Maybe.hpp",
"rapidcheck/Show.h": "./vcpkg/include/rapidcheck/Show.h",
"rapidcheck/Show.hpp": "./vcpkg/include/rapidcheck/Show.hpp",
"rapidcheck/Seq.hpp": "./vcpkg/include/rapidcheck/Seq.hpp",
"rapidcheck/GenerationFailure.h": "./vcpkg/include/rapidcheck/GenerationFailure.h",
"rapidcheck/Random.h": "./vcpkg/include/rapidcheck/Random.h",
"rapidcheck/Random.hpp": "./vcpkg/include/rapidcheck/Random.hpp",
"rapidcheck/Traits.h": "./vcpkg/include/rapidcheck/Traits.h",
"rapidcheck/Shrinkable.h": "./vcpkg/include/rapidcheck/Shrinkable.h",
"rapidcheck/Shrinkable.hpp": "./vcpkg/include/rapidcheck/Shrinkable.hpp",
"rapidcheck/shrinkable/Create.h": "./vcpkg/include/rapidcheck/shrinkable/Create.h",
"rapidcheck/shrinkable/Create.hpp": "./vcpkg/include/rapidcheck/shrinkable/Create.hpp",
"rapidcheck/Compat.h": "./vcpkg/include/rapidcheck/Compat.h",
"rapidcheck/Compat.hpp": "./vcpkg/include/rapidcheck/Compat.hpp",
"rapidcheck/fn/Common.h": "./vcpkg/include/rapidcheck/fn/Common.h",
"rapidcheck/fn/Common.hpp": "./vcpkg/include/rapidcheck/fn/Common.hpp",
"rapidcheck/seq/Create.h": "./vcpkg/include/rapidcheck/seq/Create.h",
"rapidcheck/seq/Create.hpp": "./vcpkg/include/rapidcheck/seq/Create.hpp",
"rapidcheck/seq/Transform.h": "./vcpkg/include/rapidcheck/seq/Transform.h",
"rapidcheck/seq/Transform.hpp": "./vcpkg/include/rapidcheck/seq/Transform.hpp",
"rapidcheck/gen/Create.h": "./vcpkg/include/rapidcheck/gen/Create.h",
"rapidcheck/gen/Create.hpp": "./vcpkg/include/rapidcheck/gen/Create.hpp",
"rapidcheck/gen/Exec.h": "./vcpkg/include/rapidcheck/gen/Exec.h",
"rapidcheck/gen/Exec.hpp": "./vcpkg/include/rapidcheck/gen/Exec.hpp",
"rapidcheck/gen/Maybe.h": "./vcpkg/include/rapidcheck/gen/Maybe.h",
"rapidcheck/gen/Maybe.hpp": "./vcpkg/include/rapidcheck/gen/Maybe.hpp",
"rapidcheck/gen/detail/Recipe.h": "./vcpkg/include/rapidcheck/gen/detail/Recipe.h",
"rapidcheck/gen/detail/ExecRaw.h": "./vcpkg/include/rapidcheck/gen/detail/ExecRaw.h",
"rapidcheck/gen/detail/ExecRaw.hpp": "./vcpkg/include/rapidcheck/gen/detail/ExecRaw.hpp",
"rapidcheck/gen/detail/ExecHandler.h": "./vcpkg/include/rapidcheck/gen/detail/ExecHandler.h",
"rapidcheck/gen/Numeric.h": "./vcpkg/include/rapidcheck/gen/Numeric.h",
"rapidcheck/gen/Numeric.hpp": "./vcpkg/include/rapidcheck/gen/Numeric.hpp",
"rapidcheck/gen/Predicate.h": "./vcpkg/include/rapidcheck/gen/Predicate.h",
"rapidcheck/gen/Predicate.hpp": "./vcpkg/include/rapidcheck/gen/Predicate.hpp",
"rapidcheck/gen/Text.h": "./vcpkg/include/rapidcheck/gen/Text.h",
"rapidcheck/gen/Text.hpp": "./vcpkg/include/rapidcheck/gen/Text.hpp",
"rapidcheck/shrink/Shrink.h": "./vcpkg/include/rapidcheck/shrink/Shrink.h",
"rapidcheck/shrink/Shrink.hpp": "./vcpkg/include/rapidcheck/shrink/Shrink.hpp",
"rapidcheck/gen/Select.h": "./vcpkg/include/rapidcheck/gen/Select.h",
"rapidcheck/gen/Select.hpp": "./vcpkg/include/rapidcheck/gen/Select.hpp",
"rapidcheck/detail/ApplyTuple.h": "./vcpkg/include/rapidcheck/detail/ApplyTuple.h",
"rapidcheck/detail/FunctionTraits.h": "./vcpkg/include/rapidcheck/detail/FunctionTraits.h",
"rapidcheck/detail/TypeList.h": "./vcpkg/include/rapidcheck/detail/TypeList.h",
"rapidcheck/detail/BitStream.h": "./vcpkg/include/rapidcheck/detail/BitStream.h",
"rapidcheck/detail/BitStream.hpp": "./vcpkg/include/rapidcheck/detail/BitStream.hpp",
"rapidcheck/detail/FrequencyMap.h": "./vcpkg/include/rapidcheck/detail/FrequencyMap.h",
"rapidcheck/seq/Operations.h": "./vcpkg/include/rapidcheck/seq/Operations.h",
"rapidcheck/seq/Operations.hpp": "./vcpkg/include/rapidcheck/seq/Operations.hpp",
"rapidcheck/detail/Traits.h": "./vcpkg/include/rapidcheck/detail/Traits.h",
"rapidcheck/detail/Results.h": "./vcpkg/include/rapidcheck/detail/Results.h",
"rapidcheck/detail/Results.hpp": "./vcpkg/include/rapidcheck/detail/Results.hpp",
"rapidcheck/detail/Capture.h": "./vcpkg/include/rapidcheck/detail/Capture.h",
"rapidcheck/detail/Configuration.h": "./vcpkg/include/rapidcheck/detail/Configuration.h",
"rapidcheck/detail/TestParams.h": "./vcpkg/include/rapidcheck/detail/TestParams.h",
"rapidcheck/detail/Property.h": "./vcpkg/include/rapidcheck/detail/Property.h",
"rapidcheck/detail/Property.hpp": "./vcpkg/include/rapidcheck/detail/Property.hpp",
"rapidcheck/detail/PropertyContext.h": "./vcpkg/include/rapidcheck/detail/PropertyContext.h",
"rapidcheck/detail/TestListener.h": "./vcpkg/include/rapidcheck/detail/TestListener.h",
"rapidcheck/detail/TestMetadata.h": "./vcpkg/include/rapidcheck/detail/TestMetadata.h",
"rapidcheck/detail/Variant.h": "./vcpkg/include/rapidcheck/detail/Variant.h",
"rapidcheck/detail/Variant.hpp": "./vcpkg/include/rapidcheck/detail/Variant.hpp",
"rapidcheck/detail/AlignedUnion.h": "./vcpkg/include/rapidcheck/detail/AlignedUnion.h",
"rapidcheck/shrinkable/Operations.h": "./vcpkg/include/rapidcheck/shrinkable/Operations.h",
"rapidcheck/shrinkable/Operations.hpp": "./vcpkg/include/rapidcheck/shrinkable/Operations.hpp",
"rapidcheck/shrinkable/Transform.h": "./vcpkg/include/rapidcheck/shrinkable/Transform.h",
"rapidcheck/shrinkable/Transform.hpp": "./vcpkg/include/rapidcheck/shrinkable/Transform.hpp",
"rapidcheck/seq/SeqIterator.h": "./vcpkg/include/rapidcheck/seq/SeqIterator.h",
"rapidcheck/seq/SeqIterator.hpp": "./vcpkg/include/rapidcheck/seq/SeqIterator.hpp",
"rapidcheck/detail/Any.h": "./vcpkg/include/rapidcheck/detail/Any.h",
"rapidcheck/detail/ShowType.h": "./vcpkg/include/rapidcheck/detail/ShowType.h",
"rapidcheck/detail/ShowType.hpp": "./vcpkg/include/rapidcheck/detail/ShowType.hpp",
"rapidcheck/detail/Utility.h": "./vcpkg/include/rapidcheck/detail/Utility.h",
"rapidcheck/detail/Any.hpp": "./vcpkg/include/rapidcheck/detail/Any.hpp",
"rapidcheck/detail/Platform.h": "./vcpkg/include/rapidcheck/detail/Platform.h",
"rapidcheck/detail/ImplicitParam.h": "./vcpkg/include/rapidcheck/detail/ImplicitParam.h",
"rapidcheck/detail/ImplicitParam.hpp": "./vcpkg/include/rapidcheck/detail/ImplicitParam.hpp",
"rapidcheck/detail/Serialization.h": "./vcpkg/include/rapidcheck/detail/Serialization.h",
"rapidcheck/detail/Serialization.hpp": "./vcpkg/include/rapidcheck/detail/Serialization.hpp",
"rapidcheck/gen/detail/ScaleInteger.h": "./vcpkg/include/rapidcheck/gen/detail/ScaleInteger.h",
"rapidcheck/gen/detail/GenerationHandler.h": "./vcpkg/include/rapidcheck/gen/detail/GenerationHandler.h",
"rapidcheck/gen/Arbitrary.h": "./vcpkg/include/rapidcheck/gen/Arbitrary.h",
"rapidcheck/gen/Arbitrary.hpp": "./vcpkg/include/rapidcheck/gen/Arbitrary.hpp",
"rapidcheck/gen/Build.h": "./vcpkg/include/rapidcheck/gen/Build.h",
"rapidcheck/gen/Build.hpp": "./vcpkg/include/rapidcheck/gen/Build.hpp",
"rapidcheck/gen/Chrono.h": "./vcpkg/include/rapidcheck/gen/Chrono.h",
"rapidcheck/gen/Chrono.hpp": "./vcpkg/include/rapidcheck/gen/Chrono.hpp",
"rapidcheck/gen/Container.h": "./vcpkg/include/rapidcheck/gen/Container.h",
"rapidcheck/gen/Container.hpp": "./vcpkg/include/rapidcheck/gen/Container.hpp",
"rapidcheck/gen/Tuple.h": "./vcpkg/include/rapidcheck/gen/Tuple.h",
"rapidcheck/gen/Tuple.hpp": "./vcpkg/include/rapidcheck/gen/Tuple.hpp",
"rapidcheck/gen/Transform.h": "./vcpkg/include/rapidcheck/gen/Transform.h",
"rapidcheck/gen/Transform.hpp": "./vcpkg/include/rapidcheck/gen/Transform.hpp",
"rapidcheck/detail/IntSequence.h": "./vcpkg/include/rapidcheck/detail/IntSequence.h",
"rapidcheck/gen/detail/ShrinkValueIterator.h": "./vcpkg/include/rapidcheck/gen/detail/ShrinkValueIterator.h",
"rapidcheck/gen/detail/ShrinkValueIterator.hpp": "./vcpkg/include/rapidcheck/gen/detail/ShrinkValueIterator.hpp",
"rapidcheck/Seq.h": "./vcpkg/include/rapidcheck/Seq.h"},
header_namespace = "",
static_lib = select({
"prelude//os:linux": "./vcpkg/lib/librapidcheck.a",
"prelude//os:macos": "./vcpkg/lib/librapidcheck.a",
"prelude//os:windows": "./vcpkg/lib/librapidcheck.lib"}),
visibility = ["PUBLIC"]
)
prebuilt_cxx_library(
name = "gtest",
header_only = False,
exported_headers = {"gtest.h": "./vcpkg/include/gtest/gtest.h",
"gtest-message.h": "./vcpkg/include/gtest/gtest-message.h",
"gtest-matchers.h": "./vcpkg/include/gtest/gtest-matchers.h",
"gtest-death-test.h": "./vcpkg/include/gtest/gtest-death-test.h",
"gtest-printers.h": "./vcpkg/include/gtest/gtest-printers.h",
"gtest-param-test.h": "./vcpkg/include/gtest/gtest-param-test.h",
"gtest-test-part.h": "./vcpkg/include/gtest/gtest-test-part.h",
"gtest-typed-test.h": "./vcpkg/include/gtest/gtest-typed-test.h",
"gtest_pred_impl.h": "./vcpkg/include/gtest/gtest_pred_impl.h",
"gtest_prod.h": "./vcpkg/include/gtest/gtest_prod.h",
"internal/gtest-internal.h": "./vcpkg/include/gtest/internal/gtest-internal.h",
"internal/gtest-filepath.h": "./vcpkg/include/gtest/internal/gtest-filepath.h",
"internal/gtest-type-util.h": "./vcpkg/include/gtest/internal/gtest-type-util.h",
"internal/gtest-string.h": "./vcpkg/include/gtest/internal/gtest-string.h",
"internal/gtest-param-util.h": "./vcpkg/include/gtest/internal/gtest-param-util.h",
"internal/gtest-death-test-internal.h": "./vcpkg/include/gtest/internal/gtest-death-test-internal.h",
"internal/gtest-port.h": "./vcpkg/include/gtest/internal/gtest-port.h",
"internal/custom/gtest-port.h": "./vcpkg/include/gtest/internal/custom/gtest-port.h",
"internal/custom/gtest-printers.h": "./vcpkg/include/gtest/internal/custom/gtest-printers.h",
"internal/gtest-port-arch.h": "./vcpkg/include/gtest/internal/gtest-port-arch.h",
"gtest-assertion-result.h": "./vcpkg/include/gtest/gtest-assertion-result.h"},
header_namespace = "gtest",
static_lib = select({
"prelude//os:linux": "./vcpkg/lib/libgtest.a",
"prelude//os:macos": "./vcpkg/lib/libgtest.a",
"prelude//os:windows": "./vcpkg/lib/libgtest.lib"}),
visibility = ["PUBLIC"]
)
prebuilt_cxx_library(
name = "gtest-main",
header_only = False,
exported_headers = {},
header_namespace = "gtest",
static_lib = select({
"prelude//os:linux": "./vcpkg/lib/manual-link/libgtest_main.a",
"prelude//os:macos": "./vcpkg/lib/manual-link/libgtest_main.a",
"prelude//os:windows": "./vcpkg/lib/manual-link/libgtest_main.lib"}),
visibility = ["PUBLIC"]
)