diff --git a/trick_source/java/makefile b/trick_source/java/makefile index aadfef33..7eddf422 100644 --- a/trick_source/java/makefile +++ b/trick_source/java/makefile @@ -1,3 +1,4 @@ +TRICK_HOME := $(abspath $(dir $(lastword $(MAKEFILE_LIST)))../..) # Get JAVAC definition include ${TRICK_HOME}/makefiles/Makefile.common