Add source.

1 files changed, 39 insertions, 0 deletions

diff --git a/sdk/bin/instso b/sdk/bin/instso
new file mode 100755
index 0000000..148a82a
--- /dev/null
+++ b/sdk/bin/instso
@@ -0,0 +1,39 @@
+#!/bin/sh
+
+prefix=$1
+libname=$2
+version=$3
+
+# find project root.
+
+root=`dirname $0`
+root=`dirname $root`
+
+# fetch package 'version' level from project root (config.dist).
+
+if [ -f $root/config.dist ] ; then
+	. $root/config.dist
+fi
+
+if [ ! -d $(prefix)/lib ] ; then
+	prefix=$/usr
+	if [ ! -d /usr/lib ] ; then
+		exit 0
+	fi
+fi
+
+prefix=$prefix/lib
+echo 'Installing '$libname'.so to '$prefix
+cp -f $libname'.so' $(prefix)/$(libname)'.so.'$version
+ldconfig -n $(prefix)
+
+liblist=`find $(prefix) -name "$(libname).so.*" -type f -print`
+for lib in $liblist ; do
+	if [ ! $lib = $libname'.so.'$version ] ; then
+		rm $lib
+	fi
+done
+
+ldconfig -n $(prefix)
+
+