From b601319f12584e577a8def0c8a5fd08f1e29baa9 Mon Sep 17 00:00:00 2001
From: Pierre Pronchery <khorben@defora.org>
Date: Fri, 9 Mar 2018 00:46:13 +0100
Subject: [PATCH] Add support for DESTDIR to platform.sh

---
 doc/scripts/platform.sh | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/doc/scripts/platform.sh b/doc/scripts/platform.sh
index 1021a14..0552192 100755
--- a/doc/scripts/platform.sh
+++ b/doc/scripts/platform.sh
@@ -26,6 +26,7 @@
 
 #variables
 CONFIGSH="${0%/platform.sh}/config.sh"
+DESTDIR=
 PREFIX="/usr/local"
 PROGNAME="platform.sh"
 SOEXT=".so"
@@ -39,9 +40,9 @@ _platform_library()
 	library="$1"
 	libdir=$(_platform_variable "LIBDIR")
 
-	if [ -f "/lib/lib$library$SOEXT" \
-		-o -f "/usr/lib/lib$library$SOEXT" \
-		-o -f "$libdir/lib$library$SOEXT" ]; then
+	if [ -f "$DESTDIR/lib/lib$library$SOEXT" \
+		-o -f "$DESTDIR/usr/lib/lib$library$SOEXT" \
+		-o -f "$DESTDIR$libdir/lib$library$SOEXT" ]; then
 		echo "-l$library"
 	fi
 }