blob: 219d41daa1ed49c07e29da91f3cb847a4dade6e7 (
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
|
#===-- tools/klee-stats/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 = ../..
TOOLSCRIPTNAME := klee-stats
# Hack to prevent install trying to strip
# symbols from a python script
KEEP_SYMBOLS := 1
include $(LEVEL)/Makefile.common
# FIXME: Move this stuff (to "build" a script) into Makefile.rules.
ToolBuildPath := $(ToolDir)/$(TOOLSCRIPTNAME)
all-local:: $(ToolBuildPath)
$(ToolBuildPath): $(ToolDir)/.dir
$(ToolBuildPath): $(PROJ_SRC_DIR)/$(TOOLSCRIPTNAME)
$(Echo) Copying $(BuildMode) script $(TOOLSCRIPTNAME)
$(Verb) $(CP) -f $(PROJ_SRC_DIR)/$(TOOLSCRIPTNAME) "$@"
$(Verb) chmod 0755 "$@"
ifdef NO_INSTALL
install-local::
$(Echo) Install circumvented with NO_INSTALL
uninstall-local::
$(Echo) Uninstall circumvented with NO_INSTALL
else
DestTool = $(DESTDIR)$(PROJ_bindir)/$(TOOLSCRIPTNAME)
install-local:: $(DestTool)
$(DestTool): $(ToolBuildPath) $(DESTDIR)$(PROJ_bindir)
$(Echo) Installing $(BuildMode) $(DestTool)
$(Verb) $(ProgInstall) $(ToolBuildPath) $(DestTool)
uninstall-local::
$(Echo) Uninstalling $(BuildMode) $(DestTool)
-$(Verb) $(RM) -f $(DestTool)
endif
|
