From 09af31addfbc0d8b3ad4ed69d209f19b3aaaaf85 Mon Sep 17 00:00:00 2001 From: Bajczi Levente Date: Mon, 26 Feb 2024 16:46:51 +0100 Subject: [PATCH] Added dep to build --- subprojects/xcfa/xcfa-cli/build.gradle.kts | 1 + 1 file changed, 1 insertion(+) diff --git a/subprojects/xcfa/xcfa-cli/build.gradle.kts b/subprojects/xcfa/xcfa-cli/build.gradle.kts index 30def98f19..29a0a78ed0 100644 --- a/subprojects/xcfa/xcfa-cli/build.gradle.kts +++ b/subprojects/xcfa/xcfa-cli/build.gradle.kts @@ -38,6 +38,7 @@ dependencies { implementation(project(":theta-litmus2xcfa")) implementation(project(":theta-graph-solver")) implementation(project(":theta-cat")) + implementation(files(rootDir.resolve(Deps.z3))) implementation("com.zaxxer:nuprocess:2.0.5") implementation("org.jetbrains.kotlin:kotlin-scripting-jsr223:${Versions.kotlin}") testImplementation(kotlin("script-runtime"))