diff options
author | Radek Szymczyszyn <[email protected]> | 2017-09-01 12:39:07 +0200 |
---|---|---|
committer | Radek Szymczyszyn <[email protected]> | 2017-11-03 17:46:43 +0100 |
commit | 24b26eb210e4ae88d418a22617aa5a4de4393c57 (patch) | |
tree | 308e2c3fea11bcd096f759daa4d7881bfb2d6122 | |
parent | b6a58f69fad55783c6104bf931af55a121f38b88 (diff) | |
download | kerl-24b26eb210e4ae88d418a22617aa5a4de4393c57.tar.gz kerl-24b26eb210e4ae88d418a22617aa5a4de4393c57.tar.bz2 kerl-24b26eb210e4ae88d418a22617aa5a4de4393c57.zip |
Install docsh
-rwxr-xr-x | kerl | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -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 |