# -*- Makefile -*-

# Set the name of the project here
PROJECT_NAME := klee
PROJ_VERSION := 0.01

# Set this variable to the top of the LLVM source tree.
LLVM_SRC_ROOT = @LLVM_SRC@

# Set this variable to the top level directory where LLVM was built
# (this is *not* the same as OBJ_ROOT as defined in LLVM's Makefile.config).
LLVM_OBJ_ROOT = @LLVM_OBJ@

LLVM_VERSION_MAJOR = @LLVM_VERSION_MAJOR@
LLVM_VERSION_MINOR = @LLVM_VERSION_MINOR@

# Set this to the build mode used to build LLVM (not necessarily the same
# as the build mode used for KLEE)
LLVM_BUILD_MODE = @LLVM_BUILD_MODE@

# Set the directory root of this project's source files
PROJ_SRC_ROOT := $(subst //,/,@abs_top_srcdir@)

# Set the root directory of this project's object files
PROJ_OBJ_ROOT := $(subst //,/,@abs_top_builddir@)

# Set the root directory of this project's install prefix
PROJ_INSTALL_ROOT := @prefix@

KLEE_USE_CXX11 := @KLEE_USE_CXX11@

STP_ROOT := @STP_ROOT@

STP_NEEDS_BOOST := @STP_NEEDS_BOOST@

ifeq ($(STP_NEEDS_BOOST),1)
 UPSTREAM_STP_LINK_FLAGS = @UPSTREAM_STP_LINK_FLAGS@
endif

ENABLE_METASMT := @ENABLE_METASMT@
METASMT_ROOT := @METASMT_ROOT@

ENABLE_POSIX_RUNTIME := @ENABLE_POSIX_RUNTIME@
ENABLE_STPLOG := @ENABLE_STPLOG@
ENABLE_UCLIBC := @ENABLE_UCLIBC@

KLEE_UCLIBC_BCA := @KLEE_UCLIBC_BCA@

HAVE_SELINUX := @HAVE_SELINUX@

RUNTIME_ENABLE_OPTIMIZED := @RUNTIME_ENABLE_OPTIMIZED@
RUNTIME_DISABLE_ASSERTIONS := @RUNTIME_DISABLE_ASSERTIONS@
RUNTIME_DEBUG_SYMBOLS := @RUNTIME_DEBUG_SYMBOLS@
RUNTIME_ENABLE_COVERAGE :=
RUNTIME_ENABLE_PROFILING :=

# Compilers used to build runtime library and run tests
KLEE_BITCODE_C_COMPILER := @KLEE_BITCODE_C_COMPILER@
KLEE_BITCODE_CXX_COMPILER := @KLEE_BITCODE_CXX_COMPILER@

# A list of "features" which tests can check for in XFAIL:
TEST_FEATURE_LIST :=

ifeq ($(HAVE_SELINUX_SELINUX_H),1)
  TEST_FEATURE_LIST += have-selinux
else
  TEST_FEATURE_LIST += no-selinux
endif

# disable unwind test
TEST_FEATURE_LIST += no-unwind

CFLAGS := @CFLAGS@ -Wall -g
CXXFLAGS := @CXXFLAGS@ -g -Wall
LDFLAGS := @LDFLAGS@ -g

REQUIRES_RTTI := @REQUIRES_RTTI@
RUNTEST := @RUNTEST@
TCLSH := @TCLSH@