diff options
Diffstat (limited to 'docs/api/java/CMakeLists.txt')
| -rw-r--r-- | docs/api/java/CMakeLists.txt | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/docs/api/java/CMakeLists.txt b/docs/api/java/CMakeLists.txt index 6df794435..8a728407f 100644 --- a/docs/api/java/CMakeLists.txt +++ b/docs/api/java/CMakeLists.txt @@ -25,17 +25,16 @@ if(BUILD_BINDINGS_JAVA) get_target_property(CVC5_JAR_FILE cvc5jar JAR_FILE) add_custom_command( - OUTPUT "${JAVADOC_INDEX_FILE}" + OUTPUT ${JAVADOC_INDEX_FILE} COMMAND ${Java_JAVADOC_EXECUTABLE} io.github.cvc5.api -sourcepath ${CMAKE_SOURCE_DIR}/src/api/java/:${CMAKE_BINARY_DIR}/src/api/java/ - -Xdoclint:none -d ${JAVADOC_OUTPUT_DIR} -cp ${CVC5_JAR_FILE} -notimestamp COMMAND find ${JAVADOC_OUTPUT_DIR} -type f -exec sed -i'orig' 's/<!-- Generated by javadoc [^>]* -->//' {} "\;" COMMAND find ${SPHINX_GH_OUTPUT_DIR} -name '*orig' -delete - DEPENDS cvc5jar + DEPENDS cvc5jar ${CVC5_JAR_FILE} COMMENT "Generating javadocs" ) |