-
Notifications
You must be signed in to change notification settings - Fork 0
/
build.gradle.kts
81 lines (69 loc) · 2.45 KB
/
build.gradle.kts
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
import java.nio.file.Files
import java.nio.file.Path
plugins {
java
kotlin("jvm") version "1.9.21"
application
id("io.gitlab.arturbosch.detekt") version "1.23.4"
}
group = "sschr15"
version = "1.0-SNAPSHOT"
application {
mainClass.set("sschr15.aocsolutions.MainKt")
}
java {
targetCompatibility = JavaVersion.VERSION_21
sourceCompatibility = JavaVersion.VERSION_21
}
repositories {
mavenCentral()
}
detekt {
buildUponDefaultConfig = false
config.from("detekt-config.yml")
}
tasks.withType<org.jetbrains.kotlin.gradle.tasks.KotlinCompile> {
kotlinOptions.jvmTarget = "21"
kotlinOptions.freeCompilerArgs = listOf(
"-opt-in=kotlin.time.ExperimentalTime", // KTIJ-22253 attempted fix
"-opt-in=kotlin.ExperimentalStdlibApi", // because previously needed
"-opt-in=kotlin.contracts.ExperimentalContracts", // contracts are cool, regardless of how experimental they are (also KTIJ-22253)
"-opt-in=kotlin.experimental.ExperimentalTypeInference", // because OverloadResolutionByLambdaReturnType
"-Xcontext-receivers" // For my z3 kotlin wrapper
)
}
dependencies {
listOf(
"stdlib",
"stdlib-common",
"stdlib-jdk8",
"stdlib-jdk7",
"reflect"
).forEach {
implementation(kotlin(it))
}
implementation("com.sschr15.annotations:jb-annotations-kmp:24.0.1")
implementation("com.sschr15:templates-kt:1.0.0") // here because i want java 21 string templates
implementation("org.jetbrains.kotlinx:kotlinx-coroutines-core:1.6.4")
implementation("org.jetbrains.kotlinx:kotlinx-datetime:0.4.0")
implementation("it.unimi.dsi:fastutil:8.5.12")
implementation(files("kotlin-z3-bindings.jar"))
}
afterEvaluate {
fun path(name: String) = project.file(name).toPath()
Files.createDirectories(path("run"))
val isWin = "win" in System.getProperty("os.name").toLowerCase()
val pythonExecutable = if (isWin) "python.exe" else "python3"
val py3Exists = System.getenv("PATH").split(if (isWin) ";" else ":")
.map { Path.of(it, pythonExecutable) }
.filter { Files.exists(it) }
.map {
val process = ProcessBuilder(it.toString(), "--version").start()
process.waitFor()
process.inputStream.bufferedReader().readLine()
}
.any { it.startsWith("Python 3") }
if (!py3Exists) {
logger.error("Python 3 is not installed! Some challenges may not be solvable.")
}
}