From 487564ca024fd49f24daf7e9e337bba99bdaec8d Mon Sep 17 00:00:00 2001 From: Jiri Slaby Date: Thu, 13 Nov 2014 15:44:54 +0100 Subject: tools: prepend DESTDIR when installing Some tools prepend DESTDIR properly, some not. ktest-tool and klee-stats do not, so 'make install' chokes with an error: llvm[2]: Installing Release+Asserts /usr/bin/ktest-tool /usr/bin/install: cannot create regular file '/usr/bin/ktest-tool': Permission denied Signed-off-by: Jiri Slaby --- tools/klee-stats/Makefile | 4 ++-- 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) -- cgit 1.4.1