1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
Description: Work around javadoc issue with Java 9
See https://lists.debian.org/debian-java/2018/03/msg00023.html
Bug-Debian: https://bugs.debian.org/893298
Author: Markus Koschany <apo@debian.org>
Andreas Tille <tille@debian.org>
Last-Update: Sun, 18 Mar 2018 19:39:40 +0100
--- a/docs/CMakeLists.txt
+++ b/docs/CMakeLists.txt
@@ -208,10 +208,6 @@ if (WITH_JAVA)
endif()
set(Java_JAVADOC_JAR ${Java_JAVADOC_JAR} CACHE FILEPATH "Location of javadoc jar")
- if (NOT EXISTS "${Java_JAVADOC_JAR}")
- message(FATAL_ERROR "Cannot generate java documentation, please specify the Java_JAVADOC_JAR.")
- endif()
-
set(LIBSBML_JAVA_DIR "${CMAKE_CURRENT_BINARY_DIR}/../src/bindings/java/java-files")
set(LIBSBML_JAVADOC_DOCTITLE "${PACKAGE_NAME} ${PACKAGE_VERSION} Java API Reference")
set(LIBSBML_JAVADOC_HEADER "<B>${PACKAGE_NAME}<BR>${PACKAGE_VERSION}</B>")
|
