blob: a1eba2345d77a86633167f01a04b56bc1443c086 (
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
|
#===-- 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
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): $(TOOLSCRIPTNAME)
$(Echo) Copying $(BuildMode) script $(TOOLSCRIPTNAME)
$(Verb) $(CP) -f $(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 = $(PROJ_bindir)/$(TOOLSCRIPTNAME)
install-local:: $(DestTool)
$(DestTool): $(ToolBuildPath) $(PROJ_bindir)
$(Echo) Installing $(BuildMode) $(DestTool)
$(Verb) $(ProgInstall) $(ToolBuildPath) $(DestTool)
uninstall-local::
$(Echo) Uninstalling $(BuildMode) $(DestTool)
-$(Verb) $(RM) -f $(DestTool)
endif
|
