summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniil Baturin <daniil@baturin.org>2015-04-07 22:28:03 +0200
committerDaniil Baturin <daniil@baturin.org>2015-04-07 22:28:03 +0200
commit4b97a0e707db50105c20014e40bccdd6bded4221 (patch)
tree6d71e1cac18e8e8929dace5eece581383e8096b5
parent081fedb9b6fec701f22a5a57b43d7e091efbf340 (diff)
downloadhvinfo-4b97a0e707db50105c20014e40bccdd6bded4221.tar.gz
hvinfo-4b97a0e707db50105c20014e40bccdd6bded4221.zip
Use DESTDIR parameter in the makefile.
-rw-r--r--Makefile8
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index 1c2d848..543779a 100644
--- a/Makefile
+++ b/Makefile
@@ -18,10 +18,10 @@
PREFIX = /usr
BINDIR = bin
-TARGET_DIR = $(PREFIX)/$(BINDIR)
-
BUILD_DIR = build
+DESTDIR = ""
+
GPRBUILD = gprbuild
GPRCLEAN = gprclean
GPRINSTALL = gprinstall
@@ -44,5 +44,5 @@ clean:
rm -rf $(BUILD_DIR)
install:
- $(INSTALL) -d $(TARGET_DIR)
- $(INSTALL) $(BUILD_DIR)/hvinfo $(TARGET_DIR)
+ $(INSTALL) -d $(DESTDIR)/$(PREFIX)/$(BINDIR)
+ $(INSTALL) $(BUILD_DIR)/hvinfo $(DESTDIR)/$(PREFIX)/$(BINDIR)