From 07639e9179347779ee723cffe50ba3dc7217b65e Mon Sep 17 00:00:00 2001

From: "Richard W.M. Jones" <rjones@redhat.com>

Date: Wed, 8 Nov 2017 22:10:09 +0000

Subject: [PATCH 1/3] install: Use DESTDIR.

---

 src/Makefile | 4 ++--

 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Makefile b/src/Makefile

index 97dc074..cff37f8 100644

--- a/src/Makefile

+++ b/src/Makefile

@@ -84,9 +84,9 @@ TOINSTALL_STUBS=dllnums.$(SO)

 install:

 	$(OCAMLFIND) install num META

-	$(INSTALL_DATA) $(TOINSTALL) $(STDLIBDIR)

+	$(INSTALL_DATA) $(TOINSTALL) $(DESTDIR)$(STDLIBDIR)

 ifeq "$(SUPPORTS_SHARED_LIBRARIES)" "true"

-	$(INSTALL_DLL) $(TOINSTALL_STUBS) $(STDLIBDIR)/stublibs

+	$(INSTALL_DLL) $(TOINSTALL_STUBS) $(DESTDIR)$(STDLIBDIR)/stublibs

 endif

 uninstall:

-- 

2.13.1