maint: add indexed source generation to Travis deployment script

Signed-off-by: Yury V. Zaytsev <yury@shurup.com>
This commit is contained in:
Yury V. Zaytsev 2016-02-18 21:52:10 +01:00
parent dbb5269100
commit 47a86b3362
2 changed files with 31 additions and 5 deletions

View File

@ -8,6 +8,7 @@ install:
- sudo apt-get update -qq - sudo apt-get update -qq
- sudo apt-get install -y autoconf gettext autopoint libtool check indent - sudo apt-get install -y autoconf gettext autopoint libtool check indent
- sudo apt-get install -y e2fslibs-dev libaspell-dev libglib2.0-dev libgpm-dev libncurses5-dev libslang2-dev libssh2-1-dev libx11-dev unzip - sudo apt-get install -y e2fslibs-dev libaspell-dev libglib2.0-dev libgpm-dev libncurses5-dev libslang2-dev libssh2-1-dev libx11-dev unzip
- sudo apt-get install -y wget exuberant-ctags python-pygments ruby
script: script:
- ./maint/utils/check-indent.sh - ./maint/utils/check-indent.sh

View File

@ -26,20 +26,45 @@
set -e set -e
set -x set -x
mkdir HTML && cd HTML GLOBAL_VERSION="6.5.2"
GLOBAL_URL="http://ftp.gnu.org/pub/gnu/global/global-${GLOBAL_VERSION}.tar.gz"
HTAGSFIX_URL="https://github.com/mooffie/htagsfix/raw/master/htagsfix"
echo "source.midnight-commander.org" > CNAME mkdir CVS && pushd CVS # ignored by GLOBAL's indexer
echo "It works!" > index.html
wget ${GLOBAL_URL}
tar zxvf global-${GLOBAL_VERSION}.tar.gz > /dev/null 2>&1
pushd global-${GLOBAL_VERSION}
./configure --prefix=$(pwd)/install
make
make install
popd
export PATH="$(pwd)/global-${GLOBAL_VERSION}/install/bin:$PATH"
popd
gtags -v > /dev/null 2>&1
htags --suggest > /dev/null 2>&1
wget --no-check-certificate ${HTAGSFIX_URL}
ruby htagsfix > /dev/null 2>&1
cd HTML
touch .nojekyll touch .nojekyll
echo "source.midnight-commander.org" > CNAME
git init git init
git config user.name "Travis CI" git config user.name "Travis CI"
git config user.email "travis@midnight-commander.org" git config user.email "travis@midnight-commander.org"
git add . git add . > /dev/null 2>&1
git commit -m "Deploy to GitHub Pages" git commit -m "Deploy to GitHub Pages" > /dev/null 2>&1
git push --force --quiet git@github.com:MidnightCommander/source.git master:gh-pages > /dev/null 2>&1 git push --force --quiet git@github.com:MidnightCommander/source.git master:gh-pages > /dev/null 2>&1