66 lines
1.9 KiB
Plaintext
66 lines
1.9 KiB
Plaintext
|
|
cc_library(
|
|
name = "headers",
|
|
includes = ["include"],
|
|
visibility = ["//visibility:private"],
|
|
copts = ["-DRC_DONT_USE_RTTI"],
|
|
hdrs = glob([
|
|
"include/**/*.hpp",
|
|
"include/**/*.h",
|
|
]),
|
|
)
|
|
|
|
cc_library(
|
|
name = "random",
|
|
deps = [":headers"],
|
|
visibility = ["//visibility:private"],
|
|
copts = ["-DRC_DONT_USE_RTTI", "-O3"],
|
|
srcs = [
|
|
"src/Random.cpp",
|
|
],
|
|
)
|
|
|
|
|
|
cc_library(
|
|
name = "rapidcheck",
|
|
visibility = ["//visibility:public"],
|
|
deps = [":headers", ":random"],
|
|
copts = ["-DRC_DONT_USE_RTTI"],
|
|
includes = ["include"],
|
|
srcs = [
|
|
"src/BeforeMinimalTestCase.cpp",
|
|
"src/Check.cpp",
|
|
"src/Classify.cpp",
|
|
"src/GenerationFailure.cpp",
|
|
"src/Log.cpp",
|
|
"src/Show.cpp",
|
|
"src/detail/Any.cpp",
|
|
"src/detail/Assertions.cpp",
|
|
"src/detail/Base64.cpp",
|
|
"src/detail/Configuration.cpp",
|
|
"src/detail/DefaultTestListener.cpp",
|
|
"src/detail/FrequencyMap.cpp",
|
|
"src/detail/ImplicitParam.cpp",
|
|
"src/detail/LogTestListener.cpp",
|
|
"src/detail/MapParser.cpp",
|
|
"src/detail/MulticastTestListener.cpp",
|
|
"src/detail/ParseException.cpp",
|
|
"src/detail/Platform.cpp",
|
|
"src/detail/Property.cpp",
|
|
"src/detail/PropertyContext.cpp",
|
|
"src/detail/ReproduceListener.cpp",
|
|
"src/detail/Results.cpp",
|
|
"src/detail/Serialization.cpp",
|
|
"src/detail/StringSerialization.cpp",
|
|
"src/detail/TestMetadata.cpp",
|
|
"src/detail/TestParams.cpp",
|
|
"src/detail/Testing.cpp",
|
|
"src/gen/Numeric.cpp",
|
|
"src/gen/Text.cpp",
|
|
"src/gen/detail/ExecHandler.cpp",
|
|
"src/gen/detail/GenerationHandler.cpp",
|
|
"src/gen/detail/Recipe.cpp",
|
|
"src/gen/detail/ScaleInteger.cpp",
|
|
] + glob(["src/detail/*.h"]),
|
|
)
|