File: javadoc_java9.patch

package info (click to toggle)
libsbml 5.20.5%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 117,108 kB
  • sloc: cpp: 469,781; xml: 364,270; ansic: 54,078; python: 12,540; makefile: 9,757; sh: 9,245; cs: 8,586; java: 8,151; perl: 6,133; ruby: 4,760; javascript: 1,605; php: 202; csh: 3
file content (20 lines) | stat: -rw-r--r-- 874 bytes parent folder | download | duplicates (2) 
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
@@ -273,10 +273,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>")