Make Java regression test compilation depend on models-library

peterschrammel · peterschrammel · commit ca6c8bf2e8bb · 2025-01-03T11:53:49.000+01:00
diff --git a/jbmc/CMakeLists.txt b/jbmc/CMakeLists.txt
@@ -50,7 +50,7 @@ endforeach()
 add_custom_command(OUTPUT ${java_regression_compiled_sources}
     COMMAND ${MAVEN_PROGRAM} --quiet clean package -T1C
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/regression
-    DEPENDS ${java_regression_sources}
+    DEPENDS ${java_regression_sources} ${java-models-library}
 )
 
 add_custom_target(java-regression ALL

Original file line number	Diff line number	Diff line change
`@@ -50,7 +50,7 @@ endforeach()`
`50`	`50`	`add_custom_command(OUTPUT ${java_regression_compiled_sources}`
`51`	`51`	`COMMAND ${MAVEN_PROGRAM} --quiet clean package -T1C`
`52`	`52`	`WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/regression`
`53`		`- DEPENDS ${java_regression_sources}`
	`53`	`+ DEPENDS ${java_regression_sources} ${java-models-library}`
`54`	`54`	`)`
`55`	`55`
`56`	`56`	`add_custom_target(java-regression ALL`