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"]),
)