settings.gradle.kts

val noDemo: String? by settings
val noVerify: String? by settings
val noSpike: String? by settings

fun isEnabled(profile: String?): Boolean {
    val result = profile.toBoolean() || profile == ""
    return result
}

include(":prover-commons")
project(":prover-commons").projectDir = file("prover-commons/module")
include(":prover-commons:core")
include(":prover-commons:meta2")
//include(":prover-commons:spark")

include(
    // should be skipped on CI, contains local experiments only
    ":macro2",
    // uses unstable & experimental scala features, should be modified very slowly & carefully
    ":core",
//    // uses common scala features
)

if (!isEnabled(noDemo)) {
    include(
        "shapesafe-demo"
    )
}

if (!isEnabled(noVerify)) {

    include(
        ":verify",
        ":verify:breeze",
        ":verify:djl"
    )
}

if (!isEnabled(noSpike)) {

    include(
        "spike"
    )
}

pluginManagement.repositories {
    gradlePluginPortal()
    mavenCentral()
    // maven("https://dl.bintray.com/kotlin/kotlin-dev")
}