make install DESTDIR="$INSTALL_ROOT" pkgconfigdir="/usr/lib/pkgconfig" &&
# also symlink old version, to keep bash working during an upgrade
pushd "$INSTALL_ROOT/lib"  &&
for i in readline history; do
  cp -P "lib$i.so.${VERSION%%.*}" "$INSTALL_ROOT/lib/lib$i.so.7" # grimoire: test-201609
  cp -P "lib$i.so.${VERSION%%.*}" "$INSTALL_ROOT/lib/lib$i.so.6" # grimoire: stable-0.62
  cp -P "lib$i.so.${VERSION%%.*}" "$INSTALL_ROOT/lib/lib$i.so.5" # grimoire: stable-0.62
done  &&
popd  &&

# install inputrc stuff to have better key mappings in console
if [[ "$INSTALL_INPUTRC" == y ]]; then
  install_config_file  "$SPELL_DIRECTORY/etc/inputrc"           \
                       "$INSTALL_ROOT/etc/inputrc"               &&
  mkdir -p  "$INSTALL_ROOT/etc/profile.d"                       &&
  install -vm 755  "$SPELL_DIRECTORY/etc/profile.d/readline.sh"  \
                  "$INSTALL_ROOT/etc/profile.d"
fi
