diff options
Diffstat (limited to 'Makefile.config.in')
| -rw-r--r-- | Makefile.config.in | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index ee95c4e5..5b9f929c 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -1,8 +1,8 @@ # -*- Makefile -*- # Set the name of the project here -PROJECT_NAME := klee -PROJ_VERSION := 0.01 +PROJECT_NAME := @PACKAGE_NAME@ +PROJ_VERSION := @PACKAGE_VERSION@ # Set this variable to the top of the LLVM source tree. LLVM_SRC_ROOT = @LLVM_SRC@ @@ -36,7 +36,6 @@ 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@ @@ -53,6 +52,10 @@ RUNTIME_ENABLE_PROFILING := KLEE_BITCODE_C_COMPILER := @KLEE_BITCODE_C_COMPILER@ KLEE_BITCODE_CXX_COMPILER := @KLEE_BITCODE_CXX_COMPILER@ +# Host compiler +KLEE_HOST_C_COMPILER := @KLEE_HOST_C_COMPILER@ +KLEE_HOST_CXX_COMPILER := @KLEE_HOST_CXX_COMPILER@ + # A list of "features" which tests can check for in XFAIL: TEST_FEATURE_LIST := @@ -70,5 +73,3 @@ CXXFLAGS := @CXXFLAGS@ -g -Wall LDFLAGS := @LDFLAGS@ -g REQUIRES_RTTI := @REQUIRES_RTTI@ -RUNTEST := @RUNTEST@ -TCLSH := @TCLSH@ |