From ec19f02f81c206f54a89ef7e1f49715e90470c31 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz=20=28arab=2C=20vx?=
 =?UTF-8?q?p=29?= <lucio@lucioillanes.de>
Date: Sun, 3 Dec 2017 16:10:05 +0000
Subject: Separate front end (build.sh, subr/build_*) from dispatcher.

---
 subr/ex_rtl_install.subr | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 subr/ex_rtl_install.subr

(limited to 'subr/ex_rtl_install.subr')

diff --git a/subr/ex_rtl_install.subr b/subr/ex_rtl_install.subr
new file mode 100644
index 00000000..5dc2a088
--- /dev/null
+++ b/subr/ex_rtl_install.subr
@@ -0,0 +1,44 @@
+#
+# set -o errexit -o noglob are assumed.
+#
+
+ex_rtl_install() {
+	local _verbose _prefix _ln_target _ln_fname _mkdir_fname	\
+		_file_fname_src _file_fname_dst;
+	if [ "${1}" = "-v" ]; then
+		_verbose=1; shift;
+	fi; _prefix="${1}"; shift;
+	while [ ${#} -gt 0 ]; do
+	case "${1}" in
+	@*=*)
+		_ln_target="${1%=*}";
+		_ln_target="${_ln_target#@}";
+		_ln_fname="${1#*=}";
+		if [ "${_ln_fname#/}" = "${_ln_fname}" ]; then
+			_ln_fname="${_prefix:+${_prefix}/}${_ln_fname}";
+		fi;
+		if [ -e "${_ln_fname}" ]; then
+			ex_rtl_fileop rm "${_ln_fname}";
+		fi;
+		ex_rtl_fileop ln_symbolic "${_ln_target}" "${_ln_fname}";
+		;;
+	/=*)
+		_mkdir_fname="${1#/=}";
+		if [ "${_mkdir_fname#/}" = "${_mkdir_fname}" ]; then
+			_mkdir_fname="${_prefix:+${_prefix}/}${_mkdir_fname}";
+		fi;
+		ex_rtl_fileop mkdir "${_mkdir_fname}";
+		;;
+	*)
+		_file_fname_src="${1%=*}";
+		_file_fname_dst="${1#*=}";
+		if [ "${_file_fname_dst#/}" = "${_file_fname_dst}" ]; then
+			_file_fname_dst="${_prefix:+${_prefix}/}${_file_fname_dst}";
+		fi;
+		ex_rtl_fileop cp "${_file_fname_src}" "${_file_fname_dst}";
+		;;
+	esac; shift;
+	done;
+};
+
+# vim:filetype=sh
-- 
cgit v1.2.3