blob: 4e2354b8e522bae57cdfbb8b4d5de638021701f3 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
#===--------------------------------------------------------*- Makefile -*--===#
#
# The KLEE Symbolic Virtual Machine
#
# This file is distributed under the University of Illinois Open Source
# License. See LICENSE.TXT for details.
#
#===------------------------------------------------------------------------===#
#
# @AUTO_GEN_MSG@
#
#===------------------------------------------------------------------------===#
LLVMCC := @LLVMCC@
LLVMCXX := @LLVMCXX@
LLVM_LINK := @LLVM_LINK@
LLVM_AR := @LLVM_AR@
LLVM_VERSION_MAJOR := @LLVM_VERSION_MAJOR@
LLVM_VERSION_MINOR := @LLVM_VERSION_MINOR@
ROOT_SRC := @CMAKE_CURRENT_SOURCE_DIR@
RUNTIME_CMAKE_BINARY_DIR := @CMAKE_CURRENT_BINARY_DIR@
ROOT_OBJ := @CMAKE_CURRENT_BINARY_DIR@/runtime_build_@KLEE_RUNTIME_BUILD_TYPE@/
# FIXME: For legacy reasons this is where the libraries need to end up
ARCHIVE_DEST := @KLEE_RUNTIME_DIRECTORY@
# Build type
IS_RELEASE := @RUNTIME_IS_RELEASE@
ASSERTIONS_ENABLED := @RUNTIME_HAS_ASSERTIONS@
DEBUG_SYMBOLS_ENABLED := @RUNTIME_HAS_DEBUG_SYMBOLS@
RUNTIME_CONFIG_STRING := @KLEE_RUNTIME_BUILD_TYPE@
# Optional features
ENABLE_POSIX_RUNTIME := @BUILD_POSIX_RUNTIME@
BUILD_KLEE_CXXABI := @BUILD_KLEE_CXXABI@
KLEE_LIBCXX_INCLUDE_DIR := @KLEE_LIBCXX_INCLUDE_DIR@
KLEE_LIBCXXABI_DIR := @KLEE_LIBCXXABI_DIR@
KLEE_INCLUDE_DIR := @CMAKE_SOURCE_DIR@/include
# Commands
MKDIR := mkdir
RM := rm
CMP := cmp
# Compiler flags
LLVMCC.Flags += $(LLVMCC.ExtraFlags) \
-I@CMAKE_SOURCE_DIR@/include \
-I@CMAKE_BINARY_DIR@/include \
-emit-llvm \
-std=gnu89 \
-D_DEBUG -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS
LLVMCC.Warnings += -Wall -Wwrite-strings
|
