aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRadek Szymczyszyn <[email protected]>2017-09-01 15:05:59 +0200
committerRadek Szymczyszyn <[email protected]>2017-11-03 17:46:43 +0100
commit2d8f0b7f2ae4e7445eaff8013c600e2478e80e6d (patch)
treed7d5f3a4de8021a5a1c35c8fe6b83fda73989957
parent24b26eb210e4ae88d418a22617aa5a4de4393c57 (diff)
downloadkerl-2d8f0b7f2ae4e7445eaff8013c600e2478e80e6d.tar.gz
kerl-2d8f0b7f2ae4e7445eaff8013c600e2478e80e6d.tar.bz2
kerl-2d8f0b7f2ae4e7445eaff8013c600e2478e80e6d.zip
Install user_default to the Erlang installation not the build
-rwxr-xr-xkerl16
1 files changed, 8 insertions, 8 deletions
diff --git a/kerl b/kerl
index 0e4ec96..8c6df86 100755
--- a/kerl
+++ b/kerl
@@ -1145,14 +1145,6 @@ install_docsh() {
else
cat $DOCSH_DIR/templates/dot.erlang > $HOME/.erlang
fi
- ## Install docsh user_default
- if [ -f $DOCSH_DIR/user_default.beam ]; then
- echo "Couldn't install $DOCSH_DIR/user_default.beam - the file already exists"
- rm -Rf "$DOCSH_DIR"
- exit 1
- 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"
@@ -1161,6 +1153,14 @@ install_docsh() {
else
cp -R $DOCSH_DIR/_build/default/lib/docsh $ACTIVE_PATH/lib/
fi
+ ## Install docsh user_default
+ if [ -f $ACTIVE_PATH/lib/docsh/user_default.beam ]; then
+ echo "Couldn't install $ACTIVE_PATH/lib/docsh/user_default.beam - the file already exists"
+ rm -Rf "$DOCSH_DIR"
+ exit 1
+ else
+ erlc -I $DOCSH_DIR/include -o $ACTIVE_PATH/lib/docsh/ $DOCSH_DIR/templates/user_default.erl
+ fi
}
download_manpages()