X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fcommon.mk;h=b99e2db7c69a602ee44dd4d9581e2d80a3693db5;hb=60f06342cc7b827a73c228670bd27755401cdb4e;hp=8ffb36415bedd1a82654855695bdbf3b0be88dcd;hpb=31d8e919360f167a7a3317d7e9482e3bd9f70b8e;p=satune.git

diff --git a/src/common.mk b/src/common.mk
index 8ffb364..b99e2db 100644
--- a/src/common.mk
+++ b/src/common.mk
@@ -2,9 +2,10 @@
 
 CC := gcc
 CXX := g++
+JAVAC := javac
 
 UNAME := $(shell uname)
-
+JAVA_INC := /usr/lib/jvm/java-1.8.0-openjdk-amd64/include/
 LIB_NAME := cons_comp
 LIB_SO := lib_$(LIB_NAME).so