diff --git a/trick_source/java/Makefile b/trick_source/java/Makefile index 5b2b307d..51189267 100644 --- a/trick_source/java/Makefile +++ b/trick_source/java/Makefile @@ -1,20 +1,16 @@ TRICK_HOME := $(abspath $(dir $(lastword $(MAKEFILE_LIST)))../..) JAVA_BUILD_DIR = ${TRICK_HOME}/libexec/trick/java/build + + include ${TRICK_HOME}/share/trick/makefiles/Makefile.common -all: ${TRICK_HOME}/libexec/trick/java/build - @echo "Java build successful" - -${TRICK_HOME}/libexec/trick/java/build: +all: @echo "Building java application... For details see ${JAVA_BUILD_DIR}/maven.out" - @mkdir ${JAVA_BUILD_DIR} - @${MVN} package &> ${JAVA_BUILD_DIR}/maven.out + @${MVN} -q package javadoc: ${MVN} javadoc:javadoc clean: - @rm -rf ${JAVA_BUILD_DIR} + @${MVN} -q clean @echo java build directory cleaned. - -