diff options
| author | Dan Liew <delcypher@gmail.com> | 2014-11-13 17:25:21 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2014-11-13 17:25:21 +0000 |
| commit | dda80776744e8971c55bab212c8cf677337bef5e (patch) | |
| tree | ae962f4cbfcb4e81d4f4c9b24b0f089cc64be1d9 | |
| parent | 50073b4689c3a1b9eefd5befddf0e15ae0d93348 (diff) | |
| parent | 487564ca024fd49f24daf7e9e337bba99bdaec8d (diff) | |
| download | klee-dda80776744e8971c55bab212c8cf677337bef5e.tar.gz | |
Merge pull request #177 from jirislaby/destdir
tools: prepend DESTDIR when installing
| -rw-r--r-- | tools/klee-stats/Makefile | 4 | ||||
| -rw-r--r-- | tools/ktest-tool/Makefile | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/tools/klee-stats/Makefile b/tools/klee-stats/Makefile index 89578b12..219d41da 100644 --- a/tools/klee-stats/Makefile +++ b/tools/klee-stats/Makefile @@ -36,11 +36,11 @@ install-local:: uninstall-local:: $(Echo) Uninstall circumvented with NO_INSTALL else -DestTool = $(PROJ_bindir)/$(TOOLSCRIPTNAME) +DestTool = $(DESTDIR)$(PROJ_bindir)/$(TOOLSCRIPTNAME) install-local:: $(DestTool) -$(DestTool): $(ToolBuildPath) $(PROJ_bindir) +$(DestTool): $(ToolBuildPath) $(DESTDIR)$(PROJ_bindir) $(Echo) Installing $(BuildMode) $(DestTool) $(Verb) $(ProgInstall) $(ToolBuildPath) $(DestTool) diff --git a/tools/ktest-tool/Makefile b/tools/ktest-tool/Makefile index 580b1f6a..dcf74736 100644 --- a/tools/ktest-tool/Makefile +++ b/tools/ktest-tool/Makefile @@ -36,11 +36,11 @@ install-local:: uninstall-local:: $(Echo) Uninstall circumvented with NO_INSTALL else -DestTool = $(PROJ_bindir)/$(TOOLSCRIPTNAME) +DestTool = $(DESTDIR)$(PROJ_bindir)/$(TOOLSCRIPTNAME) install-local:: $(DestTool) -$(DestTool): $(ToolBuildPath) $(PROJ_bindir) +$(DestTool): $(ToolBuildPath) $(DESTDIR)$(PROJ_bindir) $(Echo) Installing $(BuildMode) $(DestTool) $(Verb) $(ProgInstall) $(ToolBuildPath) $(DestTool) |