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 fbd6f8872dda4dde337b90d42c0dad8f722ae7d6..1533d5f81cb96ff8e7412a094041bb5da178cf09 100644 (file)
--- a/src/common.mk
+++ b/src/common.mk
@@ -1,10 +1,11 @@
 # A few common Makefile items
 
 CC := gcc
-CXX := g++-5
+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