Add support for DESTDIR to platform.sh

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
 }