Adding checks to avoid further processing on UNSAT Problems

[satune.git] / src / common.mk

diff --git a/src/common.mk b/src/common.mk
index 8ffb36415bedd1a82654855695bdbf3b0be88dcd..1533d5f81cb96ff8e7412a094041bb5da178cf09 100644 (file)
--- 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/default-java/include/
 LIB_NAME := cons_comp
 LIB_SO := lib_$(LIB_NAME).so