From 16c7f023757545a0bbd39d0a1a2bd6a17492a81d Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Mon, 27 Feb 2017 12:06:59 +0000
Subject: [PATCH] Improve make install/uninstall targets

---
 Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 2f89efae..9bd7102f 100644
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,4 @@
+INSTALL_ARGS := $(if $(PREFIX),--prefix $(PREFIX),)
 BIN := ./_build/default/bin/main.exe
 
 default: boot.exe
@@ -7,10 +8,10 @@ boot.exe: bootstrap.ml
 	ocaml bootstrap.ml
 
 install:
-	$(BIN) install
+	$(BIN) install $(INSTALL_ARGS)
 
 uninstall:
-	$(BIN) uninstall
+	$(BIN) uninstall $(INSTALL_ARGS)
 
 reinstall: uninstall reinstall