Skip to content

Commit bc82836

Browse files
committed
Just warn when local jacodb is not found
1 parent f606770 commit bc82836

1 file changed

Lines changed: 5 additions & 2 deletions

File tree

settings.gradle.kts

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,11 @@ pluginManagement {
1515
// See IDEA bug: https://youtrack.jetbrains.com/issue/IDEA-329756
1616
val jacodbPath = file("jacodb").takeIf { it.exists() }
1717
?: file("../jacodb").takeIf { it.exists() }
18-
?: error("Local JacoDB directory not found")
19-
includeBuild(jacodbPath.toPath().toRealPath().toAbsolutePath())
18+
if (jacodbPath != null) {
19+
includeBuild(jacodbPath.toPath().toRealPath().toAbsolutePath())
20+
} else {
21+
logger.warn("Local JacoDB directory not found")
22+
}
2023

2124
val usvmPython = "usvm-python"
2225
fun includePy(name: String) {

0 commit comments

Comments
 (0)