Makefile.config

ARCH_QUERY=$(shell uname -m)
ifeq ($(ARCH_QUERY),i686)
SNIPER_TARGET_ARCH = ia32
else
ifeq ($(ARCH_QUERY),x86_64)
SNIPER_TARGET_ARCH ?= intel64
#SNIPER_TARGET_ARCH = ia32
else
$(error Unknown target arch: $(ARCH_QUERY))
endif
endif


PIN_HOME ?= $(SIM_ROOT)/pin_kit
PIN_ROOT := $(PIN_HOME)
export PIN_ROOT
XED_INSTALL ?= $(SIM_ROOT)/xed
XED_HOME ?= $(SIM_ROOT)/xed_kit
RV8_HOME ?= $(SIM_ROOT)/../rv8

ifeq ($(wildcard $(RV8_HOME)),)
BUILD_RISCV ?= 0
else
BUILD_RISCV ?= 1
endif

ifeq ($(wildcard $(CAPSTONE_ROOT)),)
BUILD_ARM ?= 0
else
BUILD_ARM ?= 1
endif


CC ?= gcc
CXX ?= g++

CXX_MAJOR_VER=$(shell $(CXX) --version | head -n 1 | rev | cut -d ' ' -f 1 | rev | cut -d . -f 1)
ifeq ($(CXX_MAJOR_VER),4)
  $(error Sniper requires GCC >= 5)
endif

ifneq ($(DEBUG_SHOW_COMPILE),)
  SHOW_COMPILE=1
  MAKE_QUIET=
  _MSG=@echo >/dev/null
  _CMD=
else
  SHOW_COMPILE=
  MAKE_QUIET=--quiet
  _MSG=@echo
  _CMD=@
endif

ifneq ($(DEBUG),)
  OPT_CFLAGS = -O0 -g
else
  OPT_CFLAGS = -O2 -g
endif