From 4519be3e26e7dc137beef894a47083d718caff56 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 29 Mar 2022 16:18:51 +0200
Subject: [PATCH] Re-add accidentally removed javadoc failOnError setting
---
build.gradle | 10 ++++++++++
1 file changed, 10 insertions(+)
diff --git a/build.gradle b/build.gradle
index 2a92087..2277d73 100644
--- a/build.gradle
+++ b/build.gradle
@@ -55,6 +55,16 @@ java {
withJavadocJar()
}
+javadoc {
+ // Needed because of:
+ // .../bparser-2.9.14.jar(de/be4/classicalb/core/parser/exceptions/PreParseException.java):3: error: cannot access Token
+ // bad source file: .../bparser-2.9.14.jar(de/be4/classicalb/core/preparser/node/Token.java)
+ // file does not contain class de.be4.classicalb.core.preparser.node.Token
+ // Please remove or make sure it appears in the correct subdirectory of the sourcepath.
+ // FIXME Can this be fixed by updating the parser?
+ failOnError = false
+}
+
jacoco {
toolVersion = "0.8.7"
reportsDirectory = file("$buildDir/JacocoReports")
--
GitLab