diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2009-06-05 22:38:53 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2009-06-05 22:38:53 +0000 |
| commit | 450eae13bfd668ebd938218c0687213fcba8dd13 (patch) | |
| tree | 0856ef807ece455b448c9458fc60f03997e46969 | |
| parent | f23940669cb73c63560f2ede9ee677c50a8a3e27 (diff) | |
| download | klee-450eae13bfd668ebd938218c0687213fcba8dd13.tar.gz | |
Moved PrintStats.py to tool/klee-stats/
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72964 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | tools/Makefile | 2 | ||||
| -rw-r--r-- | tools/klee-stats/Makefile | 46 | ||||
| -rwxr-xr-x | tools/klee-stats/klee-stats (renamed from scripts/PrintStats.py) | 0 |
3 files changed, 47 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index 40cdbc28..3fd6f5be 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -15,7 +15,7 @@ LEVEL=.. # # List all of the subdirectories that we will compile. # -PARALLEL_DIRS=klee kleaver ktest-tool gen-random-bout +PARALLEL_DIRS=klee kleaver ktest-tool gen-random-bout klee-stats # FIXME: Move qplayer functionality into kleaver include $(LEVEL)/Makefile.common diff --git a/tools/klee-stats/Makefile b/tools/klee-stats/Makefile new file mode 100644 index 00000000..a1eba234 --- /dev/null +++ b/tools/klee-stats/Makefile @@ -0,0 +1,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 diff --git a/scripts/PrintStats.py b/tools/klee-stats/klee-stats index 40994f87..40994f87 100755 --- a/scripts/PrintStats.py +++ b/tools/klee-stats/klee-stats |