2019-01-13 16:31:02 +08:00
|
|
|
sudo: false
|
2019-01-15 23:19:04 +08:00
|
|
|
dist: xenial
|
2019-01-13 16:31:02 +08:00
|
|
|
|
|
|
|
branches:
|
|
|
|
only:
|
|
|
|
- master
|
|
|
|
|
2019-01-15 20:21:02 +08:00
|
|
|
# Install dependencies
|
2019-01-13 16:31:02 +08:00
|
|
|
addons:
|
|
|
|
apt:
|
2019-01-15 20:21:02 +08:00
|
|
|
packages:
|
|
|
|
- doxygen
|
|
|
|
- doxygen-doc
|
|
|
|
- doxygen-latex
|
|
|
|
- doxygen-gui
|
|
|
|
- graphviz
|
|
|
|
|
2019-01-15 20:14:25 +08:00
|
|
|
|
2019-01-15 18:35:56 +08:00
|
|
|
install:
|
2019-01-16 00:15:02 +08:00
|
|
|
- pwd
|
2019-01-15 20:14:25 +08:00
|
|
|
- doxygen --version
|
2019-01-15 18:35:56 +08:00
|
|
|
############################################################################
|
2019-01-15 18:53:20 +08:00
|
|
|
# All the dependencies are installed in ${TRAVIS_BUILD_DIR}/deps/
|
|
|
|
############################################################################
|
|
|
|
- DEPS_DIR="${TRAVIS_BUILD_DIR}/deps"
|
|
|
|
- mkdir -p ${DEPS_DIR} && cd ${DEPS_DIR}
|
|
|
|
############################################################################
|
2019-01-15 18:57:11 +08:00
|
|
|
# Install a recent Doxygen
|
2019-01-15 18:35:56 +08:00
|
|
|
############################################################################
|
2019-01-15 19:31:26 +08:00
|
|
|
- DOXYGEN_URL="http://doxygen.nl/files/doxygen-1.8.15.linux.bin.tar.gz"
|
|
|
|
- mkdir doxygen
|
|
|
|
- travis_retry wget -O - ${DOXYGEN_URL} | tar --strip-components=1 -xz -C doxygen
|
|
|
|
- export PATH=${DEPS_DIR}/doxygen/bin:${PATH}
|
|
|
|
- doxygen --version
|
2019-01-13 16:31:02 +08:00
|
|
|
|
|
|
|
script:
|
2019-01-16 00:15:02 +08:00
|
|
|
- pwd
|
|
|
|
- cd ${TRAVIS_BUILD_DIR}
|
2019-01-13 16:31:02 +08:00
|
|
|
- cd doc
|
2019-01-15 18:35:56 +08:00
|
|
|
- doxygen --version
|
2019-02-08 00:24:46 +08:00
|
|
|
- doxygen Doxyfile
|
2019-05-18 02:46:52 +08:00
|
|
|
- echo "" > html/.nojekyll
|
2019-01-13 16:31:02 +08:00
|
|
|
|
|
|
|
deploy:
|
|
|
|
provider: pages
|
2019-05-18 02:46:52 +08:00
|
|
|
verbose: true
|
|
|
|
deployment_file: true
|
2019-01-13 16:31:02 +08:00
|
|
|
skip_cleanup: true
|
|
|
|
local_dir: doc/html
|
|
|
|
github_token: $GH_REPO_TOKEN
|
|
|
|
on:
|
2019-01-15 18:26:20 +08:00
|
|
|
branch: master
|