From 24b26eb210e4ae88d418a22617aa5a4de4393c57 Mon Sep 17 00:00:00 2001 From: Radek Szymczyszyn Date: Fri, 1 Sep 2017 12:39:07 +0200 Subject: Install docsh --- kerl | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/kerl b/kerl index efe86a2..0e4ec96 100755 --- a/kerl +++ b/kerl @@ -1092,6 +1092,7 @@ install_docsh() { BUILDNAME=$1 DOCSH_DIR="$KERL_BUILD_DIR/$BUILDNAME/docsh" DOCSH_REF=kerl-install-docsh + ACTIVE_PATH=$2 mkdir -p "$KERL_GIT_DIR" || exit 1 cd "$KERL_GIT_DIR" || exit 1 @@ -1152,6 +1153,14 @@ install_docsh() { else erlc -I $DOCSH_DIR/include -o $DOCSH_DIR/ ~/work/erszcz/docsh/templates/user_default.erl fi + ## Install docsh + if [ -f $ACTIVE_PATH/lib/docsh ]; then + echo "Couldn't install $ACTIVE_PATH/lib/docsh - the directory already exists" + rm -Rf "$DOCSH_DIR" + exit 1 + else + cp -R $DOCSH_DIR/_build/default/lib/docsh $ACTIVE_PATH/lib/ + fi } download_manpages() @@ -1799,7 +1808,7 @@ case "$1" in else BUILDNAME="$ACTIVE_NAME" fi - install_docsh $BUILDNAME + install_docsh "$BUILDNAME" "$ACTIVE_PATH" else echo "No Erlang/OTP installation is currently active - can't install docsh" exit 1 -- cgit v1.2.3