--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/make/install-lib.sh	Wed Nov 05 19:40:06 2025 +0100
@@ -0,0 +1,19 @@
+#!/bin/sh
+
+if [ -z "$1" ] || [ -z "$2" ] || [ -z "$3" ] || [ -z "$4" ] ; then
+  echo "Usage: $0 <src> <libdir> <version> <major_version>"
+  exit 1
+fi
+
+SRC=$1
+LIB=$(basename $1)
+LIBDIR=$2
+LIBVERSION=$3
+LIBVERSION_MAJOR=$4
+
+cp -f "$SRC" "$LIBDIR/$LIB.$(LIBVERSION)"
+
+rm -f "$(LIBDIR)/$LIB.$(LIBVERSION_MAJOR)"
+rm -f "$(LIBDIR)/$LIB"
+ln -s "$LIB.$(LIBVERSION)" "$(LIBDIR)/$LIB.$(LIBVERSION_MAJOR)"
+ln -s "$LIB.$(LIBVERSION_MAJOR)" "$(LIBDIR)/$LIB"