Make Java regression test compilation depend on models-library

peterschrammel · peterschrammel · commit e52b026961d6 · 2025-01-03T21:47:45.000+01:00
First build java-models-library which also downloads cprover-api.jar.
Then compile java-regression.
diff --git a/jbmc/CMakeLists.txt b/jbmc/CMakeLists.txt
@@ -56,3 +56,5 @@ add_custom_command(OUTPUT ${java_regression_compiled_sources}
 add_custom_target(java-regression ALL
     DEPENDS ${java_regression_compiled_sources}
 )
+
+add_dependencies(java-regression java-models-library)
diff --git a/jbmc/src/jbmc/CMakeLists.txt b/jbmc/src/jbmc/CMakeLists.txt
@@ -32,8 +32,8 @@ add_executable(jbmc jbmc_main.cpp)
 target_link_libraries(jbmc jbmc-lib)
 install(TARGETS jbmc DESTINATION ${CMAKE_INSTALL_BINDIR})
 
-# make sure java-models-library and java-regression is built at least once
-add_dependencies(jbmc java-models-library java-regression)
+# make sure java-models-library (on which java-regression depends) is built at least once
+add_dependencies(jbmc java-regression)
 
 # Man page
 if(NOT WIN32)

Original file line number	Diff line number	Diff line change
`@@ -56,3 +56,5 @@ add_custom_command(OUTPUT ${java_regression_compiled_sources}`
`56`	`56`	`add_custom_target(java-regression ALL`
`57`	`57`	`DEPENDS ${java_regression_compiled_sources}`
`58`	`58`	`)`
	`59`	`+`
	`60`	`+add_dependencies(java-regression java-models-library)`