Maven: Disable attempts to run tests

tautschnig · tautschnig · commit 8f251b4cb249 · 2018-10-15T10:09:21.000Z
There aren't any tests, and thus the build log is unnecessarily cluttered with

-------------------------------------------------------
 T E S T S
 -------------------------------------------------------

 Results :

 Tests run: 0, Failures: 0, Errors: 0, Skipped: 0
diff --git a/jbmc/CMakeLists.txt b/jbmc/CMakeLists.txt
@@ -3,7 +3,7 @@ add_subdirectory(src)
 add_subdirectory(unit)
 
 add_custom_target(java-models-library ALL
-    COMMAND mvn --quiet package
+    COMMAND mvn --quiet -Dmaven.test.skip=true package
     COMMAND cp target/core-models.jar ${CMAKE_CURRENT_SOURCE_DIR}/src/java_bytecode/library/
     WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/lib/java-models-library
 )
diff --git a/jbmc/src/java_bytecode/library/Makefile b/jbmc/src/java_bytecode/library/Makefile
@@ -27,7 +27,7 @@ clean_library:
 .PHONY: library
 library:
 	if [ -d $(LIBRARY_DIR) ]; then \
-		(cd $(LIBRARY_DIR); mvn --quiet package); \
+		(cd $(LIBRARY_DIR); mvn --quiet -Dmaven.test.skip=true package); \
 		cp $(LIBRARY_DIR)/target/core-models.jar .; \
 	fi
 

Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@ add_subdirectory(src)`
`3`	`3`	`add_subdirectory(unit)`
`4`	`4`
`5`	`5`	`add_custom_target(java-models-library ALL`
`6`		`- COMMAND mvn --quiet package`
	`6`	`+ COMMAND mvn --quiet -Dmaven.test.skip=true package`
`7`	`7`	`COMMAND cp target/core-models.jar ${CMAKE_CURRENT_SOURCE_DIR}/src/java_bytecode/library/`
`8`	`8`	`WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}/lib/java-models-library`
`9`	`9`	`)`