Adding checks to avoid further processing on UNSAT Problems
[satune.git] / src / common.mk
index b99e2db..1533d5f 100644 (file)
@@ -5,7 +5,7 @@ CXX := g++
 JAVAC := javac
 
 UNAME := $(shell uname)
 JAVAC := javac
 
 UNAME := $(shell uname)
-JAVA_INC := /usr/lib/jvm/java-1.8.0-openjdk-amd64/include/
+JAVA_INC := /usr/lib/jvm/default-java/include/
 LIB_NAME := cons_comp
 LIB_SO := lib_$(LIB_NAME).so
 
 LIB_NAME := cons_comp
 LIB_SO := lib_$(LIB_NAME).so