Update MARK to latest release
MODIFY
build.gradle.kts
build.gradle.kts
@@ -97,7 +97,9 @@ dependencies {
// MARK DSL (use fat jar). changing=true circumvents gradle cache
//api("de.fraunhofer.aisec.mark:de.fraunhofer.aisec.mark:1.4.0-SNAPSHOT:repackaged") { isChanging = true } // ok
- api("com.github.Fraunhofer-AISEC.codyze-mark-eclipse-plugin:de.fraunhofer.aisec.mark:bbd54a7b11:repackaged") // pin to specific commit before annotations
+ //api("com.github.Fraunhofer-AISEC.codyze-mark-eclipse-plugin:de.fraunhofer.aisec.mark:bbd54a7b11:repackaged") // pin to specific commit before annotations
+ api("com.github.Fraunhofer-AISEC.codyze-mark-eclipse-plugin:de.fraunhofer.aisec.mark:2.0.0:repackaged") // use GitHub release via JitPack
+
// Pushdown Systems
api("de.breakpointsec:pushdown:1.1") // ok

Update MARK to latest release (#373)