# HG changeset patch
# User William Astle <lost@l-w.ca>
# Date 1365319111 21600
# Node ID 35b6787a5b39615d1ed1cb0cf95c4b8eaf0c762a
# Parent  1c70570e3d4227920e7f0edea65a9aa0af5c169c
Allow make install destination to be overridden

Instead of hard coding /usr/local/bin as the installation location for make
install, allow it to be overridden with DESTDIR.

This is based on a patch submitted by Tormod Volden
<debian.tormod@gmail.com> with minor modifications - notably that there is
no need to silence the echoing of the commands for make install.

diff -r 1c70570e3d42 -r 35b6787a5b39 Makefile
--- a/Makefile	Sat Mar 09 19:07:27 2013 -0700
+++ b/Makefile	Sun Apr 07 01:18:31 2013 -0600
@@ -7,6 +7,8 @@
 #PROGSUFFIX := .exe
 #BUILDTPREFIX=i586-mingw32msvc-
 
+DESTDIR ?= /usr/local/bin
+
 # C compiler
 CC := $(BUILDTPREFIX)cc
 
@@ -127,7 +129,8 @@
 
 .PHONY: install
 install:
-	cp $(MAIN_TARGETS) /usr/local/bin/
+	mkdir -p $(DESTDIR)
+	cp $(MAIN_TARGETS) $(DESTDIR)
 
 .PHONY: test
 test: all test/runtests