From cffee0afe956d91a5d367c3cb0ce7009410b55e5 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 31 Aug 2020 16:22:47 +0200
Subject: [PATCH] Add own dependency on Logback because ProB 2 no longer
provides it
---
build.gradle | 1 +
1 file changed, 1 insertion(+)
diff --git a/build.gradle b/build.gradle
index 18edb4d..946bec3 100644
--- a/build.gradle
+++ b/build.gradle
@@ -37,6 +37,7 @@ configurations.all {
}
dependencies {
+ implementation(group: "ch.qos.logback", name: "logback-classic", version: "1.2.3")
implementation(group: "com.google.code.gson", name: "gson", version: "2.8.6")
implementation(group: "com.google.guava", name: "guava", version: "28.2-jre")
implementation(group: "de.hhu.stups", name: "de.prob2.kernel", version: "4.0.0-SNAPSHOT")
--
GitLab