Add documentation ci scripts (#66)
* Add documentation build to ci test * Push master branch doc changes to gh-pages branchavx_docs
parent
9f3cbed2f2
commit
df0c7cd9c0
@ -1,5 +1,7 @@
|
|||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
cd `dirname $0`
|
|
||||||
source ./common.sh
|
source ./common.sh
|
||||||
cmake .. -DCMAKE_BUILD_TYPE=Debug -DWITH_GPU=OFF -DWITH_DOC=OFF -DWITH_TESTING=ON -DON_TRAVIS=ON
|
cmake .. -DCMAKE_BUILD_TYPE=Debug -DWITH_GPU=OFF -DWITH_DOC=OFF -DWITH_TESTING=ON -DON_TRAVIS=ON
|
||||||
make -j `nproc`
|
make -j `nproc`
|
||||||
|
env CTEST_OUTPUT_ON_FAILURE=1 make test ARGS="-j `nproc`"
|
||||||
|
sudo make install
|
||||||
|
sudo paddle version
|
Binary file not shown.
@ -0,0 +1,63 @@
|
|||||||
|
#!/bin/bash
|
||||||
|
|
||||||
|
# Add set -e, cd to directory.
|
||||||
|
source ./common.sh
|
||||||
|
|
||||||
|
# Compile Documentation only.
|
||||||
|
cmake .. -DCMAKE_BUILD_TYPE=Debug -DWITH_GPU=OFF -DWITH_DOC=ON
|
||||||
|
make paddle_docs paddle_docs_cn
|
||||||
|
|
||||||
|
# Parse Github URL
|
||||||
|
REPO=`git config remote.origin.url`
|
||||||
|
SSH_REPO=${REPO/https:\/\/github.com\//git@github.com:}
|
||||||
|
SHA=`git rev-parse --verify HEAD`
|
||||||
|
|
||||||
|
# Documentation branch name
|
||||||
|
# gh-pages branch is used for PaddlePaddle.org. The English version of
|
||||||
|
# documentation in `doc` directory, and the chinese version in `doc_cn`
|
||||||
|
# directory.
|
||||||
|
TARGET_BRANCH="gh-pages"
|
||||||
|
|
||||||
|
# Only deploy master branch to build latest documentation.
|
||||||
|
SOURCE_BRANCH="master"
|
||||||
|
|
||||||
|
# If is not a Github pull request, and in master branch.
|
||||||
|
if [ "$TRAVIS_PULL_REQUEST" != "false" -o "$TRAVIS_BRANCH" != "$SOURCE_BRANCH" ]; then
|
||||||
|
exit 0
|
||||||
|
fi
|
||||||
|
|
||||||
|
# Clone the repo to output directory
|
||||||
|
git clone $REPO output
|
||||||
|
cd output
|
||||||
|
|
||||||
|
# checkout github page branch
|
||||||
|
git checkout $TARGET_BRANCH || git checkout --orphan $TARGET_BRANCH
|
||||||
|
|
||||||
|
# remove old docs. mv new docs.
|
||||||
|
rm -rf doc doc_cn
|
||||||
|
mv ../doc_cn/html doc_cn
|
||||||
|
mv ../doc/html doc
|
||||||
|
|
||||||
|
# Check is there anything changed.
|
||||||
|
set +e
|
||||||
|
git diff --exit-code >/dev/null
|
||||||
|
if [ $? -eq 0 ]; then
|
||||||
|
echo "No changes to the output on this push; exiting."
|
||||||
|
exit 0
|
||||||
|
fi
|
||||||
|
set -e
|
||||||
|
|
||||||
|
# Commit
|
||||||
|
git add .
|
||||||
|
git config user.name "Travis CI"
|
||||||
|
git config user.email "paddle-dev@baidu.com"
|
||||||
|
git commit -m "Deploy to GitHub Pages: ${SHA}"
|
||||||
|
|
||||||
|
# Set ssh private key
|
||||||
|
openssl aes-256-cbc -K $SSL_KEY -iv $SSL_IV -in ../../paddle/scripts/travis/deploy_key.enc -out deploy_key -d
|
||||||
|
chmod 600 deploy_key
|
||||||
|
eval `ssh-agent -s`
|
||||||
|
ssh-add deploy_key
|
||||||
|
|
||||||
|
# Push
|
||||||
|
git push $SSH_REPO $TARGET_BRANCH
|
@ -0,0 +1,11 @@
|
|||||||
|
#!/bin/bash
|
||||||
|
cd `dirname $0`
|
||||||
|
|
||||||
|
if [ ${JOB} == "BUILD_AND_TEST" ]; then
|
||||||
|
./build_and_test.sh
|
||||||
|
elif [ ${JOB} == "DOCS" ]; then
|
||||||
|
./docs.sh
|
||||||
|
else
|
||||||
|
echo Unknown job ${JOB}
|
||||||
|
exit 1
|
||||||
|
fi
|
@ -1,5 +0,0 @@
|
|||||||
#!/bin/bash
|
|
||||||
cd `dirname $0`
|
|
||||||
source ./common.sh
|
|
||||||
sudo make install
|
|
||||||
sudo paddle version
|
|
@ -1,5 +0,0 @@
|
|||||||
#!/bin/bash
|
|
||||||
cd `dirname $0`
|
|
||||||
source ./common.sh
|
|
||||||
env CTEST_OUTPUT_ON_FAILURE=1 make test ARGS="-j `nproc`"
|
|
||||||
|
|
Loading…
Reference in new issue