replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Make maven invocations quiet 

The status messages make it unnecessarily hard to spot other compilation
errors.
This commit is contained in:
Michael Tautschnig 2018-10-15 10:09:01 +00:00
parent 7bf48c0cb0
commit 4080d8537c
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jbmc/CMakeLists.txt
View File

@ -3,7 +3,7 @@ add_subdirectory(src)
add_subdirectory(unit)
add_custom_target(java-models-library ALL
COMMAND mvn package
COMMAND mvn --quiet 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
)

7
jbmc/src/java_bytecode/library/Makefile
View File

@ -22,11 +22,14 @@ clean: clean_library
.PHONY: clean_library
clean_library:
rm -rf core-models.jar
if [ -d $(LIBRARY_DIR) ]; then cd $(LIBRARY_DIR); mvn clean; fi
if [ -d $(LIBRARY_DIR) ]; then cd $(LIBRARY_DIR); mvn --quiet clean; fi
.PHONY: library
library:
if [ -d $(LIBRARY_DIR) ]; then (cd $(LIBRARY_DIR); mvn package); cp $(LIBRARY_DIR)/target/core-models.jar .; fi
if [ -d $(LIBRARY_DIR) ]; then \
(cd $(LIBRARY_DIR); mvn --quiet package); \
cp $(LIBRARY_DIR)/target/core-models.jar .; \
fi
###############################################################################