1
0
mirror of https://github.com/SpaceVim/SpaceVim.git synced 2025-04-14 15:19:12 +08:00
This commit is contained in:
wsdjeg 2017-11-26 19:40:05 +08:00
parent 20e1283329
commit eb3f63a8e5
2 changed files with 10 additions and 6 deletions

View File

@ -17,9 +17,11 @@ elif [ "${LINT#vint}" != "$LINT" ]; then
pip install vim-vint
elif [ "${LINT#vader}" != "$LINT" ]; then
git clone --depth=1 https://github.com/Shougo/dein.vim.git ~/.cache/vimfiles/repos/github.com/Shougo/dein.vim
C_OPTS="--prefix=$DEPS --with-features=huge --disable-gui --enable-pythoninterp"
(git clone --depth 1 https://github.com/vim/vim /tmp/vim &&
cd /tmp/vim &&
./configure $C_OPTS &&
make install)
if [ ! -f "$HOME/deps/bin/vim" ]; then
C_OPTS="--prefix=$DEPS --with-features=huge --disable-gui --enable-pythoninterp"
(git clone --depth 1 https://github.com/vim/vim /tmp/vim &&
cd /tmp/vim &&
./configure $C_OPTS &&
make install)
fi
fi

View File

@ -18,10 +18,12 @@ notifications:
cache:
- directories:
- $HOME/cache/
- $HOME/deps
env:
global:
- PATH=$HOME/vim/bin:$PATH
- DEPS=$HOME/deps
- PATH=$DEPS/bin:$HOME/vim/bin:$PATH
jobs:
include: