blob: ff28b06e34bc13c3958624ca51529751cec727ef (
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
|
#===-- lib/Support/Makefile --------------------------------*- Makefile -*--===#
#
# The KLEE Symbolic Virtual Machine
#
# This file is distributed under the University of Illinois Open Source
# License. See LICENSE.TXT for details.
#
#===------------------------------------------------------------------------===#
LEVEL=../..
LIBRARYNAME=kleeSupport
DONT_BUILD_RELINKED=1
BUILD_ARCHIVE=1
NO_INSTALL=1
# FIXME: This is nasty. We don't want to rebuild this library everytime
# but this was the only way I could find to make the build work.
#
# Note this rule has to go here so it is run first.
CompileTimeInfoFile:=../../include/klee/Config/CompileTimeInfo.h
all-local:: $(CompileTimeInfoFile)
include $(LEVEL)/Makefile.common
GIT_PRESENT:=$(shell [ -d "$(PROJ_SRC_ROOT)/.git" ] && echo 1 || echo 0)
.PHONY: $(CompileTimeInfoFile)
$(CompileTimeInfoFile):
$(Verb) echo "Regenerating $(CompileTimeInfoFile)"
$(Verb) echo '#define KLEE_BUILD_MODE "$(BuildMode)"' > $(CompileTimeInfoFile)
ifeq ($(GIT_PRESENT),1)
$(Verb) echo '#define KLEE_BUILD_REVISION "'$(shell cd $(PROJ_SRC_ROOT); git rev-parse HEAD)'"' >> \
$(CompileTimeInfoFile)
endif
|
