build_doc.sh 1.5 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
#!/bin/bash

set -e

usage() {
cat << EOF
usage: bash $0 OPTIONS
examples:
  Build doc with PyTorch-backend: bash $0 -p
  Build doc with MXNet-backend: bash $0 -m
  Build doc with TensorFlow-backend: bash $0 -t
  Build incrementally with PyTorch-backend: bash $0
  Remove all outputs and restart a PyTorch build: bash $0 -p -r

Build DGL documentation. By default, build incrementally on top of the current state.

OPTIONS:
  -h           Show this message.
  -p           Build doc with PyTorch backend.
  -m           Build doc with MXNet backend.
  -t           Build doc with TensorFlow backend.
  -r           Remove all outputs.
EOF
}

backend="pytorch"

# Parse flags.
while getopts "hpmtr" flag; do
  if [[ ${flag} == "p" ]]; then
    backend="pytorch"
  elif [[ ${flag} == "m" ]]; then
    backend="mxnet"
  elif [[ ${flag} == "t" ]]; then
    backend="tensorflow"
  elif [[ ${flag} == "r" ]]; then
    remove="YES"
  elif [[ ${flag} == "h" ]]; then
    usage
    exit 0
  else
    usage
    exit 1
  fi
done

if [[ -z ${DGL_HOME} ]]; then
  echo "ERROR: Please make sure environment variable DGL_HOME is set correctly."
  exit 1
fi

if [[ ! ${PWD} == ${DGL_HOME} ]]; then
  echo "ERROR: This script only works properly from DGL root directory."
  echo " Current: ${PWD}"
  echo "DGL_HOME: ${DGL_HOME}"
  exit 1
fi

cd ${DGL_HOME}/docs

if [[ ${remove} == "YES" ]]; then
  bash clean.sh
fi

export DGLBACKEND=$backend
export DGL_LIBRARY_PATH=${DGL_HOME}/build
export PYTHONPATH=${DGL_HOME}/python:$PYTHONPATH

make $backend

exit 0