diff --git a/trick_source/java/makefile b/trick_source/java/makefile index b82a4354..a78a47a7 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}/share/trick/makefiles/Makefile.common