2021-03-31 10:23:59 +00:00
|
|
|
#!/usr/bin/env bash
|
2021-03-31 10:47:59 +00:00
|
|
|
#
|
|
|
|
|
# Clone or update vim to $HOME/dev/vim, build and install to $HOME/local
|
2021-03-31 10:23:59 +00:00
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
mkdir -p $HOME/dev
|
|
|
|
|
destdir=$HOME/dev/vim
|
|
|
|
|
if [ -d $destdir ]; then
|
2021-03-31 12:15:08 +00:00
|
|
|
echo "Updating vim..."
|
2021-03-31 10:23:59 +00:00
|
|
|
cd $destdir
|
|
|
|
|
git pull --rebase
|
|
|
|
|
else
|
2021-03-31 12:15:08 +00:00
|
|
|
echo "Cloning vim..."
|
2021-03-31 10:23:59 +00:00
|
|
|
cd $HOME/dev
|
|
|
|
|
git clone -q https://github.com/vim/vim.git vim
|
|
|
|
|
fi
|
2021-03-31 12:15:08 +00:00
|
|
|
cd $destdir
|
2021-03-31 10:23:59 +00:00
|
|
|
./configure --prefix=$HOME/local --enable-rubyinterp --enable-luainterp --enable-python3interp --with-features=huge --enable-multibyte --enable-gui=gtk2 --with-x
|
|
|
|
|
make -j6
|
|
|
|
|
make install
|
