OSDN Git Service

info/GNU_which: Add some explanations.
[linuxjm/jm.git] / guide / build-jm-guide.sh
1 #!/bin/bash
2
3 JMHOME=${JMHOME:-/home/groups/l/li/linuxjm}
4 VENV=$JMHOME/venv
5 JM_GIT=$HOME/jm
6
7 LOCAL_PIP_BASE=$HOME/.local
8 GET_PIP_URL=https://raw.github.com/pypa/pip/master/contrib/get-pip.py
9
10 if [ ! -f $LOCAL_PIP_BASE/bin/pip ]; then
11     wget $GET_PIP_URL
12     python get-pip.py --user
13     rm -f get-pip.py
14 fi
15 if [ ! -f $LOCAL_PIP_BASE/bin/virtualenv ]; then
16     $LOCAL_PIP_BASE/bin/pip install --user virtualenv
17 fi
18 if [ ! -d $VENV ]; then
19     $LOCAL_PIP_BASE/bin/virtualenv $VENV
20 fi
21
22 . $VENV/bin/activate
23 pip install sphinx sphinx-bootstrap-theme
24 make $*